Normative spec: the Lagoon specification
is the canonical definition of this upgrade. This page records activation data
and operational pointers; it does not restate the spec. The Lagoon spec is
not yet finalized.
What’s included
Per the spec overview (subject to change while the spec is in development):- Interop: dependency set, cross-chain messaging, derivation, sequencer and verifier behavior, super roots, interop fault proofs, and the interop bridging contracts.
- Execution layer: post-execution transactions and sequencer-defined metering.