Competing provers protocols for circuit evaluation

Gillat Kol, Ran Raz. Competing provers protocols for circuit evaluation. In Robert D. Kleinberg, editor, Innovations in Theoretical Computer Science, ITCS '13, Berkeley, CA, USA, January 9-12, 2013. pages 473-484, ACM, 2013. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: