archived snapshot 2026-11-06T11:28:58Z, shown with the current code and proofs · latest data · all snapshots
Status / EIP-7906
Clients open a cell for the why, the three checks and the evidence
EELS to do update tests to EIP version 9099f412 EIP diff
EELS v2.0.0 tests EIP commit 25ac2920; the EIP changed 1 time since, newest 9099f412 on 2026-10-27.
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-10-27
9099f412Update EIP-7906: say where storage-kept nonce changes appear proventests: not updated to this text. EELS v2.0.0 still tests the text from 2026-10-23 (25ac2920).proven a mutant undoes the change; in EELS v2.0.0 it fails 1 of 184 cases (2026-11-03)baseline184/184 passwith mutant183/184 passkilled1test_sender_nonce_change[fork_Bogota-blockchain_test_engine_from_state_test-keyed_nonce]
EELStests-bogota-devnet@v2.0.0ca8c6094commandpython -m eipproof.cli prove 7906 9099f412 --eels <execution-specs at tests-bogota-devnet@v2.0.0> --tests tests/bogota/eip7906_transaction_assertions --mutant proofs/7906-9099f412.patch -n 8- 2026-10-23
25ac2920Update EIP-7906: remove reference to txparam 0x06 EELS v2.0.0 implements this texttests: EELS PR #3895 pinned this text on 2026-10-27, test files test_assert_frame_execution.py, test_assert_frame_failure.py, test_diff_gas_and_access.py and 5 more · first release v2.0.0 · run against it: Nethermind, Geth, Reth, ethrex - tests: no EELS release tests this text.
- 2026-10-20
845c9c8cUpdate EIP-7906: include tx.sender in nonces_changed only when its account nonce changes oldertests: no EELS release tests this text. - tests: no EELS release tests this text.
- tests: no EELS release tests this text.
- 2026-10-15
7ef3b6bfUpdate EIP-7906: state the POST_TX rollback point via the EIP-8141 validation prefix oldertests: no EELS release tests this text. - 2026-10-09
4be9e59fUpdate EIP-7906: specify block-level access list recording for TXDIFF and POST_TX rollback older - tests: no EELS release tests this text.
- tests: EELS PR #3730 pinned this text on 2026-10-27, test files test_diff_gas_and_access.py, test_diff_halts.py, test_post_tx_execution.py and 5 more · a later EELS pin replaced it before any release, so no client ran it
- tests: no EELS release tests this text.
- tests: no EELS release tests this text.
Open EIP PRs 7 not merged, not counted
open PRs in EIPs and execution-specs that name this EIP; shown for reference, they never change a verdict
- EIPs#12304 Update EIP-7906: add ASSERT_EXEMPT frame flag
- EIPs#11199 Update EIP-7906: correct CALL opcode
- EIPs#11072 Update EIP-7906: fix CALL opcode value
- EIPs#10972 Update EIP-7906: correct CALL opcode value from 0xFA to 0xF1
- EIPs#10899 Update EIP-7906: correct CALL opcode
- EIPs#11267 Update EIP-7906: fix typos
- execution-specs#3923 feat(test-forks,tests): list the EIP-7906 instructions as valid opcodes from Bogota
Code and PRs
code merged: at least 2 files on the default branch name EIP-7906 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 51 files on master name the EIP, 6 merged PRs, 5 open or unlanded PRs #14423 open #15210 merged #15033 not on default branch +8 more |
|---|---|
| Geth EL | no named code or PR no file on master and no PR title names the EIP |
| Reth EL | no named code or PR no file on main and no PR title names the EIP |
| ethrex EL | PR open 1 open or unlanded PR #6891 open |
| Besu EL | PR open 1 open or unlanded PR #11784 open |
EIP-7906 · Nethermind
Transaction Assertions via State Diff Opcode
184/184pass 184/184bogota-devnet-2
All 184 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.
Next nothing to do
Three checks
Spec changeproven
Test proofok
change
9099f412 2026-10-27 Update EIP-7906: say where storage-kept nonce changes appear proven+ An address appears in `nonces_changed` when its nonce at the time of the `TXTRACE` call differs from its nonce at transaction start. An account that does not exist counts as having nonce `0`. The table includes `tx.sender` whenever `APPROVE` increments its account nonce in the validation prefix, and also includes any account that executed `CREATE` or `CREATE2` and any contract the transaction created. If a transaction's replay protection is kept in contract storage instead of the account nonce, `APPROVE` writes that storage, and the write appears in `slots_changed` rather than in `nonces_changed`.
proven a mutant undoes the change; in EELS v2.0.0 it fails 1 of 184 cases (2026-11-03)
baseline184/184 pass
with mutant183/184 pass
killed1
test_sender_nonce_change[fork_Bogota-blockchain_test_engine_from_state_test-keyed_nonce]
EELStests-bogota-devnet@v2.0.0
ca8c6094command
python -m eipproof.cli prove 7906 9099f412 --eels <execution-specs at tests-bogota-devnet@v2.0.0> --tests tests/bogota/eip7906_transaction_assertions --mutant proofs/7906-9099f412.patch -n 8Client runok
Open EIP PRs 7 not merged, not counted
- EIPs#12304 Update EIP-7906: add ASSERT_EXEMPT frame flag
- EIPs#11199 Update EIP-7906: correct CALL opcode
- EIPs#11072 Update EIP-7906: fix CALL opcode value
- EIPs#10972 Update EIP-7906: correct CALL opcode value from 0xFA to 0xF1
- EIPs#10899 Update EIP-7906: correct CALL opcode
- EIPs#11267 Update EIP-7906: fix typos
- execution-specs#3923 feat(test-forks,tests): list the EIP-7906 instructions as valid opcodes from Bogota
EIP-7906 · Geth
Transaction Assertions via State Diff Opcode
184/184pass 184/184bogota-devnet-2
All 184 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.
Next nothing to do
Three checks
Spec changeproven
Test proofok
change
9099f412 2026-10-27 Update EIP-7906: say where storage-kept nonce changes appear proven+ An address appears in `nonces_changed` when its nonce at the time of the `TXTRACE` call differs from its nonce at transaction start. An account that does not exist counts as having nonce `0`. The table includes `tx.sender` whenever `APPROVE` increments its account nonce in the validation prefix, and also includes any account that executed `CREATE` or `CREATE2` and any contract the transaction created. If a transaction's replay protection is kept in contract storage instead of the account nonce, `APPROVE` writes that storage, and the write appears in `slots_changed` rather than in `nonces_changed`.
proven a mutant undoes the change; in EELS v2.0.0 it fails 1 of 184 cases (2026-11-03)
baseline184/184 pass
with mutant183/184 pass
killed1
test_sender_nonce_change[fork_Bogota-blockchain_test_engine_from_state_test-keyed_nonce]
EELStests-bogota-devnet@v2.0.0
ca8c6094command
python -m eipproof.cli prove 7906 9099f412 --eels <execution-specs at tests-bogota-devnet@v2.0.0> --tests tests/bogota/eip7906_transaction_assertions --mutant proofs/7906-9099f412.patch -n 8Client runok
Open EIP PRs 7 not merged, not counted
- EIPs#12304 Update EIP-7906: add ASSERT_EXEMPT frame flag
- EIPs#11199 Update EIP-7906: correct CALL opcode
- EIPs#11072 Update EIP-7906: fix CALL opcode value
- EIPs#10972 Update EIP-7906: correct CALL opcode value from 0xFA to 0xF1
- EIPs#10899 Update EIP-7906: correct CALL opcode
- EIPs#11267 Update EIP-7906: fix typos
- execution-specs#3923 feat(test-forks,tests): list the EIP-7906 instructions as valid opcodes from Bogota
EIP-7906 · Reth
Transaction Assertions via State Diff Opcode
184/184pass 184/184bogota-devnet-2
All 184 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.
Next nothing to do
Three checks
Spec changeproven
Test proofok
change
9099f412 2026-10-27 Update EIP-7906: say where storage-kept nonce changes appear proven+ An address appears in `nonces_changed` when its nonce at the time of the `TXTRACE` call differs from its nonce at transaction start. An account that does not exist counts as having nonce `0`. The table includes `tx.sender` whenever `APPROVE` increments its account nonce in the validation prefix, and also includes any account that executed `CREATE` or `CREATE2` and any contract the transaction created. If a transaction's replay protection is kept in contract storage instead of the account nonce, `APPROVE` writes that storage, and the write appears in `slots_changed` rather than in `nonces_changed`.
proven a mutant undoes the change; in EELS v2.0.0 it fails 1 of 184 cases (2026-11-03)
baseline184/184 pass
with mutant183/184 pass
killed1
test_sender_nonce_change[fork_Bogota-blockchain_test_engine_from_state_test-keyed_nonce]
EELStests-bogota-devnet@v2.0.0
ca8c6094command
python -m eipproof.cli prove 7906 9099f412 --eels <execution-specs at tests-bogota-devnet@v2.0.0> --tests tests/bogota/eip7906_transaction_assertions --mutant proofs/7906-9099f412.patch -n 8Client runok
Open EIP PRs 7 not merged, not counted
- EIPs#12304 Update EIP-7906: add ASSERT_EXEMPT frame flag
- EIPs#11199 Update EIP-7906: correct CALL opcode
- EIPs#11072 Update EIP-7906: fix CALL opcode value
- EIPs#10972 Update EIP-7906: correct CALL opcode value from 0xFA to 0xF1
- EIPs#10899 Update EIP-7906: correct CALL opcode
- EIPs#11267 Update EIP-7906: fix typos
- execution-specs#3923 feat(test-forks,tests): list the EIP-7906 instructions as valid opcodes from Bogota
EIP-7906 · ethrex
Transaction Assertions via State Diff Opcode
184/184pass 184/184bogota-devnet-2
All 184 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.
Next nothing to do
Three checks
Spec changeproven
Test proofok
change
9099f412 2026-10-27 Update EIP-7906: say where storage-kept nonce changes appear proven+ An address appears in `nonces_changed` when its nonce at the time of the `TXTRACE` call differs from its nonce at transaction start. An account that does not exist counts as having nonce `0`. The table includes `tx.sender` whenever `APPROVE` increments its account nonce in the validation prefix, and also includes any account that executed `CREATE` or `CREATE2` and any contract the transaction created. If a transaction's replay protection is kept in contract storage instead of the account nonce, `APPROVE` writes that storage, and the write appears in `slots_changed` rather than in `nonces_changed`.
proven a mutant undoes the change; in EELS v2.0.0 it fails 1 of 184 cases (2026-11-03)
baseline184/184 pass
with mutant183/184 pass
killed1
test_sender_nonce_change[fork_Bogota-blockchain_test_engine_from_state_test-keyed_nonce]
EELStests-bogota-devnet@v2.0.0
ca8c6094command
python -m eipproof.cli prove 7906 9099f412 --eels <execution-specs at tests-bogota-devnet@v2.0.0> --tests tests/bogota/eip7906_transaction_assertions --mutant proofs/7906-9099f412.patch -n 8Client runok
Open EIP PRs 7 not merged, not counted
- EIPs#12304 Update EIP-7906: add ASSERT_EXEMPT frame flag
- EIPs#11199 Update EIP-7906: correct CALL opcode
- EIPs#11072 Update EIP-7906: fix CALL opcode value
- EIPs#10972 Update EIP-7906: correct CALL opcode value from 0xFA to 0xF1
- EIPs#10899 Update EIP-7906: correct CALL opcode
- EIPs#11267 Update EIP-7906: fix typos
- execution-specs#3923 feat(test-forks,tests): list the EIP-7906 instructions as valid opcodes from Bogota
EIP-7906 · Besu
Transaction Assertions via State Diff Opcode
299/305old tests v1.1.1bogota-devnet-1
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 299/305 is shown but does not count. Next: run v2.0.0.
Next run v2.0.0 · owner Besu
Failed cases 6
test_post_tx_static_rules[fork_Bogota-blockchain_test_engine_from_state_test-verify_after_post_tx]test_post_tx_static_rules[fork_Bogota-blockchain_test_engine_from_state_test-post_tx_with_atomic_batch_flag]test_post_tx_static_rules[fork_Bogota-blockchain_test_engine_from_state_test-batch_ends_on_post_tx]test_post_tx_static_rules[fork_Bogota-blockchain_test_engine_from_state_test-failing_batch_skips_assertion]test_post_tx_static_rules[fork_Bogota-blockchain_test_engine_from_state_test-default_after_post_tx]test_post_tx_static_rules[fork_Bogota-blockchain_test_engine_from_state_test-sender_after_post_tx]
Three checks
Spec changeuntested
Test proofn/a
n/a: this run used old tests, so proofs for the current tests do not apply.
Client runold tests
Open EIP PRs 7 not merged, not counted
- EIPs#12304 Update EIP-7906: add ASSERT_EXEMPT frame flag
- EIPs#11199 Update EIP-7906: correct CALL opcode
- EIPs#11072 Update EIP-7906: fix CALL opcode value
- EIPs#10972 Update EIP-7906: correct CALL opcode value from 0xFA to 0xF1
- EIPs#10899 Update EIP-7906: correct CALL opcode
- EIPs#11267 Update EIP-7906: fix typos
- execution-specs#3923 feat(test-forks,tests): list the EIP-7906 instructions as valid opcodes from Bogota
EIP-7906 · EELS
Transaction Assertions via State Diff Opcode
provenspec changes proven1 since the EELS pin
EELS v2.0.0 tests EIP commit 25ac2920; the EIP changed 1 time since, newest 9099f412 on 2026-10-27.
Next update tests to EIP version 9099f412 · owner EELS
spec changes proven1 of 1 since the EELS pin
proven
9099f412 Update EIP-7906: say where storage-kept nonce changes appear