Chapters
Transcript
Episode notes
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25
Introduction
00:00 • 2min
Bulletproofs: A Co-Founder and Chief Cryptographer
01:43 • 3min
The Evolution of Cryptography
04:24 • 3min
ZK Breaks Out of Blockchain
07:43 • 3min
The Future of Cryptography
10:26 • 3min
Espresso Systems: A Decentralized and Shared Sequencer
13:33 • 2min
The Difference Between Folding and Accumulation Schemes
15:47 • 3min
The History of Accumulation
18:39 • 4min
The Infinite or the Other?
22:42 • 2min
The Importance of Increasively Verifiable Computation
24:47 • 2min
Increasively Verifiable Computation
27:14 • 2min
Error Vector and Slack Vector in Protostar
29:40 • 2min
How to Use the Same Error Terms for Each Step of Folding
31:42 • 3min
The Differences Between Protostar and Hypernova
34:24 • 3min
The Cost of Sum Checks in Hypernobody
37:36 • 4min
How to Build an IVC Scheme That Supports Fancy and Advanced Gates
41:22 • 4min
Constrained Systems in the Modular Stack
44:57 • 2min
How to Optimize a Recursive Step
46:54 • 2min
The Future of Recursion
48:36 • 3min
Protostar's Unique Lookup Argument
51:39 • 3min
The Homomorphic Aditiveness of the Vivy C Scheme
54:50 • 6min
The Future of Computer Programming
01:00:22 • 3min
The Impact of Proving Systems on Zero Knowledge Proofs
01:03:14 • 3min
How to Name Things in Space
01:05:53 • 2min
The Background to Proto Star
01:08:14 • 2min