Competing Provers Protocols for Circuit Evaluation

Gillat Kol, Ran Raz. Competing Provers Protocols for Circuit Evaluation. Electronic Colloquium on Computational Complexity (ECCC), 18:122, 2011. [doi]

Abstract

Abstract is missing.