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

by O Goldreich, S Micali, A Wigderson
Venue:Journal of the Association for Computing Machinery