EIP-8037 + EIP-7778: state gas reservoir and refund-free block gas accounting - #2876

Open

anvacaru wants to merge 11 commits into

amsterdam-foundationfrom

Commits on Jul 27, 2026

kproj/{schedule,driver}.md: eip-8037 state-creation gas cost increase (const part)
anvacaru
committed
kproj/schedule.md: add missing Ghasauthbaserefund << DEFAULT >> rule

anvacaru
and
claude
committed
kproj/{evm,gas,driver,schedule,state-utils}.md: implement eip-8037 state gas reservoir mechanism (Wave 1b)

anvacaru
and
claude
committed
kproj/{evm,gas}.md: restructure amsterdam sstore regular gas (eip-8037/8038)

anvacaru
and
claude
committed
kproj/{evm,driver}.md: eip-8037 CREATE new-account OOG halts caller and top-frame state-gas refill on create-tx failure

anvacaru
and
claude
committed
kproj/{evm,driver}.md: charge eip-8037 create new-account state gas before the 63/64 split

anvacaru
and
claude
committed
kproj/{evm,driver}.md: align eip-8037 frame state-gas lifecycle, eip-7702 auth charges, and CALL/SELFDESTRUCT charge sites with EELS

anvacaru
and
claude
committed
kproj/{gas,state-utils}.md: enforce per-tx block-gas-remaining admission on pre-state-gas forks

anvacaru
and
claude
committed
tests/specs: add eip-8037 callState cells to closed-form spec configs
anvacaru
committed
kproj/{evm.md,lemmas/lemmas.k}: make zero state-gas charges symbolic no-ops

anvacaru
and
claude
committed
formatting
anvacaru
committed