Proofs that Yield Nothing But Their Validity or All Languages in NP Have Zero-Knowledge Proof SystemsOded Goldreich, Silvio Micali, and Avi WigdersonJuly 1991PDFExternal link