Ethereum Scaling: ZK Roll-Ups

An explanation of zk roll-ups, complexity theory, and how zk roll-ups achieve scaling — as well as bottlenecks for the sequencers, prover and verifier, etc.

Twitter:   / jordanmmck  

0:00 - Intro
0:24 - Video Overview
1:03 - Ethereum
1:41 - Ethereum World State
3:10 - EVM
3:30 - Transactions
4:52 - Blocks
5:35 - Nodes
6:30 - World Computer
7:06 - ZK Roll-Ups Overview
7:59 - ZK VM
9:18 - Sequencers
10:44 - Ethereum Hardware
13:12 - Provers
14:35 - Proof Generation
15:59 - State Diff
19:16 - Data Availability
21:46 - ZK Roll-Ups Review
24:07 - Complexity Theory Explained
34:11 - Run-time Comparison
37:03 - P vs. NP
37:31 - ZK Roll-Ups Revisited
37:50 - Sequencers
39:21 - Provers
40:31 - FPGAs
42:10 - Settlement
42:54 - Verifier
44:34 - DA
46:37 - L2 Landscape
47:15 - Parallelization
48:37 - Finality
49:49 - ZK Proof Properties
51:52 - L2 Comparison
53:14 - Modular Vision
54:21 - L3
55:41 - Outro