Proofs that yield nothing but the validity of their assertion (0)

by O Goldreich, S Micali, A Wigderson
Venue:In preparation