How to Prove all NP-Statements in Zero-Knowledge, and a Methodology of Cryptographic Protocol Design.

Oded Goldreich, Silvio Micali, Avi Wigderson

Browse the full CRYPTO paper archive.