Verify that tx.max_fee_per_gas >= block.basefee, the tx is invalid otherwise (EVM circuit)
In the circuits we only have to check that the basefee of each transaction is transferred to the treasure in the public input. This should be pretty straightforward: for each tx we have to transfer tx.gas_used * basefee ETH from the tx owner to the treasure which can easily be done by inserting some additional transfers (MPT updates) in the EVM circuit. This needs to be done for each tx except invalid transactions and the anchor tx.
Check with the node team on when these updates are done exactly so we can insert these transfers in the correct place and the witness data is passed into the prover.
tx.max_fee_per_gas >= block.basefee
, the tx is invalid otherwise (EVM circuit)treasure
in the public input. This should be pretty straightforward: for each tx we have to transfertx.gas_used * basefee
ETH from the tx owner to thetreasure
which can easily be done by inserting some additional transfers (MPT updates) in the EVM circuit. This needs to be done for each tx except invalid transactions and the anchor tx.Check with the node team on when these updates are done exactly so we can insert these transfers in the correct place and the witness data is passed into the prover.