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