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