Zero-Knowledge

Interactive Proofs

 

Goldwasser-Micali-Rackoff