Zero-Knowledge Simulation of Boolean Circuits
A Fast Monte-Carlo Test for Primality