Foundations and Frontiers of Probabilistic Proofs (Zürich, Switzerland) Summer School: "Lecture 13: Linear-Size IOP for Circuits"
Presenter
July 25, 2023
Keywords:
- algebraic local-to-global phenomena
- probabilistic proof systems
- SNARGs
