Clients open a cell for the why, the three checks and the evidence
Spec changes and their tests newest first; each EIP commit, the EELS change that pinned it, its first release and the client runs on it
2026-11-01
dc5d5fa6Update EIP-8141: Transaction nonce check boundary proventests: not updated to this text. EELS v2.0.0 still tests the text from 2026-10-25 (7372d10a).proven a mutant undoes the change; in EELS v2.0.0 it fails 1 of 307 cases (2026-11-03)baseline307/307 passwith mutant306/307 passkilled1test_invalid_tx_fields[fork_Bogota-blockchain_test_engine_from_state_test-nonce_overflow]
EELStests-bogota-devnet@v2.0.0ca8c6094commandpython -m eipproof.cli prove 8141 dc5d5fa6 --eels <execution-specs at tests-bogota-devnet@v2.0.0> --tests tests/bogota/eip8141_frame_transactions --mutant proofs/8141-dc5d5fa6.patch -n 8- 2026-10-25
7372d10aUpdate EIP-8141: charge the EIP-8037 legacy share as extra execution gas" EELS v2.0.0 implements this texttests: EELS PR #3892 pinned this text on 2026-10-24, test files test_admission_validity.py, test_blob_introspection.py, test_block_access_lists.py and 4 more · first release v2.0.0 · run against it: Nethermind, Geth, Reth, ethrex - tests: no EELS release tests this text.
- tests: EELS PR #3892 pinned this text on 2026-10-24, test files test_admission_validity.py, test_blob_introspection.py, test_block_access_lists.py and 4 more · first release v2.0.0 · run against it: Nethermind, Geth, Reth, ethrex
- tests: no EELS release tests this text.
- tests: no EELS release tests this text.
- tests: no EELS release tests this text.
- 2026-10-09
af3a7802Update EIP-8141: define the validation prefix and execution body under Behavior older - tests: EELS PR #3757 pinned this text on 2026-10-24, test files test_frame_transactions.py, test_state_gas.py · a later EELS pin replaced it before any release, so no client ran it
- tests: no EELS release tests this text.
- tests: EELS PR #3739 pinned this text on 2026-10-24 · a later EELS pin replaced it before any release, so no client ran it
- 2026-10-06
88fa3e4dUpdate EIP-8141: deploy frames expiry verifier as standard contract (#12387) oldertests: EELS PR #3729 pinned this text on 2026-10-24, test files test_contract_deployment.py, test_expiry_verifier.py, test_fork_transition.py and 1 more · a later EELS pin replaced it before any release, so no client ran it
Open EIP PRs 22 not merged, not counted
open PRs in EIPs and execution-specs that name this EIP; shown for reference, they never change a verdict
- EIPs#12617 Update EIP-8141: exclude calldata cost from MAX_VERIFY_GAS
- EIPs#12616 Update EIP-8141: add lean sphincs
- EIPs#12596 Update EIP-8141: clarify EXTCODEHASH restrictions for precompiles
- EIPs#12506 Update EIP-8141: set code from the default code in SENDER mode
- EIPs#12588 Update EIP-8141: charge the EIP-8037 legacy share as extra execution gas
- EIPs#12559 Update EIP-8141: price frame and signature entries at the floor
- EIPs#12321 Update EIP-8141: define early rejection and payer revalidation rules
- EIPs#12537 Update EIP-8141: explain gas refunds and block limits
- EIPs#12505 Update EIP-8141: Check signer key authority
- EIPs#12494 Update EIP-8141: clarify transient storage and deploy targets in trace rules
- EIPs#12301 Update EIP-8141: define MAX_VERIFY_GAS as a shared mempool floor
- EIPs#12041 Update EIP-8141: assembled canonical paymaster reference bytecode
- EIPs#12252 Update EIP-8141: add valid_after to the expiry verifier frame
- execution-specs#3957 feat(spec-specs): add EIP-8141 LEANSPHINCS signature scheme from ethereum/EIPs#12616
- execution-specs#3956 ✨ feat(tests): EIP-8141 extend secp r coverage
- execution-specs#3954 ✨ feat(tests): EIP-8141 Extend expiry flag coverage
- execution-specs#3947 feat(tests): add EIP-8141 APPROVE edge case and balance tests
- execution-specs#3936 feat(spec-specs,test-forks,tests): implement EIP-8141 frame transactions
- execution-specs#3902 refactor(tests): price EIP-8141 state slots through a StateSlot helper
- execution-specs#3900 refactor(tests): drop the EIP-8141 signature entries the helpers derive
- execution-specs#3899 refactor(tests): fold the EIP-8141 warmth probe into one object
- execution-specs#3856 feat(test-execution, test-forks, tests): add EIP-8141 public mempool tests
Code and PRs
code merged: at least 2 files on the default branch name EIP-8141 in path or contents, or a merged PR whose title names it; spec changed since: a spec change after the last merged PR; PRs merged since 2026-09-07; a hint from names, it never changes a test verdict
| Nethermind EL | code merged 215 files on master name the EIP, 19 merged PRs, 116 open or unlanded PRs #15648 open #12612 open #15646 merged +132 more |
|---|---|
| Geth EL | PR open 4 open or unlanded PRs #35833 open #35832 open #35831 open +1 more |
| Reth EL | PR open 4 open or unlanded PRs #27640 not on default branch #27639 not on default branch #27439 not on default branch +1 more |
| ethrex EL | code merged 33 files on main name the EIP, 6 open or unlanded PRs #7108 open #7075 open #7061 open +3 more |
| Besu EL | PR open 7 open or unlanded PRs #11743 open #11742 open #11741 open +4 more |
All 307 tests for this EIP passed on v2.0.0. The EIP text changed 1 time since the version EELS implements. For each change, a spec with the change undone fails 1 case in EELS, and those cases pass here.
Three checks
dc5d5fa6 2026-11-01 Update EIP-8141: Transaction nonce check boundary proventest_invalid_tx_fields[fork_Bogota-blockchain_test_engine_from_state_test-nonce_overflow]
ca8c6094python -m eipproof.cli prove 8141 dc5d5fa6 --eels <execution-specs at tests-bogota-devnet@v2.0.0> --tests tests/bogota/eip8141_frame_transactions --mutant proofs/8141-dc5d5fa6.patch -n 8Open EIP PRs 22 not merged, not counted
- EIPs#12617 Update EIP-8141: exclude calldata cost from MAX_VERIFY_GAS
- EIPs#12616 Update EIP-8141: add lean sphincs
- EIPs#12596 Update EIP-8141: clarify EXTCODEHASH restrictions for precompiles
- EIPs#12506 Update EIP-8141: set code from the default code in SENDER mode
- EIPs#12588 Update EIP-8141: charge the EIP-8037 legacy share as extra execution gas
- EIPs#12559 Update EIP-8141: price frame and signature entries at the floor
- EIPs#12321 Update EIP-8141: define early rejection and payer revalidation rules
- EIPs#12537 Update EIP-8141: explain gas refunds and block limits
- EIPs#12505 Update EIP-8141: Check signer key authority
- EIPs#12494 Update EIP-8141: clarify transient storage and deploy targets in trace rules
- EIPs#12301 Update EIP-8141: define MAX_VERIFY_GAS as a shared mempool floor
- EIPs#12041 Update EIP-8141: assembled canonical paymaster reference bytecode
- EIPs#12252 Update EIP-8141: add valid_after to the expiry verifier frame
- execution-specs#3957 feat(spec-specs): add EIP-8141 LEANSPHINCS signature scheme from ethereum/EIPs#12616
- execution-specs#3956 ✨ feat(tests): EIP-8141 extend secp r coverage
- execution-specs#3954 ✨ feat(tests): EIP-8141 Extend expiry flag coverage
- execution-specs#3947 feat(tests): add EIP-8141 APPROVE edge case and balance tests
- execution-specs#3936 feat(spec-specs,test-forks,tests): implement EIP-8141 frame transactions
- execution-specs#3902 refactor(tests): price EIP-8141 state slots through a StateSlot helper
- execution-specs#3900 refactor(tests): drop the EIP-8141 signature entries the helpers derive
- execution-specs#3899 refactor(tests): fold the EIP-8141 warmth probe into one object
- execution-specs#3856 feat(test-execution, test-forks, tests): add EIP-8141 public mempool tests
All 307 tests for this EIP passed on v2.0.0. The EIP text changed 1 time since the version EELS implements. For each change, a spec with the change undone fails 1 case in EELS, and those cases pass here.
Three checks
dc5d5fa6 2026-11-01 Update EIP-8141: Transaction nonce check boundary proventest_invalid_tx_fields[fork_Bogota-blockchain_test_engine_from_state_test-nonce_overflow]
ca8c6094python -m eipproof.cli prove 8141 dc5d5fa6 --eels <execution-specs at tests-bogota-devnet@v2.0.0> --tests tests/bogota/eip8141_frame_transactions --mutant proofs/8141-dc5d5fa6.patch -n 8Open EIP PRs 22 not merged, not counted
- EIPs#12617 Update EIP-8141: exclude calldata cost from MAX_VERIFY_GAS
- EIPs#12616 Update EIP-8141: add lean sphincs
- EIPs#12596 Update EIP-8141: clarify EXTCODEHASH restrictions for precompiles
- EIPs#12506 Update EIP-8141: set code from the default code in SENDER mode
- EIPs#12588 Update EIP-8141: charge the EIP-8037 legacy share as extra execution gas
- EIPs#12559 Update EIP-8141: price frame and signature entries at the floor
- EIPs#12321 Update EIP-8141: define early rejection and payer revalidation rules
- EIPs#12537 Update EIP-8141: explain gas refunds and block limits
- EIPs#12505 Update EIP-8141: Check signer key authority
- EIPs#12494 Update EIP-8141: clarify transient storage and deploy targets in trace rules
- EIPs#12301 Update EIP-8141: define MAX_VERIFY_GAS as a shared mempool floor
- EIPs#12041 Update EIP-8141: assembled canonical paymaster reference bytecode
- EIPs#12252 Update EIP-8141: add valid_after to the expiry verifier frame
- execution-specs#3957 feat(spec-specs): add EIP-8141 LEANSPHINCS signature scheme from ethereum/EIPs#12616
- execution-specs#3956 ✨ feat(tests): EIP-8141 extend secp r coverage
- execution-specs#3954 ✨ feat(tests): EIP-8141 Extend expiry flag coverage
- execution-specs#3947 feat(tests): add EIP-8141 APPROVE edge case and balance tests
- execution-specs#3936 feat(spec-specs,test-forks,tests): implement EIP-8141 frame transactions
- execution-specs#3902 refactor(tests): price EIP-8141 state slots through a StateSlot helper
- execution-specs#3900 refactor(tests): drop the EIP-8141 signature entries the helpers derive
- execution-specs#3899 refactor(tests): fold the EIP-8141 warmth probe into one object
- execution-specs#3856 feat(test-execution, test-forks, tests): add EIP-8141 public mempool tests
All 307 tests for this EIP passed on v2.0.0. The EIP text changed 1 time since the version EELS implements. For each change, a spec with the change undone fails 1 case in EELS, and those cases pass here.
Three checks
dc5d5fa6 2026-11-01 Update EIP-8141: Transaction nonce check boundary proventest_invalid_tx_fields[fork_Bogota-blockchain_test_engine_from_state_test-nonce_overflow]
ca8c6094python -m eipproof.cli prove 8141 dc5d5fa6 --eels <execution-specs at tests-bogota-devnet@v2.0.0> --tests tests/bogota/eip8141_frame_transactions --mutant proofs/8141-dc5d5fa6.patch -n 8Open EIP PRs 22 not merged, not counted
- EIPs#12617 Update EIP-8141: exclude calldata cost from MAX_VERIFY_GAS
- EIPs#12616 Update EIP-8141: add lean sphincs
- EIPs#12596 Update EIP-8141: clarify EXTCODEHASH restrictions for precompiles
- EIPs#12506 Update EIP-8141: set code from the default code in SENDER mode
- EIPs#12588 Update EIP-8141: charge the EIP-8037 legacy share as extra execution gas
- EIPs#12559 Update EIP-8141: price frame and signature entries at the floor
- EIPs#12321 Update EIP-8141: define early rejection and payer revalidation rules
- EIPs#12537 Update EIP-8141: explain gas refunds and block limits
- EIPs#12505 Update EIP-8141: Check signer key authority
- EIPs#12494 Update EIP-8141: clarify transient storage and deploy targets in trace rules
- EIPs#12301 Update EIP-8141: define MAX_VERIFY_GAS as a shared mempool floor
- EIPs#12041 Update EIP-8141: assembled canonical paymaster reference bytecode
- EIPs#12252 Update EIP-8141: add valid_after to the expiry verifier frame
- execution-specs#3957 feat(spec-specs): add EIP-8141 LEANSPHINCS signature scheme from ethereum/EIPs#12616
- execution-specs#3956 ✨ feat(tests): EIP-8141 extend secp r coverage
- execution-specs#3954 ✨ feat(tests): EIP-8141 Extend expiry flag coverage
- execution-specs#3947 feat(tests): add EIP-8141 APPROVE edge case and balance tests
- execution-specs#3936 feat(spec-specs,test-forks,tests): implement EIP-8141 frame transactions
- execution-specs#3902 refactor(tests): price EIP-8141 state slots through a StateSlot helper
- execution-specs#3900 refactor(tests): drop the EIP-8141 signature entries the helpers derive
- execution-specs#3899 refactor(tests): fold the EIP-8141 warmth probe into one object
- execution-specs#3856 feat(test-execution, test-forks, tests): add EIP-8141 public mempool tests
All 307 tests for this EIP passed on v2.0.0. The EIP text changed 1 time since the version EELS implements. For each change, a spec with the change undone fails 1 case in EELS, and those cases pass here.
Three checks
dc5d5fa6 2026-11-01 Update EIP-8141: Transaction nonce check boundary proventest_invalid_tx_fields[fork_Bogota-blockchain_test_engine_from_state_test-nonce_overflow]
ca8c6094python -m eipproof.cli prove 8141 dc5d5fa6 --eels <execution-specs at tests-bogota-devnet@v2.0.0> --tests tests/bogota/eip8141_frame_transactions --mutant proofs/8141-dc5d5fa6.patch -n 8Open EIP PRs 22 not merged, not counted
- EIPs#12617 Update EIP-8141: exclude calldata cost from MAX_VERIFY_GAS
- EIPs#12616 Update EIP-8141: add lean sphincs
- EIPs#12596 Update EIP-8141: clarify EXTCODEHASH restrictions for precompiles
- EIPs#12506 Update EIP-8141: set code from the default code in SENDER mode
- EIPs#12588 Update EIP-8141: charge the EIP-8037 legacy share as extra execution gas
- EIPs#12559 Update EIP-8141: price frame and signature entries at the floor
- EIPs#12321 Update EIP-8141: define early rejection and payer revalidation rules
- EIPs#12537 Update EIP-8141: explain gas refunds and block limits
- EIPs#12505 Update EIP-8141: Check signer key authority
- EIPs#12494 Update EIP-8141: clarify transient storage and deploy targets in trace rules
- EIPs#12301 Update EIP-8141: define MAX_VERIFY_GAS as a shared mempool floor
- EIPs#12041 Update EIP-8141: assembled canonical paymaster reference bytecode
- EIPs#12252 Update EIP-8141: add valid_after to the expiry verifier frame
- execution-specs#3957 feat(spec-specs): add EIP-8141 LEANSPHINCS signature scheme from ethereum/EIPs#12616
- execution-specs#3956 ✨ feat(tests): EIP-8141 extend secp r coverage
- execution-specs#3954 ✨ feat(tests): EIP-8141 Extend expiry flag coverage
- execution-specs#3947 feat(tests): add EIP-8141 APPROVE edge case and balance tests
- execution-specs#3936 feat(spec-specs,test-forks,tests): implement EIP-8141 frame transactions
- execution-specs#3902 refactor(tests): price EIP-8141 state slots through a StateSlot helper
- execution-specs#3900 refactor(tests): drop the EIP-8141 signature entries the helpers derive
- execution-specs#3899 refactor(tests): fold the EIP-8141 warmth probe into one object
- execution-specs#3856 feat(test-execution, test-forks, tests): add EIP-8141 public mempool tests
Besu's newest run used tests v1.1.1, but the newest EELS release is v2.0.0. Old tests do not check the current spec, so the old 259/266 is shown but does not count. Next: run v2.0.0.
Failed cases 7
test_frame_and_blob_txs_against_the_block_blob_limit[fork_Bogota-blockchain_test_engine-blob_tx_last-above_limit]test_frame_and_blob_txs_against_the_block_blob_limit[fork_Bogota-blockchain_test_engine-frame_tx_last-above_limit]test_reject_frame_tx_network_wrapper_in_block[fork_Bogota-blockchain_test_engine]test_frame_constraints[fork_Bogota-blockchain_test_engine_from_state_test-frame_state_gas_above_64_bits]test_frame_constraints[fork_Bogota-blockchain_test_engine_from_state_test-frame_gas_above_64_bits]test_invalid_tx_fields[fork_Bogota-blockchain_test_engine_from_state_test-max_fee_overflow]test_invalid_tx_fields[fork_Bogota-blockchain_test_engine_from_state_test-priority_fee_overflow]
Three checks
n/a: this run used old tests, so proofs for the current tests do not apply.
Open EIP PRs 22 not merged, not counted
- EIPs#12617 Update EIP-8141: exclude calldata cost from MAX_VERIFY_GAS
- EIPs#12616 Update EIP-8141: add lean sphincs
- EIPs#12596 Update EIP-8141: clarify EXTCODEHASH restrictions for precompiles
- EIPs#12506 Update EIP-8141: set code from the default code in SENDER mode
- EIPs#12588 Update EIP-8141: charge the EIP-8037 legacy share as extra execution gas
- EIPs#12559 Update EIP-8141: price frame and signature entries at the floor
- EIPs#12321 Update EIP-8141: define early rejection and payer revalidation rules
- EIPs#12537 Update EIP-8141: explain gas refunds and block limits
- EIPs#12505 Update EIP-8141: Check signer key authority
- EIPs#12494 Update EIP-8141: clarify transient storage and deploy targets in trace rules
- EIPs#12301 Update EIP-8141: define MAX_VERIFY_GAS as a shared mempool floor
- EIPs#12041 Update EIP-8141: assembled canonical paymaster reference bytecode
- EIPs#12252 Update EIP-8141: add valid_after to the expiry verifier frame
- execution-specs#3957 feat(spec-specs): add EIP-8141 LEANSPHINCS signature scheme from ethereum/EIPs#12616
- execution-specs#3956 ✨ feat(tests): EIP-8141 extend secp r coverage
- execution-specs#3954 ✨ feat(tests): EIP-8141 Extend expiry flag coverage
- execution-specs#3947 feat(tests): add EIP-8141 APPROVE edge case and balance tests
- execution-specs#3936 feat(spec-specs,test-forks,tests): implement EIP-8141 frame transactions
- execution-specs#3902 refactor(tests): price EIP-8141 state slots through a StateSlot helper
- execution-specs#3900 refactor(tests): drop the EIP-8141 signature entries the helpers derive
- execution-specs#3899 refactor(tests): fold the EIP-8141 warmth probe into one object
- execution-specs#3856 feat(test-execution, test-forks, tests): add EIP-8141 public mempool tests
EELS v2.0.0 tests EIP commit 7372d10a; the EIP changed 1 time since, newest dc5d5fa6 on 2026-11-01.
dc5d5fa6 Update EIP-8141: Transaction nonce check boundary