Interactive Proof Systems Courses and Certifications

Simons Institute

Efficient Zero Knowledge Proof from Interactive Proofs

Explore efficient zero-knowledge proofs derived from interactive proofs, focusing on new algorithms, performance improvements, and comparisons to existing systems.

• YouTube
• 48 minutes
• Self-Paced
• Free Video

Simons Institute

Interactive Proofs - Part II

Explore advanced concepts in interactive proofs, including arithmetician protocols, sharpset, and general-purpose techniques. Learn about applications, limitations, and cutting-edge developments in this field.

• YouTube
• 1 hour 3 minutes
• Self-Paced
• Free Video

Simons Institute

Berkeley in the 80s - Episode 1- Shafi Goldwasser

Insightful interview with Turing Laureate Shafi Goldwasser, exploring her groundbreaking research in theoretical computer science, interactive proofs, and zero-knowledge protocols at UC Berkeley in the 1980s.

• YouTube
• 57 minutes
• Self-Paced
• Free Video

TheIACR

Silvio Micali- Our Models and Us

Explore cryptography's foundations, models, and ethical implications with Silvio Micali in this thought-provoking conference talk on the intersection of technology and morality.

• YouTube
• 1 hour 9 minutes
• Self-Paced
• Free Video

Simons Institute

Efficient Zero-Knowledge Proofs: A Modular Approach

Explore modular techniques for creating efficient zero-knowledge proofs, focusing on probabilistically checkable and interactive proof systems in cryptography.

• YouTube
• 1 hour 12 minutes
• Self-Paced
• Free Video

Simons Institute

Interactive Proofs - Part I

Explore the foundations of interactive proofs with Justin Thaler, delving into their significance for consensus and decentralized systems in modern society.

• YouTube
• 1 hour 5 minutes
• Self-Paced
• Free Video

Institute for Advanced Study

Discussion on MIP* = RE

Explore the groundbreaking MIP* = RE theorem with MIT's Anand Natarajan, delving into its implications for quantum computing, complexity theory, and the foundations of mathematics.

• YouTube
• 1 hour 33 minutes
• Self-Paced
• Free Video

Strange Loop Conference

Rhapsody in Zero Knowledge - Proving Without Revealing

Explore zero-knowledge proofs: a cryptographic technique enabling proof verification without revealing sensitive information, balancing security and privacy in modern computing.

• YouTube
• 38 minutes
• Self-Paced
• Conference Talk

Interactive Proofs and the Sum-Check Protocol - Part 2 - Lecture 1

Delve into interactive proof systems and the sum-check protocol, exploring their applications in cryptography and theoretical computer science with a focus on #SAT problems.

• YouTube
• 1 hour 6 minutes
• Self-Paced
• Free Video

Doubly Efficient Interactive Proofs in Advanced Cryptography - Lecture 2

Delve into advanced cryptography concepts focusing on doubly efficient interactive proofs, covering triangle counting in graphs, low-degree extension, and the GKR protocol for bounded depth computations.

• YouTube
• 1 hour 53 minutes
• Self-Paced
• Free Video

Fiat-Shamir Paradigm and Zero-Knowledge Proofs - Lecture 6

Delve into advanced cryptography concepts including Merkle hash collision resistance, Fiat-Shamir paradigm implementation, and Kilian-Micali protocol soundness in the Random Oracle Model.

• YouTube
• 1 hour 33 minutes
• Self-Paced
• Free Video

BARGs Implies SNARGs and Connection to Non-Signaling PCPs - Lecture 9

Delve into advanced cryptography concepts exploring the relationship between BARGs, SNARGs, and non-signaling PCPs, building on fundamental theoretical frameworks and their practical implications.

• YouTube
• 1 hour 14 minutes
• Self-Paced
• Free Video

Doubly Efficient Interactive Proofs in Cryptography - Lecture 2

Delve into advanced cryptography concepts including doubly efficient IP protocols, triangle counting in graphs, and the GKR protocol for bounded depth computations with Professor Kalai.

• YouTube
• 43 minutes
• Self-Paced
• Free Video

GKR Protocol and IP=PSPACE - Lecture 3

Delve into advanced cryptography concepts focusing on IP=PSPACE applications and the GKR Protocol through detailed mathematical proofs and theoretical frameworks.

• YouTube
• 1 hour 22 minutes
• Self-Paced
• Free Video

Fiat-Shamir Paradigm and Zero-Knowledge Proofs - Lecture 6

Delve into advanced cryptographic concepts including Merkle hash collision resistance, Fiat-Shamir paradigm applications, and Kilian-Micali protocol soundness in the Random Oracle Model.

• YouTube
• 1 hour 9 minutes
• Self-Paced
• Free Video