Proofs that Yield Nothing but their Validity (1991)

by O Goldreich, S Micali, A Wigderson
Venue:J.ACM