Join Sandeep Nailwal, Rene Reinsberg, Alex Gluchowski & Steven Goldfeder I Pragma Denver 2024
summary
Panel lays out concrete architectures and trade-offs: a aggregated ZK proof model that publishes many rollup proofs into one, zkSync’s hyperchain plan to aggregate proofs, and Arbitrum-style chain clusters with shared sequencing and optional DA services (Celestia, Espresso). Key constraints: Ethereum finality delays (~12–17 minutes) limit instant cross-chain certainty, and proving today carries a cited cost of proving 1,000–2,000x versus raw execution, so optimistic rollups remain cheaper short-term while ZK aggregation targets long-term trustless interoperability.
AI-written summary · about
chapters (16)
- 0:00Intro by Kartik Talwar
- 1:06Defining aggregation vs modular blockchain scaling
- 3:07Sandeep on Polygon’s Aggregated ZK Vision
- 5:14Rene on Celo’s L1 to L2 transition
- 8:59Evaluating user needs across L2 ecosystems
- 9:56Steven on Arbitrum’s custom clusters and Orbit
- 14:23Alex introduces zkSync’s hyperchain network
- 16:03Why ZK proofs are key to interoperability
- 19:26Steven challenges ZK assumptions with Ethereum finality
- 23:02Alex’s defense: sovereignty and ZK aggregation
- 25:13Sandeep on UX and cost of proving
- 28:14Optimistic vs ZK rollup cost trade-offs
- 29:46Rene on Ethereum’s strength from diversity
- 32:08Steven: why optimistic rollups work today
- 34:20Toward shared trustless value across ecosystems
- 35:38Closing thoughts and panel wrap-up
