Normative spec: This upgrade is normatively defined in the Lagoon specification. 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.