Playlist: 24 videos

Probabilistically Checkable and Interactive Proof Systems

1:2:12

On The Power of Distributed Verifiers in Interactive Proofs

Eylon Yogev (Technion)
https://simons.berkeley.edu/talks/power-distributed-verifiers-interactive-proofs
Probabilistically Checkable and Interactive Proof Systems
Visit talk page
1:0:46

Ligero: Sublinear Arguments from MPC-in-the-head

Muthu Venkitasubramaniam (University of Rochester)
https://simons.berkeley.edu/talks/ligero-sublinear-arguments-mpc-head
Probabilistically Checkable and Interactive Proof Systems
Visit talk page
0:51:5

Role of Composition in low-error PCP constructions

Prahladh Harsha (Tata Institute of Fundamental Research)
https://simons.berkeley.edu/talks/tbd-86
Probabilistically Checkable and Interactive Proof Systems
Visit talk page
0:53:0

2-to-2 Games, the Grassmann Graph, and Hyper-contractivity

Guy Kindler (Hebrew University of Jerusalem)
https://simons.berkeley.edu/talks/2-2-games-grassmann-graph-and-hyper-contractivity
Probabilistically Checkable and Interactive Proof Systems
Visit talk page