1:04:57Interactive Proofs (Part I)Simons Institute for the Theory of Computing8.8K viewsView & Download
31:25DIMACS Sublinear Workshop: Graham Cormode - Trusting the Cloud with Practical Interactive ProofsRutgers University307 viewsView & Download
1:02:12On The Power of Distributed Verifiers in Interactive ProofsSimons Institute for the Theory of Computing369 viewsView & Download
10:48CST680: Topics in Cryptography - Interactive Proof SystemsAustin Herring1.2K viewsView & Download
1:07:46Tutorial on Proof SystemsSimons Institute for the Theory of Computing1.8K viewsView & Download
1:07:37Fully Linear PCPs and their Cryptographic ApplicationsSimons Institute for the Theory of Computing1.3K viewsView & Download
46:10Interactive Proofs for Verifying Machine LearningSimons Institute for the Theory of Computing986 viewsView & Download