Proofs that Yield Nothing But Their Validity or All Languages in NP Have Zero-Knowledge Proof SystemsAvi Wigderson, Oded Goldreich, and Silvio MicaliJuly 1991PDFExternal link