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