archived snapshot 2026-11-05T13:27:26Z, shown with the current code and proofs · latest data · all snapshots
Status / ethrex
To do most important first
Nothing to do: every tracked EIP passes on the newest tests.
Run
tests
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.1cases34141/34141 pass in the whole run
other testsno failing cases in tests for EIPs this site does not track
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
lambdaclass/ethrex: 9 PRs whose title names a tracked EIP
- #7108 open fix(levm): ban SLOTNUM in EIP-8141 validation prefix
- #7075 open fix(l1): enforce the EIP-8141 post-prefix and replacement/eviction mempool rules
- #7061 open fix(l1): allow EIP-8141 VERIFY frame to target an approved non-sender account
- #7059 open test(l1): intrinsic gas accounting coverage for EIP-8141 frame transactions
- #7038 open feat(l1): propagate and build blob-carrying EIP-8141 frame transactions
- #7305 merged fix(levm): eip-8141 frame loop – clear pooled stack, access-before-balance ordering, precompile state backup
- #6891 open feat(l1,levm): implement EIP-7906 transaction assertions (POST_TX frames + TXTRACE/EVENTDATACOPY/TXDIFF)
- #6906 open feat(l1,levm): implement EIP-8250 keyed nonces for frame transactions
- #6907 open feat(l1,levm): implement EIP-8272 recent roots for frame transactions (core)
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-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-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-8151 · ethrex
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
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-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-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-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-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