Smart Contract: Use automata to verify quote in Sequencer Inbox contract

EspressoSystems / nitro-espresso-integration

Nitro goes vroom and fixes everything

Other

13 stars 7 forks source link

Closed Sneh1999 closed 1 week ago

Sneh1999 commented 1 week ago

Is your feature request related to a problem? Please describe. Use Automata contracts to verify quotes in Sequencer Inbox contract.