Rollups: Optimistic vs ZK Internals — Lesson overview

GoalUnderstand optimistic vs ZK rollups, sequencers, proofs, data availability (DA), and the canonical bridges that connect them to L1.

ScopeWe’ll focus on how rollups batch, prove, and settle, and what happens when sequencers misbehave or DA fails.

DeliverableFormulas for proving windows and DA, a minimal settlement skeleton, and a checklist for trust assumptions.