@misc{indiciaec0b529b15a2b,
  title = {Time-Optimal Interactive Proofs for Circuit Evaluation},
  author = {Justin Thaler},
  year = {2017},
  url = {https://arxiv.org/abs/1304.3812},
  note = {Source identifier: 1304.3812}
}