@inproceedings{533fa5ac8baf4bfca72a7322d206b1ca,
title = "On the Applicability of STARKs to Counted-as-Collected Verification in Existing Homomorphic E-Voting Systems",
abstract = "Scalable Transparent ARguments of Knowledge (STARKs) are a kind of succinct zero-knowledge proof which do NOT require trusting any party to generate a Common Reference String (CRS). In this work, we examine the applicability of STARKs to improving Counted-as-Collected verification in the homomorphically tallied elections. In particular we are interested in using STARKs to allow very efficient tally verification while providing everlasting privacy to the information made available for public verification. This work provides a useful reference for the computational and verifiability trade-offs of using STARKs.",
author = "Max Harrison and Thomas Haines",
note = "Publisher Copyright: {\textcopyright} International Financial Cryptography Association 2025.; 9th Workshop on Advances in Secure Electronic Voting Schemes, Voting 2024, 4th Workshop on Decentralized Finance, DeFI 2024, 8th Workshop on Trusted Smart Contracts, WTSC 2024, 5th Workshop on Coordination of Decentralized Finance, CoDecFin 2024 held in conjunction with the 28th International Conference on Financial Cryptography, FC 2024 ; Conference date: 04-03-2024 Through 08-03-2024",
year = "2025",
doi = "10.1007/978-3-031-69231-4_4",
language = "English",
isbn = "9783031692307",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Science and Business Media Deutschland GmbH",
pages = "50--65",
editor = "Jurlind Budurushi and Oksana Kulyk and Sarah Allen and Theo Diamandis and Ariah Klages-Mundt and Andrea Bracciali and Geoffrey Goodell and Shin{\textquoteright}ichiro Matsuo",
booktitle = "Financial Cryptography and Data Security. FC 2024 International Workshops - Voting, DeFI, WTSC, CoDecFin, Revised Selected Papers",
address = "Germany",
}