Proofs that Yield Nothing But Their Validity or All Languages in NP Have Zero-Knowledge Proof Systems

Silvio Micali, Oded Goldreich, and Avi Wigderson