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/
You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
Sarah Jamie Lewis
93a4114607
|
4 years ago | |
|---|---|---|
| DecryptionCheatingProofs | 4 years ago | |
| ORProof | 4 years ago | |
| TrapdoorCommitmentCheatingProofs | 4 years ago | |
| README.md | 4 years ago | |
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