Simplified transaction flow
The key stages of transaction lifetime are:
The sequencer selects a transaction from the mempool and executes
If the transaction was valid, the
__execute__function is called
__execute__ran successfully, the sequencer includes the transaction in the block, charges the fee and proceeds to work on the next transaction (once the block is concluded, it will be sent to the prover)
The sequencer receives fees in ETH in return for including transactions in a block.
For more details on how the transaction fee is computed, see the fees section