Table of contents
Tobasco: Top of Block for Atomic Synchronously Composable Operations
What it Does
Tobasco is a proof-of-concept implementation of a preconf protocol that enforces top-of-block (ToB) L1 inclusions based on a proposal from Brecht.
How it Works
At the heart of Tobasco is the Tobasco.onlyTopOfBlock() modifier that reverts if the transaction isn’t executed at ToB by checking gas consumption. If it succeeds, the modifier records a flag that indicates that ToB execution succeeded. This flag serves as evidence that can be used to punish proposers in proposer commitment protocols.
The repo contains an example Slasher contract that uses the URC and Constraints API.
Why it Matters
Tobasco is a simple but powerful primitive that can be used to ensure L1 super transactions as described in Ultra TX, Signal-Boost, and SCOPE execute with the latest L1 state for L1<>L2 synchronous composability. Beyond that it is a simple primitive for proposers to sell the ToB position to arbitragers.