Chapters
Transcript
Episode notes
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18
Introduction
00:00 • 3min
ZK Hack ZK Summit: A Conversation With Shrinath
02:36 • 5min
The Linear Work That Culminates With GROS 16
07:49 • 2min
The Struggle to Join Microsoft Research
10:06 • 4min
Nova: The Group of Novas
14:15 • 4min
The Similarity of NOVA and NOVA
18:35 • 2min
The Differences Between Starks and NOVA
21:02 • 2min
The Internals of NOVA
22:57 • 3min
The Basics of Folding Schemes
26:25 • 2min
The Pros and Cons of Plonkish in R1CS
28:19 • 2min
The New CCS for R1CS
30:29 • 3min
The Sum Check Protocol and the Evolution of No-Wap
33:37 • 2min
Spartan: The Proverse Commits to the Witness
35:49 • 3min
The Protostar and Hypernova Proteger Comparisons
38:48 • 2min
Hypernova: A Reference Implementation
40:24 • 4min
How to Construct Snarks Before the Sum Check Protocol Was So Prevalent
44:23 • 3min
How to Prove Incremental Verifiable Computing
47:31 • 3min
Nova, Supernova, Hypernova, and Some Checks, Folding Schemes
50:02 • 2min