Paper 2026/565
Zeeperio: Verifying Governmental Elections with Ethereum
, Western University, Western University, Concordia UniversityAbstract
Scantegrity II became the first governmental election run with a cryptographic end-to-end election verification (E2E-V) protocol. E2E-V protocols allow the public to verify proofs that the election was executed correctly, but participation in this important process is largely left as an opt-in, ad hoc exercise. We present Zeeperio, a special purpose zk-SNARK argument (built with application-specific arithmetization) that can issue proofs for Scantegrity elections that can be verified automatically via smart contracts for inexpensive on-chain verification. A Zeeperio verification contract running on Ethereum costs under $30 USD (at time of writing) per election (and the cost is constant in the number of ballots). By not relying on general purpose zk-SNARK toolkits, like circuit or zkVM compilers, Zeeperio's tailor-made argument offers multiple order-of-magnitude improvements to prover efficiency over implementations from the research literature. For example, Zeeperio requires under 5 hours on a commodity laptop for an election with 100,000 ballots to produce a proof in the kilobyte range.
Metadata
- Available format(s)
-
PDF
- Category
- Applications
- Publication info
- Published elsewhere. Major revision. Workshop on Trusted Smart Contracts 2026 at Financial Cryptography
- Keywords
- E2E-V votingzk-SNARKspolynomial interactive oracle proofssmart contracts
- Contact author(s)
-
amalho26 @ uwo ca
aessex @ uwo ca
j clark @ concordia ca - History
- 2026-03-22: approved
- 2026-03-20: received
- See all versions
- Short URL
- https://ia.cr/2026/565
- License
-
CC BY-SA
BibTeX
@misc{cryptoeprint:2026/565,
author = {Aikamdeep Malhotra and Aleksander Essex and Jeremy Clark},
title = {Zeeperio: Verifying Governmental Elections with Ethereum},
howpublished = {Cryptology {ePrint} Archive, Paper 2026/565},
year = {2026},
url = {https://eprint.iacr.org/2026/565}
}
