archived snapshot 2026-11-06T11:28:58Z, shown with the current code and proofs · latest data · all snapshots
Status / Geth
To do most important first
- af5ea766 Update EIP-7851: sync relevant EIP-8298 clarifications before archival
Run
tests
tests-bogota-devnet@v2.0.0image
ethpandaops/geth:bogota-devnet-2-linux-amd64version
Geth/v1.17.6-unstable-f71f4be8-20261028/linux-amd64/go1.27.3cases34139/34141 pass in the whole run
other tests
2 failing cases in tests for EIPs this site does not track, not counted above
test_legacy_chain_id_over_64_bits[fork_Bogota-blockchain_test_engine_from_state_test-case_chain_id_plus_2_64]test_legacy_chain_id_over_64_bits[fork_Bogota-blockchain_test_engine_from_state_test-case_smallest_65_bit_chain_id]
EIPs open a cell for the why and the evidence
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.
Client PRs
ethereum/go-ethereum: 6 PRs whose title names a tracked EIP
- #35833 open core/state, internal/ethapi: simulate eip8141 transactions
- #35832 open internal/ethapi: fill eip8141 transactions
- #35831 open core, internal/ethapi: support eip8141 call requests
- #35666 open core: implement eip-8141 frames tx
- #35941 open core, core/vm, core/state: implement EIP-8298 SETCODEFROM
- #35993 open cmd/evm, core: implement EIP-8253 zero-nonce storage account bump
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-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-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-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-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-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-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-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