End-to-End Verifiability
A core security property of electronic voting systems requiring that the system can prove cast ballots are correctly recorded and recorded ballots are correctly tallied, without compromising ballot privacy.
Timeline (last 90 days)
Electronic voting systems typically rely on cryptographic primitives such as homomorphic encryption, zero-knowledge proofs, mixnets, and end-to-end verifiability (E2E-V) to ensure security.
End-to-end verifiability requires that the system be able to prove that "cast votes are correctly recorded" and that "recorded votes are correctly tallied," without compromising voting privacy.
All Facts (2)
Electronic voting systems typically rely on cryptographic primitives such as homomorphic encryption, zero-knowledge proofs, mixnets, and end-to-end verifiability (E2E-V) to ensure security.
50%UnverifiedEnd-to-end verifiability requires that the system be able to prove that "cast votes are correctly recorded" and that "recorded votes are correctly tallied," without compromising voting privacy.
50%