International Association for Cryptologic Research

International Association
for Cryptologic Research

CryptoDB

Lattice-Based Zero-Knowledge Proofs in Action: Applications to Electronic Voting

Authors:
Valeh Farzaliyev
Calvin Pärn
Heleen Saarse
Jan Willemson
Download:
DOI: 10.1007/s00145-024-09530-5
Search ePrint
Search Google
Abstract: Abstract This paper studies several building blocks needed for electronic voting in order to prepare for the post-quantum era. In particular, we present lattice-based constructions for a generic zero-knowledge (ZK) proof of ballot correctness, a ZK proof of ballot correctness applicable for the homomorphic tallying scenario, and a ZK proof to achieve cast-as-intended verification during the vote casting period. We implement and benchmark our ballot correctness proofs, giving concrete estimations comparing the performance of homomorphic tallying and mix-net based e-voting systems in case of our lattice-based constructions.
BibTeX
@article{jofc-2024-35414,
  title={Lattice-Based Zero-Knowledge Proofs in Action: Applications to Electronic Voting},
  journal={Journal of Cryptology},
  publisher={Springer},
  volume={38},
  pages={6},
  doi={10.1007/s00145-024-09530-5},
  author={Valeh Farzaliyev and Calvin Pärn and Heleen Saarse and Jan Willemson},
  year=2024
}