verificatum / verificatum-vmn Star 11 Code Issues Pull requests The first implementation of a fully distributed provably secure and universally verifiable mix-net based on the El Gamal cryptosystem. cryptography shuffle mix-net verificatum distributed-key-generation zero-knowledge-proofs proof-of-a-shuffle distributed-decryption end-to-end-verifiable universally-verifiable Updated Apr 25, 2024 Java
phayes / benaloh-challenge Star 3 Code Issues Pull requests Benaloh Challenge (aka Interactive Device Challenge) cryptography voting e-voting end-to-end-verifiable device-challenge benaloh benaloh-challenge interactive-device-challenge Updated May 8, 2023 Rust
infoaed / pseudovote-euro24 Star 0 Code Issues Pull requests Pseudonym generation ceremony and tally for EP 2024 elections e-voting exit poll in Estonia estonia e-voting pseudonymisation exit-polls end-to-end-verifiable Updated Jun 27, 2024 Python