ZK: Accelerating DA Interop
summary
Lazybridging is a Celestia Labs protocol that moves cross-rollup transfers through Celestia and replaces trusting rollup attester sets with cryptographic checks: ZK execution proofs for state transitions plus Merkle membership proofs for commitments. Implementation uses succinct sp1 (custom Stark-like circuits in Rust) with per-block proofs aggregated and compressed into a Groth16 proof for on‑EVM verification, relayers and a prover service orchestration, IBC v2 plumbing, and a prototype demo that works but has slow, costly on‑demand proof generation and unresolved verifier upgradability.
AI-written summary · about
chapters (11)
- 0:00ZK-accelerated DA interop
- 1:15Alta interoperability and DA layers
- 2:38Challenges and security trade-offs
- 4:50Trust assumptions in rollups
- 6:36Lazy bridging protocol
- 9:06ZKIBC transaction flow
- 11:15Demo: DA layer to rollup
- 14:47Proving state transition
- 17:59Acknowledgment relay and finalization
- 19:02Proof generation challenges
- 20:32Q&A
related talks
36mJoin Sandeep Nailwal, Rene Reinsberg, Alex Gluchowski & Steven Goldfeder I Pragma Denver 2024
25mZK Rollup: Ethereum Scalability with ZKPs
25mSuccinct Proofs in Ethereum
44mTooling for building zkEVM: PIL and Circom
40mEthereum at Hyperscale
19mThe Superpowers of the ZK Stack
17mZK for the Enterprise - Quod Erit Demonstrandum (What Will Need to be Proven)
25mZk x EVM