Into the Safe Sequencer

Rollups use the Safe Sequencer to protect their applications and differentiate their blockspace. The Safe Sequencer is fast, provably neutral, and instrumented with hand-written pattern recognition and A.I. models.

Since these algorithms are deterministic, we can prove their computation over inputs on L1 and therefore check the power of the sequencer with onchain proofs.

The Safe Sequencer will be integrated into many rollup frameworks. Our first integration is with the OP Stack. If you want to use a framework other than the OP Stack please let us know.

Some features:

• built with reth and revm
• optimized for speedy blocks
• embedded with AI to filter out exploits
• plug-and-play
  ‍

The exploit detection algorithms used by the Safe Sequencer are deterministic over the inputs posted to L1, just like a rollup. In fact, the Safe Sequencer itself is a rollup that proves the proper inclusion (or exclusion) of transactions rather than the result of their execution.

‍