On the Concrete-Efficiency Threshold of Probabilistically-Checkable Proofs

Eli Ben-Sasson, Alessandro Chiesa, Daniel Genkin, Eran Tromer. On the Concrete-Efficiency Threshold of Probabilistically-Checkable Proofs. Electronic Colloquium on Computational Complexity (ECCC), 19:45, 2012. [doi]

Abstract

Abstract is missing.