Work

On the Concrete-Efficiency Threshold of Probabilistically-Checkable Proofs