Zero-Knowledge Simulation of Boolean Circuits
A robust and verifiable cryptographically secure election scheme