Zero-Knowledge Simulation of Boolean Circuits
Probabilistic encryption