Skip to content

feat(specs,tests): record the EIP-8250 activation in the fork block's access list - #3722

Open
spencer-tb wants to merge 3 commits into
ethereum:eips/bogota/eip-8250from
spencer-tb:eip-8250-bal-activation
Open

spencer-tb wants to merge 3 commits into
ethereum:eips/bogota/eip-8250from
spencer-tb:eip-8250-bal-activation

Conversation

@spencer-tb

@spencer-tb spencer-tb commented Oct 6, 2026 •

Copy link
Copy Markdown
Contributor

Description

Merge order: after #3557 and ethereum/EIPs#12406. #3725 is stacked on this.

Records the EIP-8250 nonce manager install at block access index 0 of the fork block, as proposed in ethereum/EIPs#12406 and as Nethermind, reth and ethrex already do.

The spec now applies the install in the fork block itself instead of in apply_fork, detected by is_fork_block as EIP-8253 does in #3535. The t8n derives the fork block from the transition schedule through #3557, so there is no separate activation flag, and the filler no longer pre-installs the nonce manager.

Related Issues or PRs

Checklist

  • Ran fast static checks to avoid CI fails, see Code Standards & Verifying Changes: just static
  • PR title has the form <type>(<area>): <title>, where <type> and <area> come from an appropriate C-<type>, respectively A-<area>, label. The title should match the target squash commit message.

@codecov

codecov Bot commented Oct 6, 2026 •

Copy link
Copy Markdown

Codecov Report

✅ All modified and coverable lines are covered by tests.
⚠️ Please upload report for BASE (eips/bogota/eip-8250@ae5c566). Learn more about missing BASE report.

Additional details and impacted files
@@                   Coverage Diff                   @@
##             eips/bogota/eip-8250    #3722   +/-   ##
=======================================================
  Coverage                        ?   94.94%           
=======================================================
  Files                           ?      677           
  Lines                           ?    41926           
  Branches                        ?     3962           
=======================================================
  Hits                            ?    39805           
  Misses                          ?     1467           
  Partials                        ?      654           
Flag Coverage Δ
unittests 94.94% <100.00%> (?)

Flags with carried forward coverage won't be shown. Click here to find out more.

☔ View full report in Codecov by Harness.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

@spencer-tb spencer-tb added A-spec-specs Area: Specification—The Ethereum specification itself (eg. `src/ethereum/*`) C-feat Category: an improvement or new feature A-tests Area: Consensus tests. labels Oct 6, 2026
@spencer-tb
spencer-tb marked this pull request as ready for review October 6, 2026 12:54
spencer-tb and others added 3 commits October 6, 2026 17:51
@spencer-tb
spencer-tb force-pushed the eip-8250-bal-activation branch from ac4b6ae to 3d6b174 Compare October 6, 2026 17:01
gurukamath added a commit to gurukamath/execution-specs that referenced this pull request Oct 7, 2026
Review follow-up for ethereum#3729. EIP-8250 installs its nonce manager through
`activation_code_installs` on `eips/bogota/eip-8250`, and ethereum#3722 and
ethereum#3725 build on it, so removing the hook here would break that install
when the branches merge.

Restore the hook, Frontier's empty implementation, both blockchain
filler call sites, the Hive genesis builder, the pre-allocation group
builder, and `Alloc.with_installed_code`, all as they are on the base
branch. Only the EIP-8141 override stays removed: the expiry verifier
is a predeploy, not an activation install. The `with_installed_code`
docstring no longer names an EIP as its example.

Reword the `EXPIRY_VERIFIER` docstring and the fork transition test
module docstring as suggested in review.

This branch has not been deployed

No deployments
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

A-spec-specs Area: Specification—The Ethereum specification itself (eg. `src/ethereum/*`) A-tests Area: Consensus tests. C-feat Category: an improvement or new feature

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant