cheating-proof-transcripts/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](https://git.openprivacy.ca/swiss-post-scytl-disclosure/sVote).

## 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