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