This repository contains proof transcripts that demonstrate flaws in the shuffle proof and decryption proof methods implemented in the SwissVote-Scytl evoting system.
https://openprivacy.ca/work/swisspost-scytl-evoting/
Sarah Jamie Lewis 93a4114607 | ||
---|---|---|
DecryptionCheatingProofs | ||
ORProof | ||
TrapdoorCommitmentCheatingProofs | ||
README.md |
README.md
Cheating Proof Transcripts from the Swiss Post / Scytl Disclosure
This repository contains proof transcripts that demonstrate flaws in the shuffle proof and decryption proof methods implemented in the SwissVote-Scytl evoting system.
They were generated by Sarah Jamie Lewis, Olivier Pereira and Vanessa Teague, using techniques described in the following reports:
- Lewis, Sarah Jamie, Olivier Pereira, and Vanessa Teague. "Ceci n’est pas une preuve." (2019). (https://people.eng.unimelb.edu.au/vjteague/UniversalVerifiabilitySwissPost.pdf)
- Lewis, Sarah Jamie, Olivier Pereira, and Vanessa Teague. "How not to prove your election outcome: The use of nonadaptive zero knowledge proofs in the ScytlSwissPost Internet voting system." (2019).(https://people.eng.unimelb.edu.au/vjteague/HowNotToProveElectionOutcome.pdf)
To verify these cheating proofs you will need a copy of the Swiss Post / Scytl e-voting code base.
Additional Reading
- Initial Disclosure: https://people.eng.unimelb.edu.au/vjteague/SwissVote.html
- Lewis, Sarah Jamie, Olivier Pereira, and Vanessa Teague. "Addendum to how not to prove your election outcome: The use of nonadaptive zero knowledge proofs in the ScytlSwissPost Internet voting system, and its implications for cast as intended verification."(2019).https://people.eng.unimelb.edu.au/vjteague/HowNotToProveElectionOutcomeAddendum.pdf