RunasSudo 453443d22a 🎉 We did it, Reddit! Voting booth now functional at a basic level		2017-11-23 23:10:57 +11:00
..
bitstream.py	Get started with threshold encryption	2017-10-05 19:12:02 +11:00
crypto.py	Correctly map messages to G_q instead of simply using Z_p*	2017-10-05 20:26:40 +11:00
election.py	🎉 We did it, Reddit! Voting booth now functional at a basic level	2017-11-23 23:10:57 +11:00
mixnet.py	Correctly map messages to G_q instead of simply using Z_p*	2017-10-05 20:26:40 +11:00
secretsharing.py	Correctly map messages to G_q instead of simply using Z_p*	2017-10-05 20:26:40 +11:00
tests.py	🎉 We did it, Reddit! Voting booth now functional at a basic level	2017-11-23 23:10:57 +11:00
workflow.py	Verify proofs as part of test	2017-09-29 13:39:56 +10:00