Autonomous Election Verification with Zeeperio
| dc.contributor.advisor | Essex, Aleks | |
| dc.contributor.author | Malhotra, Aikamdeep | |
| dc.date.accessioned | 2026-02-26T19:53:19Z | |
| dc.date.issued | 2026-02-17 | |
| dc.description.abstract | This thesis presents Zeeperio, a verifiable voting protocol that makes end-to-end election verification routine and automatic. Zeeperio uses Eperio’s election table structure and replaces the cut-and-choose auditing with a custom succinct zk-SNARK proof. This proof shows that all ballots are properly accounted for and that the published outcome is correct. The proof is submitted to an Ethereum smart contract for public, automatic verification, so an incorrect tally is rejected without relying on voluntary auditors. We implemented the protocol, and evaluated a 100,000-ballot, 5-candidate election. The proofs resulted in an on-chain verification cost of ~4.2 million gas, which translates to ~$30 USD in fees on Ethereum at the measured prices. These results show that large scale public verification can be inexpensive and compatible with existing paper-election workflows. | |
| dc.description.copyright | Malhotra, 2026 | |
| dc.identifier.uri | https://hdl.handle.net/20.500.14721/39393 | |
| dc.language.iso | en | |
| dc.publisher | The University of Western Ontario | |
| dc.rights | Attribution-NonCommercial-ShareAlike 4.0 International | en |
| dc.subject | E2E verifiable voting | |
| dc.subject | zk-SNARKs | |
| dc.subject | election verification | |
| dc.subject | Ethereum | |
| dc.subject | smart contracts | |
| dc.subject | cryptographic proofs | |
| dc.subject | Polynomial-IOPs | |
| dc.subject | zero-knowledge proofs | |
| dc.title | Autonomous Election Verification with Zeeperio | |
| dc.type | thesis | |
| oaire.license.condition | http://creativecommons.org/licenses/by-nc-sa/4.0/ | |
| thesis.degree.discipline | Electrical and Computer Engineering | |
| thesis.degree.grantor | The University of Western Ontario | |
| thesis.degree.name | M Eng Sci | |
| uwo.description.laySummary | This thesis is about making election result checking routine, not optional. In many elections, the public must largely trust that the reported totals are correct. Cryptographic end-to-end verifiable voting systems allow for voters and observers to check an election, but the checking process is often dependent on volunteers and specialized tools, so it may not happen consistently. We present Zeeperio, a protocol that produces a short cryptographic proof showing that the published election outcome matches the recorded ballots. Instead of asking people to manually audit large datasets, Zeeperio generates a compact proof that can be verified automatically. The key idea is to have a public smart contract verify the proof on the Ethereum blockchain. If the election data is inconsistent or the tally is wrong, the proof fails and the contract rejects it. This makes verification automatic and publicly visible, while still allowing independent auditors to check the same proof themselves. We implemented Zeeperio and evaluated it on an election with 100,000 ballots and 5 candidates. The proofs are very small and verifying it on Ethereum’s test network cost under $30 USD (at the time). Compared to prior approaches that require very large proofs and heavy computation, these results show that large-scale public verification can be practical and inexpensive. |