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.

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

[alexanderkirilov]

Hidden gem.. my favorite kind of content on youtube

[augustskater]

Nice video bro, ZK technology's untapped potential is exhilarating!

"Taiko's" commitment to evolving with ZK-EVM positions them as key players in the blockchain's scalable future, where innovation knows no bounds.

[grandsheng]

Honestly, this is by far the best explanations about zkrollups. Thank you for doing it, please keep explaining us those difficult concepts and solutions.

[shubhpatni]

Jordan is back. Plz make more and thnx for this one

[Tilseroz]

I found you through the EVM video and this is the second video I've seen from you and I must say, really good job. It's obvious that you understand it and moreover you can explain it and such a combination is rare.

And I appreciate the funny comment that solving P vs NP is probably the most complicated way to make a million dollars. That amused me. Keep it up. Explain complex concepts in a clear way, throw in a funny comment here and there, keep it up. Thumbs up.

[Chris]

One of the best on YouTube! Keep up the good work!

[dinsiuchecy]

Your video has helped me a lot to understand different technical concepts in the crypto world, please keep posting ❤

[diogenescasares]

Really good video. I work at a VC company and we were sent this as required watching.

[mattcarter]

Great channel here. Way ahead of other web3 YouTube content

[_chonkov]

Amazing video, would love to see more videos like this one - pure gem. Hope u can make maybe a very deep explanation of how the beacon chain interacts and synchronizes with the shards

[cosmos]

OMG, finally found some indepth videos. Thks a lot very clear. I have sev questions though: can you expand more on how the prover works. How the diff can prove the several blocks done. Does the number of blocks affect anything? Why not do the prove 1000 blocks? What about sequencers.. is there a notion of centralization on the zk rollups themselves? And why zk are application specific? Again. Great videos. Just subed

[TudorBarbulescu]

Super valuable content Jordan my man, thank you!

[obsessed]

Great video as always, you are the best !

[phunganhkhoa]

Amazing presentation as always. Thank you!

[erwinditer]

good one, will you do a similar overview for Optimistic Rollups ?

[hamletwinston]

Hi, great video — very helpful!

Question: what is the business model of rollups? Sequencers use expensive hardware and need to fund their entire operation — do they do this by charging small fees for transactions they process and aiming to get high tx volume? I struggle to find information about this — but see things like Starkware being given an $8 Billion valuation. If you could explain this I would greaty appreciate it. Cheers.

[danielpavel]

Awesome job, What did you used for drawing?

[nsteinhilber]

Is there a way to actually have public access to some of these visualizations? I'd love to be able to delve into them as a non-editor and poke around!

[sidkumthekar]

Question : The Prover generates the Validity Proof, and includes it in a transaction (which then goes to the L1 Verifier Contract) ..BUT, is the proof included in the Batch? And if so, does the batch and the proof containing transaction represent the same?
Need your help explanation and visual schema btw

[MatheusGomes-wyko]

V nice video, don't mind at all if they are long