 Proofs that Yield Nothing But Their Validity or All Languages in NP Have Zero-Knowledge Proof Systems by Oded Goldreich and others

Primary author-hosted paper; definition of zero knowledge compares an expected polynomial-time simulator with the verifier’s interaction view. Author context www.wisdom.weizmann.ac.il/~oded/gmw.html identifies the1991 JACM paper.