@article{v010a005, author = {Kol, Gillat and Raz, Ran}, title = {Competing-Provers Protocols for Circuit Evaluation}, year = {2014}, pages = {107--131}, doi = {10.4086/toc.2014.v010a005}, publisher = {Theory of Computing}, journal = {Theory of Computing}, volume = {10}, number = {5}, URL = {https://theoryofcomputing.org/articles/v010a005}, }