archived snapshot 2026-11-05T03:25:13Z, shown with the current code and proofs · latest data · all snapshots
Status / Reth
To do most important first
- 1 failing case
test_bal_invalid_bump_index_zero_encoding[fork_AmsterdamToBogotaAtTime15k-blockchain_test_engine-header_commits_to_canonical_rlp]
Run
tests
tests-bogota-devnet@v2.0.0image
ethpandaops/reth:bogota-devnet-2-linux-amd64version
Reth Version: 2.5.2-dev+6a627643cases34092/34141 pass in the whole run
other tests
48 failing cases in tests for EIPs this site does not track, not counted above
test_bal_withdrawals_and_dequeues_net_balance_at_last_index[fork_Bogota-blockchain_test_engine-forward_all]test_bal_withdrawals_and_dequeues_net_balance_at_last_index[fork_Bogota-blockchain_test_engine-forward_half]test_bal_invalid_complex_corruption[fork_Bogota-blockchain_test_engine]test_bal_invalid_ordering[fork_Bogota-blockchain_test_engine-nonce_changes_out_of_order]test_bal_invalid_ordering[fork_Bogota-blockchain_test_engine-slot_changes_out_of_order]test_bal_invalid_tx_order[fork_Bogota-blockchain_test_engine]test_block_2d_inclusion_execution_gate_full_gas_reservation[fork_Bogota-blockchain_test_engine-one_above]test_block_2d_inclusion_execution_gate_full_gas_reservation[fork_Bogota-blockchain_test_engine-state_charge_above]test_tx_total_gas_limit_cap[fork_Bogota-tx_type_0-blockchain_test_engine_from_state_test-above_cap]test_tx_total_gas_limit_cap[fork_Bogota-tx_type_1-blockchain_test_engine_from_state_test-above_cap]test_tx_total_gas_limit_cap[fork_Bogota-tx_type_2-blockchain_test_engine_from_state_test-above_cap]test_tx_total_gas_limit_cap[fork_Bogota-tx_type_3-blockchain_test_engine_from_state_test-above_cap]test_tx_total_gas_limit_cap[fork_Bogota-tx_type_4-blockchain_test_engine_from_state_test-above_cap]test_creation_tx_execution_check_uses_full_tx_gas[fork_Bogota-blockchain_test_engine]test_creation_tx_state_check_exceeded[fork_Bogota-blockchain_test_engine]test_system_call_execution_boundary[fork_Bogota-blockchain_test_engine-beacon-one_over]test_system_call_execution_boundary[fork_Bogota-blockchain_test_engine-builder_deposit-one_over]test_system_call_execution_boundary[fork_Bogota-blockchain_test_engine-builder_exit-one_over]test_system_call_execution_boundary[fork_Bogota-blockchain_test_engine-consolidations-one_over]test_system_call_execution_boundary[fork_Bogota-blockchain_test_engine-history-one_over]test_system_call_execution_boundary[fork_Bogota-blockchain_test_engine-withdrawals-one_over]test_system_call_execution_grant[fork_Bogota-blockchain_test_engine-beacon]test_system_call_execution_grant[fork_Bogota-blockchain_test_engine-builder_deposit]test_system_call_execution_grant[fork_Bogota-blockchain_test_engine-builder_exit]test_system_call_execution_grant[fork_Bogota-blockchain_test_engine-consolidations]test_system_call_execution_grant[fork_Bogota-blockchain_test_engine-history]test_system_call_execution_grant[fork_Bogota-blockchain_test_engine-withdrawals]test_system_call_reservoir_boundary[fork_Bogota-blockchain_test_engine-allow_spill_False-beacon]test_system_call_reservoir_boundary[fork_Bogota-blockchain_test_engine-allow_spill_False-builder_deposit]test_system_call_reservoir_boundary[fork_Bogota-blockchain_test_engine-allow_spill_False-builder_exit]test_system_call_reservoir_boundary[fork_Bogota-blockchain_test_engine-allow_spill_False-consolidations]test_system_call_reservoir_boundary[fork_Bogota-blockchain_test_engine-allow_spill_False-history]test_system_call_reservoir_boundary[fork_Bogota-blockchain_test_engine-allow_spill_False-withdrawals]test_system_call_reservoir_boundary[fork_Bogota-blockchain_test_engine-allow_spill_True-beacon]test_system_call_reservoir_boundary[fork_Bogota-blockchain_test_engine-allow_spill_True-builder_deposit]test_system_call_reservoir_boundary[fork_Bogota-blockchain_test_engine-allow_spill_True-builder_exit]test_system_call_reservoir_boundary[fork_Bogota-blockchain_test_engine-allow_spill_True-consolidations]test_system_call_reservoir_boundary[fork_Bogota-blockchain_test_engine-allow_spill_True-history]test_system_call_reservoir_boundary[fork_Bogota-blockchain_test_engine-allow_spill_True-withdrawals]test_high_gas_price_paris[fork_Bogota-blockchain_test_engine_from_state_test]test_withdrawals_credited_before_request_system_call[fork_Bogota-request_class_BuilderDepositRequest-blockchain_test_engine-forward_all]test_withdrawals_credited_before_request_system_call[fork_Bogota-request_class_BuilderDepositRequest-blockchain_test_engine-forward_half]test_withdrawals_credited_before_request_system_call[fork_Bogota-request_class_BuilderExitRequest-blockchain_test_engine-forward_all]test_withdrawals_credited_before_request_system_call[fork_Bogota-request_class_BuilderExitRequest-blockchain_test_engine-forward_half]test_withdrawals_credited_before_request_system_call[fork_Bogota-request_class_ConsolidationRequest-blockchain_test_engine-forward_all]test_withdrawals_credited_before_request_system_call[fork_Bogota-request_class_ConsolidationRequest-blockchain_test_engine-forward_half]test_withdrawals_credited_before_request_system_call[fork_Bogota-request_class_WithdrawalRequest-blockchain_test_engine-forward_all]test_withdrawals_credited_before_request_system_call[fork_Bogota-request_class_WithdrawalRequest-blockchain_test_engine-forward_half]
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
paradigmxyz/reth: not collected in this snapshot
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
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-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
EIP-8151 · Reth
Account Code Restricted ecRecover
374/374pass 374/374bogota-devnet-2
All 374 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-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
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-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
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