Time-optimal interactive proofs for circuit evaluation (2013)

by Justin Thaler
Venue:In Proceedings of the 33rd Annual International Cryptology Conference, CRYPTO ’13