Proofs that Yield Nothing but their Validity", FOCS 86 (0)

by O Goldreich, S Micali, A Wigderson