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.