Zero-Knowledge Interactive
Proofs of Knowledge
 
Goldwasser-Micali-Rackoff