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

Open

anvacaru wants to merge 47 commits into

Commits on Jul 24, 2026

kproj/{schedule,evm}.md, kevm_pyk/{gst_to_kore,cli}.py: define the Amsterdam (Glamsterdam EL) schedule
anvacaru
committed
6ea0fa6
kproj/{evm,state-utils,serialization,driver}.md, kevm_pyk/gst_to_kore.py: parse Amsterdam block header (blockAccessListHash, slotNumber); discard receipts/blockAccessList fixture keys in the harness
anvacaru
committed
a13da59
tests/execution-spec-tests: pin fixtures to tests-glamsterdam-devnet@v7.2.0 from ethereum/execution-specs
anvacaru
committed
16ac866
kproj/schedule.md: add amsterdam blob schedule constants (target 14 / max 21 / fraction 11684671)

anvacaru
and
claude
committed
d3dfcac
kevm-pyk/src/tests/utils.py: tolerate blank lines in skip-list files
anvacaru
committed
eb96e6e
kproj/evm.md, kevm_pyk/gst_to_kore.py: drop narrative comments
anvacaru
committed
2c85203
update script description
anvacaru
committed
7524832
tests/execution-spec-tests/failing.llvm: sort failing fixtures
anvacaru
committed
cd82c58
schedule.md: align schedule vars
anvacaru
committed
2fbd62f
cleanups
anvacaru
committed
3c03c06

Commits on Jul 27, 2026

Commits on Aug 27, 2026

Merge branch 'master' into amsterdam-foundation
palinatolmach
authored
9f57f84
bump the suite version
anvacaru
committed
d895164
Merge remote-tracking branch 'origin/master' into amsterdam-foundation
anvacaru
committed
bda4a5a
kproj/evm.md: give system-contract calls the eip-8037 state-gas reservoir

anvacaru
and
claude
committed
a77b7a6
add implementation for eip-8038
anvacaru
committed
d7ca663
Merge branch 'amsterdam-foundation' into eip-8037
anvacaru
committed
f29a9e4
update .expected golden files
anvacaru
committed
632c7d7
slow.llvm: skip large tests, 25MB and 4.8MB, passing locally
anvacaru
committed
857000d

Commits on Aug 28, 2026

update slow and failing llvm files
anvacaru
committed
8bea68a
Merge branch 'amsterdam-foundation' into eip-8037
anvacaru
committed
48ea4be
update golden expected files
anvacaru
committed
f67eeaf

Commits on Aug 30, 2026

refactor create state gas in its own production
anvacaru
committed
06e7077
update kontrol proof specs
anvacaru
committed
81a805b

Commits on Sep 8, 2026

Merge remote-tracking branch 'origin/master' into eip-8037
anvacaru
committed
ac226e1
failing.llvm: update failing tests
anvacaru
committed
efc0282

Commits on Sep 9, 2026

kproj/evm.md: gate the eip-8037 SSTORE state-gas path on Ghasstategas

anvacaru
and
claude
committed
0fb228a
kproj/schedule.md: Amsterdam create-transaction intrinsic is 24000

anvacaru
and
claude
committed
1b9427e
kproj/evm.md: do not wedge on a top-frame dispatch-charge OOG

anvacaru
and
claude
committed
3637b3f
kevm-pyk/summarizer.py, kproj/summaries/sstore-summary.k: summarise SSTORE without state gas; regenerate

anvacaru
and
claude
committed
ad75ce4
failing.llvm: update failing tests
anvacaru
committed
b4ed29a
factor out eip-2780-related logic
anvacaru
committed
130ffeb
Merge remote-tracking branch 'origin/master' into eip-8037
anvacaru
committed
e6b8f67
formatting
anvacaru
committed
d855357
remove SstoreStateGas simplification lemmas in favor of rewrite rules
anvacaru
committed
0ece2c2
Merge branch 'master' into eip-8037
anvacaru
authored
390f103

Commits on Sep 10, 2026

remove concrete tags from the SstoreStateGas rules
anvacaru
committed
ca3d12b