The Sequencer Enforcement Boundary
An integrated sequencer can validate candidate transactions at the network’s inclusion boundary. Within the paths it covers, this can enforce assertions without changing the protected contract. Users still rely on the sequencer for ordering and availability, and on the assertion integration for correct validation. Coverage must account for bridge-originated, delayed, system, and forced-inclusion paths. Their inclusion rules can differ from ordinary user transactions. An integration must specify where checks run and what happens when they fail or time out.Integration Designs
- Plan an L2 integration: transaction-source policies, inclusion boundaries, and operational requirements.
- Linea / Besu: plugin-based validation during block building.
- OP Stack: the Rollup-Boost integration design.
- Validation pipelines: speculative execution, rollback, bounded response windows, and backpressure.

