test(invariants): add TIP-1016 state gas invariant tests and update GasPricing/BlockGasLimits for gas dimension split#3369

Open

fgimenez wants to merge 40 commits intotip1016from

fgimenez/tip1016-invariants

Commits on Mar 27, 2026

chore: bump reth/revm/alloy-evm/revm-inspectors for EIP-8037

rakita
authored and
fgimenez
committed
chore(precompiles): simplify OutOfGas error conversion in dispatch

rakita
authored and
fgimenez
committed
bump revm deps and fix last_frame_result signature

rakita
authored and
fgimenez
committed
chore: bump reth to e358442c28 (tip1016) and fix breaking changes

rakita
authored and
fgimenez
committed
chore: point revm patches to git (rev 1e1d64d54) instead of local paths

rakita
authored and
fgimenez
committed
fix: replace deprecated Gas::spent() with total_gas_spent() in test

rakita
authored and
fgimenez
committed
bump reth, revm, alloy-evm, and revm-inspectors to latest tip1016

rakita
authored and
fgimenez
committed
fix: adapt to reth PayloadBuilderAttributes and fork_choice_updated API changes
fgimenez
committed
Update crates/precompiles/src/lib.rs
fgimenez
committed
fix(precompiles): return unspent gas to caller on revert instead of consuming all
fgimenez
committed
fix deny
fgimenez
committed
fix docs
fgimenez
committed
fix(alloy): use TempoWallet to avoid conflicting NetworkWallet blanket impl
fgimenez
committed
fix deny
fgimenez
committed
fix(evm): use tx_gas_used in finish() so header.gas_used matches receipt cumulative_gas_used
fgimenez
committed
chore: bump reth/revm/alloy-evm/revm-inspectors for EIP-8037

rakita
authored and
fgimenez
committed
chore: bump reth/revm/alloy-evm/revm-inspectors for EIP-8037

rakita
authored and
fgimenez
committed
chore: fix tip1016 build (#2709)
fgimenez
committed
feat(evm): split gas tracking into execution vs storage creation gas (TIP-1016) (#2734)
fgimenez
committed
feat!(evm): split intrinsic gas between regular and state gas for T2+ (TIP-1016) (#2714)
fgimenez
committed
test(tip1016): add integration tests for storage gas exemption from block gas limits (#2781)
fgimenez
committed
test(tip-1016): add unhappy path and corner case integration tests for storage gas exemption (#2889)
fgimenez
committed
fixes
fgimenez
committed
t2 -> t3
fgimenez
committed
Update crates/precompiles/src/lib.rs

fgimenez
and
rakita
committed
refactor(evm): remove redundant block-level state gas tracking in favor of inner executor's block_regular_gas_used
fgimenez
committed
fix(evm): use block_regular_gas_used delta for protocol gas limits instead of tx_gas_used minus state_gas_used
fgimenez
committed
fix(evm): remove re-introduced system tx section check from finish() that breaks eth_simulateV1
fgimenez
committed
fix
fgimenez
committed
fix(revm): include state gas in initial_total_gas to satisfy upstream revm invariant
fgimenez
committed
fix(revm): avoid double-counting state gas in adjusted_initial_gas after upstream fold
fgimenez
committed
fix(revm): skip gas adjustment for system calls to preserve zero-gas invariant
fgimenez
committed
fix(revm): fold Tempo state gas into initial_total_gas to prevent underflow in revm's execution/first_frame_input subtraction
fgimenez
committed

Commits on Mar 30, 2026