Thaler, Justin. “Time-Optimal Interactive Proofs for Circuit Evaluation.” In Advances in Cryptology - CRYPTO, 2013.

@inproceedings{DBLP:conf/crypto/Thaler13,
  author = {Thaler, Justin},
  title = {Time-Optimal Interactive Proofs for Circuit Evaluation},
  booktitle = {Advances in Cryptology - {CRYPTO}},
  year = {2013}
}