Foundations and Frontiers of Probabilistic Proofs (Zürich, Switzerland) Summer School: "Lecture 11: PCPs with Sublinear Verification"
Presenter
July 24, 2023
Keywords:
- algebraic local-to-global phenomena
- probabilistic proof systems
- SNARGs
