Cryptographic Verifiability for Voter Registration Systems

2025-03-05

AI Summary

To address critical challenges in voter registration systems—including low transparency, difficulty in verification, and privacy-preserving cross-jurisdictional deduplication—this paper proposes the first cryptographically verifiable voter registration framework. Methodologically, we design and implement VRLog and its enhanced variant VRLog^x: built upon Merkle logs and zero-knowledge proofs, they enable voters to independently verify data integrity, allow third parties to audit update consistency, and provide strong privacy guarantees while ensuring secure cross-jurisdictional deduplication. A log-structured, backward-compatible architecture ensures practical deployability. Our key contributions include the first formal definition and implementation of end-to-end verifiability for voter registration; an open-source system validated on datasets exceeding ten million voters; and efficient execution on low-cost hardware—meeting the scalability and performance requirements of the largest U.S. state-level election systems.

Technology Category

• Humans and AI: Voting
• Machine Learning: Privacy
• Computer Vision: Multi-modal Vision

Application Category

• Security and Privacy: Data transparency and provenance
• Responsible Web: Data and user privacy-enhancing technologies for the Web
• Systems and Infrastructure for Web, Mobile and WoT: Virtualization and resource management in Web systems and infrastructures

Abstract

Voter registration systems are a critical - and surprisingly understudied - element of most high-stakes elections. Despite a history of targeting by adversaries, relatively little academic work has been done to increase visibility into how voter registration systems keep voters' data secure, accurate, and up to date. Enhancing transparency and verifiability could help election officials and the public detect and mitigate risks to this essential component of electoral processes worldwide. This work introduces cryptographic verifiability for voter registration systems. Based on consultation with diverse expert stakeholders that support elections systems, we precisely define the requirements for cryptographic verifiability in voter registration and systematize the practical challenges that must be overcome for near-term deployment. We then introduce VRLog, the first system to bring strong verifiability to voter registration. VRLog enables election officials to provide a transparent log that (1) allows voters to verify that their registration data has not been tampered with and (2) allows the public to monitor update patterns and database consistency. We also introduce VRLog$^x$, an enhancement to VRLog that offers cryptographic privacy to voter deduplication between jurisdictions - a common maintenance task currently performed in plaintext or using trusted third parties. Our designs rely on standard, efficient cryptographic primitives, and are backward compatible with existing voter registration systems. Finally, we provide an open-source implementation of VRLog and benchmarks to demonstrate that the system is practical - capable of running on low-cost commodity hardware and scaling to support databases the size of the largest U.S. state voter registration systems.

Problem

• Enhancing transparency and verifiability in voter registration systems.
• Introducing cryptographic verifiability to secure voter data.
• Developing VRLog for transparent and privacy-preserving voter registration.

Innovation

• Introduces cryptographic verifiability for voter registration.
• Develops VRLog system for transparent voter data verification.
• Enhances VRLog with VRLog^x for cryptographic privacy.