Proofs that yield nothing but their validity or all languages in NP have zero-knowledge proof systems. (1991)

by Oded Goldreich, Silvio Micali, Avi Wigderson
Venue:Journal of the ACM,