Proofs that yield nothing but their validity (1991)

by O Goldreich, S Micali, A Wigderson
Venue:Journal of the ACM