To do most important first Nothing to do: every tracked EIP passes on the newest tests.
Run tests tests-bogota-devnet@v2.0.0
image ethpandaops/geth:bogota-devnet-2-linux-amd64
version Geth/v1.17.6-unstable-f71f4be8-20261028/linux-amd64/go1.27.3
cases 34139/34141 pass in the whole run
other tests 2 failing cases in tests for EIPs this site does not track, not counted abovetest_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 dataHow 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.
8141 Frame Transaction ✓ 307/307 EIP-8141 Geth: pass 307/307 7906 Transaction Assertions via State Diff Opcode ✓ 184/184 EIP-7906 Geth: pass 184/184 8250 Keyed Nonces for Frame Transactions ✓ 134/134 EIP-8250 Geth: pass 134/134 8151 Account Code Restricted ecRecover ✓ 374/374 EIP-8151 Geth: pass 374/374 8272 Recent Roots for Frame Transactions ✓ 80/80 EIP-8272 Geth: pass 80/80 8298 SETCODEFROM Code Reuse Instruction ✓ 274/274 EIP-8298 Geth: pass 274/274 4758 Deactivate SELFDESTRUCT ✓ 68/68 EIP-4758 Geth: pass 68/68 8253 Bump nonce of zero-nonce storage accounts ✓ 82/82 EIP-8253 Geth: pass 82/82 Client PRs ethereum/go-ethereum : not collected in this snapshot
EIP-8141 · Geth
Frame Transaction
× ✓ 307/307 pass 307/307 bogota-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
Copy as Markdown
Three checks Spec change ✓ proven
EELS has 39bbb12f 7372d10a 1 change behind same text in several commits Test proof ✓ ok
change dc5d5fa6 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) baseline 307/307 pass
with mutant 306/307 pass
killed 1 test_invalid_tx_fields[fork_Bogota-blockchain_test_engine_from_state_test-nonce_overflow]command 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 8
Client run ✓ ok
result 307/307 cases in eip8141_frame_transactions
tests tests-bogota-devnet@v2.0.0
image ethpandaops/geth:bogota-devnet-2-linux-amd64
version Geth/v1.17.6-unstable-f71f4be8-20261028/linux-amd64/go1.27.3
EIP-7906 · Geth
Transaction Assertions via State Diff Opcode
× ✓ 184/184 pass 184/184 bogota-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
Copy as Markdown
Three checks Test proof ✓ ok
change 9099f412 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 `CREATE 2` 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) baseline 184/184 pass
with mutant 183/184 pass
killed 1 test_sender_nonce_change[fork_Bogota-blockchain_test_engine_from_state_test-keyed_nonce]command 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 8
Client run ✓ ok
result 184/184 cases in eip7906_transaction_assertions
tests tests-bogota-devnet@v2.0.0
image ethpandaops/geth:bogota-devnet-2-linux-amd64
version Geth/v1.17.6-unstable-f71f4be8-20261028/linux-amd64/go1.27.3
EIP-8250 · Geth
Keyed Nonces for Frame Transactions
× ✓ 134/134 pass 134/134 bogota-devnet-2
All 134 tests for this EIP passed on v2.0.0, and EELS implements the current EIP text.
Next nothing to do
Copy as Markdown
Three checks Test proof ✓ ok
EELS implements the current EIP text: no change to prove.
Client run ✓ ok
result 134/134 cases in eip8250_keyed_nonces
tests tests-bogota-devnet@v2.0.0
image ethpandaops/geth:bogota-devnet-2-linux-amd64
version Geth/v1.17.6-unstable-f71f4be8-20261028/linux-amd64/go1.27.3
EIP-8151 · Geth
Account Code Restricted ecRecover
× ✓ 374/374 pass 374/374 bogota-devnet-2
All 374 tests for this EIP passed on v2.0.0, and EELS implements the current EIP text.
Next nothing to do
Copy as Markdown
Three checks Test proof ✓ ok
EELS implements the current EIP text: no change to prove.
Client run ✓ ok
result 374/374 cases in eip8151_account_code_restricted_ecrecover
tests tests-bogota-devnet@v2.0.0
image ethpandaops/geth:bogota-devnet-2-linux-amd64
version Geth/v1.17.6-unstable-f71f4be8-20261028/linux-amd64/go1.27.3
EIP-8272 · Geth
Recent Roots for Frame Transactions
× ✓ 80/80 pass 80/80 bogota-devnet-2
All 80 tests for this EIP passed on v2.0.0, and EELS implements the current EIP text.
Next nothing to do
Copy as Markdown
Three checks Test proof ✓ ok
EELS implements the current EIP text: no change to prove.
Client run ✓ ok
result 80/80 cases in eip8272_recent_roots
tests tests-bogota-devnet@v2.0.0
image ethpandaops/geth:bogota-devnet-2-linux-amd64
version Geth/v1.17.6-unstable-f71f4be8-20261028/linux-amd64/go1.27.3
EIP-8298 · Geth
SETCODEFROM Code Reuse Instruction
× ✓ 274/274 pass 274/274 bogota-devnet-2
All 274 tests for this EIP passed on v2.0.0, and EELS implements the current EIP text.
Next nothing to do
Copy as Markdown
Three checks Test proof ✓ ok
EELS implements the current EIP text: no change to prove.
Client run ✓ ok
result 274/274 cases in eip8298_setcodefrom
tests tests-bogota-devnet@v2.0.0
image ethpandaops/geth:bogota-devnet-2-linux-amd64
version Geth/v1.17.6-unstable-f71f4be8-20261028/linux-amd64/go1.27.3
EIP-4758 · Geth
Deactivate SELFDESTRUCT
× ✓ 68/68 pass 68/68 bogota-devnet-2
All 68 tests for this EIP passed on v2.0.0, and EELS implements the current EIP text.
Next nothing to do
Copy as Markdown
Three checks Test proof ✓ ok
EELS implements the current EIP text: no change to prove.
Client run ✓ ok
result 68/68 cases in eip4758_sendall
tests tests-bogota-devnet@v2.0.0
image ethpandaops/geth:bogota-devnet-2-linux-amd64
version Geth/v1.17.6-unstable-f71f4be8-20261028/linux-amd64/go1.27.3
EIP-8253 · Geth
Bump nonce of zero-nonce storage accounts
× ✓ 82/82 pass 82/82 bogota-devnet-2
All 82 tests for this EIP passed on v2.0.0, and EELS implements the current EIP text.
Next nothing to do
Copy as Markdown
Three checks Test proof ✓ ok
EELS implements the current EIP text: no change to prove.
Client run ✓ ok
result 82/82 cases in eip8253_bump_nonce_of_zero_nonce_storage_accounts
tests tests-bogota-devnet@v2.0.0
image ethpandaops/geth:bogota-devnet-2-linux-amd64
version Geth/v1.17.6-unstable-f71f4be8-20261028/linux-amd64/go1.27.3