nVotes Online Voting retweetledi

Verifying braid shuffle proofs with the machine-checked coq verifier written by
@thomas_e_haines
et al (github.com/gerlion/secure…)

English
nVotes Online Voting
288 posts

@nvotes_com
nVotes provides online voting systems allowing organizations to carry out secure, flexible, transparent and cost-effective electoral processes.



Braid is a verifiable re-encryption mixnet that can serve as the cryptographic core of secure voting systems github.com/nvotes/braid.














