Any transaction that violates your rules is removed by the network at the sequencer level. This deterministic approach means there are no false positives.
Written in Solidity, with Foundry-like syntax, assertions are just like an in-contract require statement, but faster and more expressive. With no contract modifications or downtime during implementation.
All active assertions are public and verifiable. Users can inspect the exact rules protecting their funds, and developers can fork proven rule sets from similar protocols.
