4:37Interactive Proof Systems Explained: IP, AM, and Complexity ClassesCodeLucky341 viewsView & Download
2:03P and NP - Georgia Tech - Computability, Complexity, Theory: ComplexityUdacity140.4K viewsView & Download
1:21:18More on constant-round interactive proof systems: Graduate Complexity Lecture 12 at CMURyan O'Donnell961 viewsView & Download
1:04:57Interactive Proofs (Part I)Simons Institute for the Theory of Computing8.8K viewsView & Download
1:23:37Undergrad Complexity at CMU - Lecture 25: Interactive Proofs: IP=PSPACERyan O'Donnell4.1K viewsView & Download
1:31:16Lecture 1: Interactive Proofs and the Sum-Check Protocol, Part 1MIT OpenCourseWare112.4K viewsView & Download