ZK Rollup: Ethereum Scalability with ZKPs
summary
Builds a ZK Rollup on Ethereum that replaces plasma fraud challenges with on-chain verification of SNARK proofs, publishing compact state deltas on L1 for data availability. Implementation uses the BN254 curve, circuits around 200M constraints, batches ~1,000 transactions, and currently takes ~20 minutes to prove on a big AWS instance; live tests on mainnet show about 500 tx capacity today. Claims immediate withdrawals after proof, ~$0.005 per tx if proofs run in five minutes, and a GPU prover and Sonic reduce trusted-setup risks.
AI-written summary · about
chapters (19)
- 0:00Intro
- 0:25What is Rollup
- 0:43What is ZKP
- 2:00How it works
- 3:30How it looks
- 5:22Implementation details
- 5:51Sublinear scaling
- 6:24Data availability
- 7:12Miracle tree
- 8:18Abuse the cold data
- 9:22Block production
- 10:55Scaling
- 12:28Proof Time
- 13:37GPU Pro
- 13:52Transit Stop
- 14:13Arbitrary computations
- 14:31Mainnet test
- 18:20Why is it important
- 18:38Decentralization
