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