How Shafi Goldwasser Co-Invented Zero-Knowledge Proofs

Chapters

1. 00:00 Intro
2. 03:36 How mental poker inspired zero-knowledge proofs: Proving that something is true without revealing the underlying information
3. 06:30 The simulation paradigm and the meaning of “zero knowledge”
4. 08:33 Why the original paper was repeatedly rejected
5. 10:33 How interactive proofs became more powerful than conventional proofs
6. 13:36 The road to modern SNARKs
7. 19:02 Why the sum-check protocol is so useful for verifiable computation
8. 25:31 Why many so-called “zk proofs” are not actually zero knowledge
9. 34:06 Why toy examples, playfulness, and narratives can produce deep theory
10. 37:23 The role of rigor and computational assumptions in cryptography
11. 42:44 Applying zero-knowledge proofs to law, evidence, and secret software
12. 45:23 Training AI systems to provide proofs alongside their answers
13. 54:27 Why genuinely new ideas are often difficult for experts to recognize

Chapters come from the timestamps in the video description.