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

Oded Goldreich, Avi Wigderson, and Silvio Micali