Verifiable computation using multiple provers

Andrew J. Blumberg, Justin Thaler, Victor Vu, Michael Walfish. Verifiable computation using multiple provers. IACR Cryptology ePrint Archive, 2014:846, 2014. [doi]

Abstract

Abstract is missing.