Advanced
Rollups: Optimistic vs ZK Internals — Hands-on lab
Understand scaling choices.
Developer Advanced
6/8 — Rollups: Optimistic vs ZK Internals — Hands-on lab
SimulateWalk through a deposit, batch publish, proof post, and withdrawal with a challenge timer. Flip flags to mimic censorship or DA loss.
ObserveEmit events for batches, proofs, and exits to mirror what explorers show.
Steps
- Simulate an optimistic withdrawal:Publish batch → start timer → attempt exit before/after timer.
- Simulate a fraud proof:During challenge, post proof and ensure exit is blocked/reverted.
- Simulate DA loss:Mark dataUnavailable and block exits until resolved.
- Toggle sequencer pause and:Ensure deposits/withdrawals respect it.
- Optional:Swap to “validity” mode where proofVerified gates exits immediately.