Receipt-Free Electronic Voting from zk-SNARK

Maryam Sheikhi, Rosario Giustolisi, Carsten Schuermann

2023

Abstract

In 2016, Locher and Haenni (Locher and Haenni, 2016) proposed an e-voting scheme that offers verifiability, everlasting vote privacy, and computational receipt-freeness, as well as an informal discussion of how the scheme achieves such properties. We advance this line of work by proposing a new cryptographic scheme that provably satisfies those properties as well as everlasting participation privacy and efficient tallying. Receipt-freeness relies on deniable vote updating and verifiable null ballot posting, generated from public knowledge stored on the bulletin board. The everlasting vote and participation privacy properties directly result from the hash-based commitment scheme and efficient zero-knowledge proofs (SNARKs). Finally, we provide mathematical proofs for all the properties, including a new game-based definition of participation privacy.

Paper Citation

in Harvard Style

Sheikhi M., Giustolisi R. and Schuermann C. (2023). Receipt-Free Electronic Voting from zk-SNARK. In Proceedings of the 20th International Conference on Security and Cryptography - Volume 1: SECRYPT; ISBN 978-989-758-666-8, SciTePress, pages 254-266. DOI: 10.5220/0012140000003555

in Bibtex Style

@conference{secrypt23,
author={Maryam Sheikhi and Rosario Giustolisi and Carsten Schuermann},
title={Receipt-Free Electronic Voting from zk-SNARK},
booktitle={Proceedings of the 20th International Conference on Security and Cryptography - Volume 1: SECRYPT},
year={2023},
pages={254-266},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0012140000003555},
isbn={978-989-758-666-8},
}

in EndNote Style

TY - CONF

JO - Proceedings of the 20th International Conference on Security and Cryptography - Volume 1: SECRYPT
TI - Receipt-Free Electronic Voting from zk-SNARK
SN - 978-989-758-666-8
AU - Sheikhi M.
AU - Giustolisi R.
AU - Schuermann C.
PY - 2023
SP - 254
EP - 266
DO - 10.5220/0012140000003555
PB - SciTePress