Analyzed 12 months ago
Paillier/ZKP is an Ada implementation of parts of the Paillier cryptosystem used in the context of electronic voting (e-voting). The project provides ballot encryption, zero-knowledge proof generation/verification and weighted tallying of encrypted votes.