![Proofs, Consensus, and Decentralizing Society_hi-res logo](/sites/default/files/styles/workshop_banner_sm_1x/public/2023-01/Proofs%2C%20Consensus%2C%20and%20Decentralizing%20Society_hi-res.png.jpg?itok=gluZ2qCs)
Playlist: 24 videos
Probabilistically Checkable and Interactive Proof Systems
1:2:12
Eylon Yogev (Technion)
https://simons.berkeley.edu/talks/power-distributed-verifiers-interactive-proofs
Probabilistically Checkable and Interactive Proof Systems
Visit talk page
https://simons.berkeley.edu/talks/power-distributed-verifiers-interactive-proofs
Probabilistically Checkable and Interactive Proof Systems
1:0:46
Muthu Venkitasubramaniam (University of Rochester)
https://simons.berkeley.edu/talks/ligero-sublinear-arguments-mpc-head
Probabilistically Checkable and Interactive Proof Systems
Visit talk page
https://simons.berkeley.edu/talks/ligero-sublinear-arguments-mpc-head
Probabilistically Checkable and Interactive Proof Systems
0:51:5
Prahladh Harsha (Tata Institute of Fundamental Research)
https://simons.berkeley.edu/talks/tbd-86
Probabilistically Checkable and Interactive Proof Systems
Visit talk page
https://simons.berkeley.edu/talks/tbd-86
Probabilistically Checkable and Interactive Proof Systems
0:53:0
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
https://simons.berkeley.edu/talks/2-2-games-grassmann-graph-and-hyper-contractivity
Probabilistically Checkable and Interactive Proof Systems