Proofs that Yield Nothing But Their Validity or All Languages in NP Have Zero-Knowledge Proof SystemsAvi Wigderson, Oded Goldreich, and Silvio Micali•July 1991PDFLink