archived snapshot 2026-11-05T03:25:13Z, 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.
Client PRs matched by title, not a verdict
open and merged PRs whose title names EIP-7906; merged ones since the last 60 days
| Nethermind | not collected in this snapshot |
|---|---|
| Geth | not collected in this snapshot |
| Reth | not collected in this snapshot |
| ethrex | not collected in this snapshot |
| Besu | not collected in this snapshot |
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
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
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
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
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
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