feat: add gaslimit check for execute_sequencer_transactions

[georgehao]

#280

[codspeed-hq]

CodSpeed Performance Report

Merging #333 will not alter performance

_{Comparing add_gas_limit_check_to_sequencer_tx (3258c8a) with scroll (d485f47)}

Summary

✅ 77 untouched benchmarks

[greged93]

this won't work for L1 message, as currently we only add gas_used to info.cumulative_gas_used, we need to have the same logic as l2geth:

• For normal transactions, subtract tx gas used from the available gas.
• For L1 messages, subtract tx gas limit from the available gas.

[georgehao]

true

[georgehao]

fixed bfd3574

[georgehao]

and btw, do i need to add this check

            let gas_used = sequencer_tx.is_l1_message() {
                ... 
            } else {
                ...
            }

as we discussed, I think l1 consolidation and l1 message can combine together

[greged93]

I think you need to yes, for L1 messages you use gas limit but for normal you use gas used.

[georgehao]

https://github.com/scroll-tech/go-ethereum/blob/7ab8fcd1efdf9fc3121ad80e5c8a355e47c8b14a/core/state_transition.go#L273-L275

there is also a limit for normal transaction, it also use gasLimit

[georgehao]

so I think we don't need to distinguish the tx type