archived snapshot 2026-11-06T04:30:35Z, shown with the current code and proofs · latest data · all snapshots
SFI+CFI in Hegotá: 22 EIPs, 8 with EELS tests, 14 without · Networking EIPs (EIP-8077) are out of EELS scopeFailing cases in untracked EIP tests, not counted: Geth 2 Nethermind 1 Reth 48
pass fails old tests, re-run spec change untested no data
How to read
Each cell shows its weakest check. Numbers are tests passed / total for the EIP's test directory on the release the client ran. Open a cell for the three checks: spec change · test proof · client run.
SFI Scheduled for inclusion · CFI Considered for inclusion.
Δ 1 spec changes since the version EELS implements · PR 11 open EIP PRs, not merged, not counted.
Column headers show the test release each client ran; marks a release older than the newest EELS release.
| EIP | Nethermindv2.0.0 | Gethv2.0.0 | Rethv2.0.0 | ethrexv2.0.0 | Besuv1.1.1 old release | EELStests v2.0.0 |
|---|---|---|---|---|---|---|
| by weakest check | 1 untested 7 pass | 1 untested 7 pass | 1 fails 1 untested 6 pass | 1 untested 7 pass | 8 on old tests | |
| 8141 Frame Transaction SFI ScheduledDraft 1 spec changes since EELSPR 13 open EIP PRs, not counted | ||||||
| 7805 Fork-choice enforced Inclusion Lists (FOCIL) SFI ScheduledDraftPR 4 open EIP PRs, not counted | no tests yet no EELS tests at v2.0.0: checked tests/bogota/eip7805_* nothing to do | |||||
| 7906 Transaction Assertions via State Diff Opcode CFI ConsideredDraft 1 spec changes since EELSPR 6 open EIP PRs, not counted | ||||||
| 8250 Keyed Nonces for Frame Transactions CFI ConsideredDraftPR 1 open EIP PRs, not counted | ||||||
| 8151 Account Code Restricted ecRecover CFI ConsideredDraft 1 spec changes since EELSPR 1 open EIP PRs, not counted | ||||||
| 8272 Recent Roots for Frame Transactions CFI ConsideredDraftPR 1 open EIP PRs, not counted | ||||||
| 8298 SETCODEFROM Code Reuse Instruction CFI ConsideredDraft | ||||||
| 4758 Deactivate SELFDESTRUCT CFI ConsideredStagnantPR 1 open EIP PRs, not counted | ||||||
| 8253 Bump nonce of zero-nonce storage accounts CFI ConsideredDraft | ||||||
| 3298 Remove storage-clear refund and refund cap CFI ConsideredDraftPR 2 open EIP PRs, not counted | no tests yet no EELS tests at v2.0.0: checked tests/bogota/eip3298_* nothing to do | |||||
| 5920 PAY opcode CFI ConsideredDraftPR 3 open EIP PRs, not counted | no tests yet no EELS tests at v2.0.0: checked tests/bogota/eip5920_* nothing to do | |||||
| 7668 Remove bloom filters CFI ConsideredStagnant | no tests yet no EELS tests at v2.0.0: checked tests/bogota/eip7668_* nothing to do | |||||
| 7709 Read BLOCKHASH from Storage and Update Cost CFI ConsideredDraft | no tests yet no EELS tests at v2.0.0: checked tests/bogota/eip7709_* nothing to do | |||||
| 7979 Call and Return Opcodes for the EVM CFI ConsideredReviewPR 6 open EIP PRs, not counted | no tests yet no EELS tests at v2.0.0: checked tests/bogota/eip7979_* nothing to do | |||||
| 8015 Remove `deposit` and `eth1data` fields CFI ConsideredDraft | no tests yet no EELS tests at v2.0.0: checked tests/bogota/eip8015_* nothing to do | |||||
| 8077 eth/XX - announce transactions with nonce CFI ConsideredDraft | no tests yet no EELS tests at v2.0.0: checked tests/bogota/eip8077_* nothing to do | |||||
| 8116 Replace cumulative receipt fields CFI ConsideredDraftPR 2 open EIP PRs, not counted | no tests yet no EELS tests at v2.0.0: checked tests/bogota/eip8116_* nothing to do | |||||
| 8131 Unified Transaction Content Floor CFI ConsideredDraftPR 2 open EIP PRs, not counted | no tests yet no EELS tests at v2.0.0: checked tests/bogota/eip8131_* nothing to do | |||||
| 8163 Reserve `EXTENSION (0xae)` opcode CFI ConsideredReview | no tests yet no EELS tests at v2.0.0: checked tests/bogota/eip8163_* nothing to do | |||||
| 8198 Quick Slots CFI ConsideredDraftPR 1 open EIP PRs, not counted | no tests yet no EELS tests at v2.0.0: checked tests/bogota/eip8198_* nothing to do | |||||
| 8279 Block Access List Byte Floor CFI ConsideredDraftPR 1 open EIP PRs, not counted | no tests yet no EELS tests at v2.0.0: checked tests/bogota/eip8279_* nothing to do | |||||
| 8360 TCREATE Opcode CFI ConsideredDraftPR 1 open EIP PRs, not counted | no tests yet no EELS tests at v2.0.0: checked tests/bogota/eip8360_* nothing to do | |||||
No rows match. Clear the EIP search or "Hide passing rows".
EIP-8141 · EELS
Frame Transaction
provenspec changes proven1 since the EELS pin
EELS v2.0.0 tests EIP commit 7372d10a; the EIP changed 1 time since, newest dc5d5fa6 on 2026-11-01.
Next update tests to EIP version dc5d5fa6 · owner EELS
spec changes proven1 of 1 since the EELS pin
proven
dc5d5fa6 Update EIP-8141: Transaction nonce check boundaryEIP-8141 · Nethermind
Frame Transaction
307/307pass 307/307bogota-devnet-2
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.
Next nothing to do
Three checks
Spec changeproven
Test proofok
change
dc5d5fa6 2026-11-01 Update EIP-8141: Transaction nonce check boundary proven+ assert tx.nonce < 2**64 - 1
proven a mutant undoes the change; in EELS v2.0.0 it fails 1 of 307 cases (2026-11-03)
baseline307/307 pass
with mutant306/307 pass
killed1
test_invalid_tx_fields[fork_Bogota-blockchain_test_engine_from_state_test-nonce_overflow]
EELStests-bogota-devnet@v2.0.0
ca8c6094command
python -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 8Client runok
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
EIP-8141 · Geth
Frame Transaction
307/307pass 307/307bogota-devnet-2
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.
Next nothing to do
Three checks
Spec changeproven
Test proofok
change
dc5d5fa6 2026-11-01 Update EIP-8141: Transaction nonce check boundary proven+ assert tx.nonce < 2**64 - 1
proven a mutant undoes the change; in EELS v2.0.0 it fails 1 of 307 cases (2026-11-03)
baseline307/307 pass
with mutant306/307 pass
killed1
test_invalid_tx_fields[fork_Bogota-blockchain_test_engine_from_state_test-nonce_overflow]
EELStests-bogota-devnet@v2.0.0
ca8c6094command
python -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 8Client runok
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
EIP-8141 · Reth
Frame Transaction
307/307pass 307/307bogota-devnet-2
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.
Next nothing to do
Three checks
Spec changeproven
Test proofok
change
dc5d5fa6 2026-11-01 Update EIP-8141: Transaction nonce check boundary proven+ assert tx.nonce < 2**64 - 1
proven a mutant undoes the change; in EELS v2.0.0 it fails 1 of 307 cases (2026-11-03)
baseline307/307 pass
with mutant306/307 pass
killed1
test_invalid_tx_fields[fork_Bogota-blockchain_test_engine_from_state_test-nonce_overflow]
EELStests-bogota-devnet@v2.0.0
ca8c6094command
python -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 8Client runok
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
EIP-8141 · ethrex
Frame Transaction
307/307pass 307/307bogota-devnet-2
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.
Next nothing to do
Three checks
Spec changeproven
Test proofok
change
dc5d5fa6 2026-11-01 Update EIP-8141: Transaction nonce check boundary proven+ assert tx.nonce < 2**64 - 1
proven a mutant undoes the change; in EELS v2.0.0 it fails 1 of 307 cases (2026-11-03)
baseline307/307 pass
with mutant306/307 pass
killed1
test_invalid_tx_fields[fork_Bogota-blockchain_test_engine_from_state_test-nonce_overflow]
EELStests-bogota-devnet@v2.0.0
ca8c6094command
python -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 8Client runok
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
EIP-8141 · Besu
Frame Transaction
259/266old 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 259/266 is shown but does not count. Next: run v2.0.0.
Next run v2.0.0 · owner Besu
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
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 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
EIP-7805 · EELS
Fork-choice enforced Inclusion Lists (FOCIL)
no testsno testsno test dir at v2.0.0
no EELS tests at v2.0.0: checked tests/bogota/eip7805_*.
Next write tests for EIP-7805 in v2.0.0 or later · owner EELS
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 appearEIP-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-8250 · EELS
Keyed Nonces for Frame Transactions
currentimplements current textpin 10bd1d84
EELS v2.0.0 implements the current EIP text.
Next nothing to do
EIP-8250 · Nethermind
Keyed Nonces for Frame Transactions
134/134pass 134/134bogota-devnet-2
All 134 tests for this EIP passed on v2.0.0, and EELS implements the current EIP text.
Next nothing to do
Three checks
Spec changeok
Test proofok
EELS implements the current EIP text: no change to prove.
Client runok
Open EIP PRs 1 not merged, not counted
- EIPs#12039 Update EIP-8250: Define keyed mempool concurrency
EIP-8250 · Geth
Keyed Nonces for Frame Transactions
134/134pass 134/134bogota-devnet-2
All 134 tests for this EIP passed on v2.0.0, and EELS implements the current EIP text.
Next nothing to do
Three checks
Spec changeok
Test proofok
EELS implements the current EIP text: no change to prove.
Client runok
Open EIP PRs 1 not merged, not counted
- EIPs#12039 Update EIP-8250: Define keyed mempool concurrency
EIP-8250 · Reth
Keyed Nonces for Frame Transactions
134/134pass 134/134bogota-devnet-2
All 134 tests for this EIP passed on v2.0.0, and EELS implements the current EIP text.
Next nothing to do
Three checks
Spec changeok
Test proofok
EELS implements the current EIP text: no change to prove.
Client runok
Open EIP PRs 1 not merged, not counted
- EIPs#12039 Update EIP-8250: Define keyed mempool concurrency
EIP-8250 · ethrex
Keyed Nonces for Frame Transactions
134/134pass 134/134bogota-devnet-2
All 134 tests for this EIP passed on v2.0.0, and EELS implements the current EIP text.
Next nothing to do
Three checks
Spec changeok
Test proofok
EELS implements the current EIP text: no change to prove.
Client runok
Open EIP PRs 1 not merged, not counted
- EIPs#12039 Update EIP-8250: Define keyed mempool concurrency
EIP-8250 · Besu
Keyed Nonces for Frame Transactions
106/106old 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 106/106 is shown but does not count. Next: run v2.0.0.
Next run v2.0.0 · owner Besu
Three checks
Spec changeok
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 1 not merged, not counted
- EIPs#12039 Update EIP-8250: Define keyed mempool concurrency
EIP-8151 · EELS
Account Code Restricted ecRecover
1 untested1 spec change untested1 since the EELS pin
EELS v2.0.0 tests EIP commit e2fad38c; the EIP changed 1 time since, newest af5ea766 on 2026-11-05.
Next write test · owner EELS
spec changes proven0 of 1 since the EELS pin
EIP-8151 · Nethermind
Account Code Restricted ecRecover
374/3741 spec change untestedbogota-devnet-2
The run passed 374/374, but the EIP text changed 1 time since the version EELS implements, and 1 change has no proof yet. Likely test: test_permitted_code (64/64 pass here). It counts once a mutant that undoes the change makes one of its cases fail. Next: run `eipproof prove` with a mutant that undoes the change.
Next nothing to do
Three checks
Spec changeuntested
Test proofuntested
change
af5ea766 2026-11-05 Update EIP-7851: sync relevant EIP-8298 clarifications before archival untested+ EOAs can use [EIP-7702](./eip-7702.md) as a bridge to post-quantum authorization. After migration, the account has regular deployed code instead of an EIP-7702 delegation indicator `0xef0100 || delegate_address`, so [EIP-3607](./eip-3607.md) disables protocol-level ECDSA transaction origination. However, `ecRecover` ignores account state. A quantum-capable attacker deriving the old ECDSA private key could still authorize token transfers through contracts, including [ERC-20](./eip-20.md) `permit` implementations ([ERC-2612](./eip-2612.md)). This EIP applies the same rule to `ecRecover`: recovery returns empty output when the account has non-empty raw code that is not a valid EIP-7702 delegation indicator. As a result, after the account has migrated to post-quantum authorization, the old ECDSA private key can no longer be used for contract authorization that relies on `ecRecover`.
64/64 pass here likely test
test_account_code.py::test_permitted_code shares words ecRecover, permitClient runok
Open EIP PRs 1 not merged, not counted
- EIPs#12605 Update EIP-8151: treat the 0xef0200 opt-out marker as an eligible EOA
EIP-8151 · Geth
Account Code Restricted ecRecover
374/3741 spec change untestedbogota-devnet-2
The run passed 374/374, but the EIP text changed 1 time since the version EELS implements, and 1 change has no proof yet. Likely test: test_permitted_code (64/64 pass here). It counts once a mutant that undoes the change makes one of its cases fail. Next: run `eipproof prove` with a mutant that undoes the change.
Next nothing to do
Three checks
Spec changeuntested
Test proofuntested
change
af5ea766 2026-11-05 Update EIP-7851: sync relevant EIP-8298 clarifications before archival untested+ EOAs can use [EIP-7702](./eip-7702.md) as a bridge to post-quantum authorization. After migration, the account has regular deployed code instead of an EIP-7702 delegation indicator `0xef0100 || delegate_address`, so [EIP-3607](./eip-3607.md) disables protocol-level ECDSA transaction origination. However, `ecRecover` ignores account state. A quantum-capable attacker deriving the old ECDSA private key could still authorize token transfers through contracts, including [ERC-20](./eip-20.md) `permit` implementations ([ERC-2612](./eip-2612.md)). This EIP applies the same rule to `ecRecover`: recovery returns empty output when the account has non-empty raw code that is not a valid EIP-7702 delegation indicator. As a result, after the account has migrated to post-quantum authorization, the old ECDSA private key can no longer be used for contract authorization that relies on `ecRecover`.
64/64 pass here likely test
test_account_code.py::test_permitted_code shares words ecRecover, permitClient runok
Open EIP PRs 1 not merged, not counted
- EIPs#12605 Update EIP-8151: treat the 0xef0200 opt-out marker as an eligible EOA
EIP-8151 · Reth
Account Code Restricted ecRecover
374/3741 spec change untestedbogota-devnet-2
The run passed 374/374, but the EIP text changed 1 time since the version EELS implements, and 1 change has no proof yet. Likely test: test_permitted_code (64/64 pass here). It counts once a mutant that undoes the change makes one of its cases fail. Next: run `eipproof prove` with a mutant that undoes the change.
Next nothing to do
Three checks
Spec changeuntested
Test proofuntested
change
af5ea766 2026-11-05 Update EIP-7851: sync relevant EIP-8298 clarifications before archival untested+ EOAs can use [EIP-7702](./eip-7702.md) as a bridge to post-quantum authorization. After migration, the account has regular deployed code instead of an EIP-7702 delegation indicator `0xef0100 || delegate_address`, so [EIP-3607](./eip-3607.md) disables protocol-level ECDSA transaction origination. However, `ecRecover` ignores account state. A quantum-capable attacker deriving the old ECDSA private key could still authorize token transfers through contracts, including [ERC-20](./eip-20.md) `permit` implementations ([ERC-2612](./eip-2612.md)). This EIP applies the same rule to `ecRecover`: recovery returns empty output when the account has non-empty raw code that is not a valid EIP-7702 delegation indicator. As a result, after the account has migrated to post-quantum authorization, the old ECDSA private key can no longer be used for contract authorization that relies on `ecRecover`.
64/64 pass here likely test
test_account_code.py::test_permitted_code shares words ecRecover, permitClient runok
Open EIP PRs 1 not merged, not counted
- EIPs#12605 Update EIP-8151: treat the 0xef0200 opt-out marker as an eligible EOA
EIP-8151 · ethrex
Account Code Restricted ecRecover
374/3741 spec change untestedbogota-devnet-2
The run passed 374/374, but the EIP text changed 1 time since the version EELS implements, and 1 change has no proof yet. Likely test: test_permitted_code (64/64 pass here). It counts once a mutant that undoes the change makes one of its cases fail. Next: run `eipproof prove` with a mutant that undoes the change.
Next nothing to do
Three checks
Spec changeuntested
Test proofuntested
change
af5ea766 2026-11-05 Update EIP-7851: sync relevant EIP-8298 clarifications before archival untested+ EOAs can use [EIP-7702](./eip-7702.md) as a bridge to post-quantum authorization. After migration, the account has regular deployed code instead of an EIP-7702 delegation indicator `0xef0100 || delegate_address`, so [EIP-3607](./eip-3607.md) disables protocol-level ECDSA transaction origination. However, `ecRecover` ignores account state. A quantum-capable attacker deriving the old ECDSA private key could still authorize token transfers through contracts, including [ERC-20](./eip-20.md) `permit` implementations ([ERC-2612](./eip-2612.md)). This EIP applies the same rule to `ecRecover`: recovery returns empty output when the account has non-empty raw code that is not a valid EIP-7702 delegation indicator. As a result, after the account has migrated to post-quantum authorization, the old ECDSA private key can no longer be used for contract authorization that relies on `ecRecover`.
64/64 pass here likely test
test_account_code.py::test_permitted_code shares words ecRecover, permitClient runok
result374/374 cases in
eip8151_account_code_restricted_ecrecovertests
tests-bogota-devnet@v2.0.0image
ethpandaops/ethrex:bogota-devnet-2-linux-amd64version
ethrex/v29.0.1-bogota-devnet-2-c9d292a4997faec4578598805f13ad04c1566c5d/x86_64-unknown-linux-gnu/rustc-v1.93.1Open EIP PRs 1 not merged, not counted
- EIPs#12605 Update EIP-8151: treat the 0xef0200 opt-out marker as an eligible EOA
EIP-8151 · Besu
Account Code Restricted ecRecover
0/0old 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 0/0 is shown but does not count. Next: run v2.0.0.
Next run v2.0.0 · owner Besu
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 1 not merged, not counted
- EIPs#12605 Update EIP-8151: treat the 0xef0200 opt-out marker as an eligible EOA
EIP-8272 · EELS
Recent Roots for Frame Transactions
currentimplements current textpin 0acc21ad
EELS v2.0.0 implements the current EIP text.
Next nothing to do
EIP-8272 · Nethermind
Recent Roots for Frame Transactions
80/80pass 80/80bogota-devnet-2
All 80 tests for this EIP passed on v2.0.0, and EELS implements the current EIP text.
Next nothing to do
Three checks
Spec changeok
Test proofok
EELS implements the current EIP text: no change to prove.
Client runok
Open EIP PRs 1 not merged, not counted
- EIPs#12310 Update EIP-8272: clarify public mempool scope
EIP-8272 · Geth
Recent Roots for Frame Transactions
80/80pass 80/80bogota-devnet-2
All 80 tests for this EIP passed on v2.0.0, and EELS implements the current EIP text.
Next nothing to do
Three checks
Spec changeok
Test proofok
EELS implements the current EIP text: no change to prove.
Client runok
Open EIP PRs 1 not merged, not counted
- EIPs#12310 Update EIP-8272: clarify public mempool scope
EIP-8272 · Reth
Recent Roots for Frame Transactions
80/80pass 80/80bogota-devnet-2
All 80 tests for this EIP passed on v2.0.0, and EELS implements the current EIP text.
Next nothing to do
Three checks
Spec changeok
Test proofok
EELS implements the current EIP text: no change to prove.
Client runok
Open EIP PRs 1 not merged, not counted
- EIPs#12310 Update EIP-8272: clarify public mempool scope
EIP-8272 · ethrex
Recent Roots for Frame Transactions
80/80pass 80/80bogota-devnet-2
All 80 tests for this EIP passed on v2.0.0, and EELS implements the current EIP text.
Next nothing to do
Three checks
Spec changeok
Test proofok
EELS implements the current EIP text: no change to prove.
Client runok
Open EIP PRs 1 not merged, not counted
- EIPs#12310 Update EIP-8272: clarify public mempool scope
EIP-8272 · Besu
Recent Roots for Frame Transactions
73/73old 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 73/73 is shown but does not count. Next: run v2.0.0.
Next run v2.0.0 · owner Besu
Three checks
Spec changeok
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 1 not merged, not counted
- EIPs#12310 Update EIP-8272: clarify public mempool scope
EIP-8298 · EELS
SETCODEFROM Code Reuse Instruction
currentimplements current textpin 94f01555
EELS v2.0.0 implements the current EIP text.
Next nothing to do
EIP-8298 · Nethermind
SETCODEFROM Code Reuse Instruction
274/274pass 274/274bogota-devnet-2
All 274 tests for this EIP passed on v2.0.0, and EELS implements the current EIP text.
Next nothing to do
Three checks
Spec changeok
Test proofok
EELS implements the current EIP text: no change to prove.
Client runok
EIP-8298 · Geth
SETCODEFROM Code Reuse Instruction
274/274pass 274/274bogota-devnet-2
All 274 tests for this EIP passed on v2.0.0, and EELS implements the current EIP text.
Next nothing to do
Three checks
Spec changeok
Test proofok
EELS implements the current EIP text: no change to prove.
Client runok
EIP-8298 · Reth
SETCODEFROM Code Reuse Instruction
274/274pass 274/274bogota-devnet-2
All 274 tests for this EIP passed on v2.0.0, and EELS implements the current EIP text.
Next nothing to do
Three checks
Spec changeok
Test proofok
EELS implements the current EIP text: no change to prove.
Client runok
EIP-8298 · ethrex
SETCODEFROM Code Reuse Instruction
274/274pass 274/274bogota-devnet-2
All 274 tests for this EIP passed on v2.0.0, and EELS implements the current EIP text.
Next nothing to do
Three checks
Spec changeok
Test proofok
EELS implements the current EIP text: no change to prove.
Client runok
EIP-8298 · Besu
SETCODEFROM Code Reuse Instruction
0/0old 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 0/0 is shown but does not count. Next: run v2.0.0.
Next run v2.0.0 · owner Besu
Three checks
Spec changeok
Test proofn/a
n/a: this run used old tests, so proofs for the current tests do not apply.
Client runold tests
EIP-4758 · EELS
Deactivate SELFDESTRUCT
currentimplements current textpin df7433a9
EELS v2.0.0 implements the current EIP text.
Next nothing to do
EIP-4758 · Nethermind
Deactivate SELFDESTRUCT
68/68pass 68/68bogota-devnet-2
All 68 tests for this EIP passed on v2.0.0, and EELS implements the current EIP text.
Next nothing to do
Three checks
Spec changeok
Test proofok
EELS implements the current EIP text: no change to prove.
Client runok
Open EIP PRs 1 not merged, not counted
- EIPs#12492 Update EIP-4758: Move to Draft
EIP-4758 · Geth
Deactivate SELFDESTRUCT
68/68pass 68/68bogota-devnet-2
All 68 tests for this EIP passed on v2.0.0, and EELS implements the current EIP text.
Next nothing to do
Three checks
Spec changeok
Test proofok
EELS implements the current EIP text: no change to prove.
Client runok
Open EIP PRs 1 not merged, not counted
- EIPs#12492 Update EIP-4758: Move to Draft
EIP-4758 · Reth
Deactivate SELFDESTRUCT
68/68pass 68/68bogota-devnet-2
All 68 tests for this EIP passed on v2.0.0, and EELS implements the current EIP text.
Next nothing to do
Three checks
Spec changeok
Test proofok
EELS implements the current EIP text: no change to prove.
Client runok
Open EIP PRs 1 not merged, not counted
- EIPs#12492 Update EIP-4758: Move to Draft
EIP-4758 · ethrex
Deactivate SELFDESTRUCT
68/68pass 68/68bogota-devnet-2
All 68 tests for this EIP passed on v2.0.0, and EELS implements the current EIP text.
Next nothing to do
Three checks
Spec changeok
Test proofok
EELS implements the current EIP text: no change to prove.
Client runok
Open EIP PRs 1 not merged, not counted
- EIPs#12492 Update EIP-4758: Move to Draft
EIP-4758 · Besu
Deactivate SELFDESTRUCT
0/0old 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 0/0 is shown but does not count. Next: run v2.0.0.
Next run v2.0.0 · owner Besu
Three checks
Spec changeok
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 1 not merged, not counted
- EIPs#12492 Update EIP-4758: Move to Draft
EIP-8253 · EELS
Bump nonce of zero-nonce storage accounts
currentimplements current textpin 0c7875bb
EELS v2.0.0 implements the current EIP text.
Next nothing to do
EIP-8253 · Nethermind
Bump nonce of zero-nonce storage accounts
82/82pass 82/82bogota-devnet-2
All 82 tests for this EIP passed on v2.0.0, and EELS implements the current EIP text.
Next nothing to do
Three checks
Spec changeok
Test proofok
EELS implements the current EIP text: no change to prove.
Client runok
Open EIP PRs 1 not merged, not counted
- execution-specs#3535 feat(spec-specs, tests): implement EIP-8253, bump nonce of zero-nonce storage accounts
EIP-8253 · Geth
Bump nonce of zero-nonce storage accounts
82/82pass 82/82bogota-devnet-2
All 82 tests for this EIP passed on v2.0.0, and EELS implements the current EIP text.
Next nothing to do
Three checks
Spec changeok
Test proofok
EELS implements the current EIP text: no change to prove.
Client runok
Open EIP PRs 1 not merged, not counted
- execution-specs#3535 feat(spec-specs, tests): implement EIP-8253, bump nonce of zero-nonce storage accounts
EIP-8253 · Reth
Bump nonce of zero-nonce storage accounts
81/82fail 81/82bogota-devnet-2
1 test for this EIP failed in Reth's run on v2.0.0. Next: fix the client or report the test.
Next fix client · owner Reth
Failed cases 1
test_bal_invalid_bump_index_zero_encoding[fork_AmsterdamToBogotaAtTime15k-blockchain_test_engine-header_commits_to_canonical_rlp]
Three checks
Spec changeok
Test proofok
EELS implements the current EIP text: no change to prove.
Client runfails
Open EIP PRs 1 not merged, not counted
- execution-specs#3535 feat(spec-specs, tests): implement EIP-8253, bump nonce of zero-nonce storage accounts
EIP-8253 · ethrex
Bump nonce of zero-nonce storage accounts
82/82pass 82/82bogota-devnet-2
All 82 tests for this EIP passed on v2.0.0, and EELS implements the current EIP text.
Next nothing to do
Three checks
Spec changeok
Test proofok
EELS implements the current EIP text: no change to prove.
Client runok
result82/82 cases in
eip8253_bump_nonce_of_zero_nonce_storage_accountstests
tests-bogota-devnet@v2.0.0image
ethpandaops/ethrex:bogota-devnet-2-linux-amd64version
ethrex/v29.0.1-bogota-devnet-2-c9d292a4997faec4578598805f13ad04c1566c5d/x86_64-unknown-linux-gnu/rustc-v1.93.1Open EIP PRs 1 not merged, not counted
- execution-specs#3535 feat(spec-specs, tests): implement EIP-8253, bump nonce of zero-nonce storage accounts
EIP-8253 · Besu
Bump nonce of zero-nonce storage accounts
0/0old 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 0/0 is shown but does not count. Next: run v2.0.0.
Next run v2.0.0 · owner Besu
Three checks
Spec changeok
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 1 not merged, not counted
- execution-specs#3535 feat(spec-specs, tests): implement EIP-8253, bump nonce of zero-nonce storage accounts
EIP-3298 · EELS
Remove storage-clear refund and refund cap
no testsno testsno test dir at v2.0.0
no EELS tests at v2.0.0: checked tests/bogota/eip3298_*.
Next write tests for EIP-3298 in v2.0.0 or later · owner EELS
EIP-5920 · EELS
PAY opcode
no testsno testsno test dir at v2.0.0
no EELS tests at v2.0.0: checked tests/bogota/eip5920_*.
Next write tests for EIP-5920 in v2.0.0 or later · owner EELS
EIP-7668 · EELS
Remove bloom filters
no testsno testsno test dir at v2.0.0
no EELS tests at v2.0.0: checked tests/bogota/eip7668_*.
Next write tests for EIP-7668 in v2.0.0 or later · owner EELS
EIP-7709 · EELS
Read BLOCKHASH from Storage and Update Cost
no testsno testsno test dir at v2.0.0
no EELS tests at v2.0.0: checked tests/bogota/eip7709_*.
Next write tests for EIP-7709 in v2.0.0 or later · owner EELS
EIP-7979 · EELS
Call and Return Opcodes for the EVM
no testsno testsno test dir at v2.0.0
no EELS tests at v2.0.0: checked tests/bogota/eip7979_*.
Next write tests for EIP-7979 in v2.0.0 or later · owner EELS
EIP-8015 · EELS
Remove `deposit` and `eth1data` fields
no testsno testsno test dir at v2.0.0
no EELS tests at v2.0.0: checked tests/bogota/eip8015_*.
Next write tests for EIP-8015 in v2.0.0 or later · owner EELS
EIP-8077 · EELS
eth/XX - announce transactions with nonce
no testsno testsno test dir at v2.0.0
no EELS tests at v2.0.0: checked tests/bogota/eip8077_*.
Next write tests for EIP-8077 in v2.0.0 or later · owner EELS
EIP-8116 · EELS
Replace cumulative receipt fields
no testsno testsno test dir at v2.0.0
no EELS tests at v2.0.0: checked tests/bogota/eip8116_*.
Next write tests for EIP-8116 in v2.0.0 or later · owner EELS
EIP-8131 · EELS
Unified Transaction Content Floor
no testsno testsno test dir at v2.0.0
no EELS tests at v2.0.0: checked tests/bogota/eip8131_*.
Next write tests for EIP-8131 in v2.0.0 or later · owner EELS
EIP-8163 · EELS
Reserve `EXTENSION (0xae)` opcode
no testsno testsno test dir at v2.0.0
no EELS tests at v2.0.0: checked tests/bogota/eip8163_*.
Next write tests for EIP-8163 in v2.0.0 or later · owner EELS
EIP-8198 · EELS
Quick Slots
no testsno testsno test dir at v2.0.0
no EELS tests at v2.0.0: checked tests/bogota/eip8198_*.
Next write tests for EIP-8198 in v2.0.0 or later · owner EELS
EIP-8279 · EELS
Block Access List Byte Floor
no testsno testsno test dir at v2.0.0
no EELS tests at v2.0.0: checked tests/bogota/eip8279_*.
Next write tests for EIP-8279 in v2.0.0 or later · owner EELS
EIP-8360 · EELS
TCREATE Opcode
no testsno testsno test dir at v2.0.0
no EELS tests at v2.0.0: checked tests/bogota/eip8360_*.
Next write tests for EIP-8360 in v2.0.0 or later · owner EELS