feat(spec-specs, tests): EIP-8037 - per-dimension block gas limit check at tx inclusion by kclowes · Pull Request #2703 · ethereum/execution-specs

kclowes · 2026-04-16T20:48:56Z

🗒️ Description

Implements ethereum/EIPs#11536 (update to EIP-8037): at transaction inclusion time, check_transaction enforces the block gas limit per gas dimension (regular, state) rather than only on the regular component. For each dimension the worst-case contribution must fit in the remaining budget. Block-end validation still enforces max(block_regular, block_state) <= block.gas_limit.

Spec Change

Adds per-dimension checks to check_transaction:

regular_gas_available = block.gas_limit - block_output.block_gas_used
state_gas_available   = block.gas_limit - block_output.block_state_gas_used
if min(TX_MAX_GAS_LIMIT, tx.gas - intrinsic.state) > regular_gas_available:
    raise GasUsedExceedsLimitError("gas used exceeds limit")
if tx.gas - intrinsic.regular > state_gas_available:
    raise GasUsedExceedsLimitError("gas used exceeds limit")

intrinsic is now passed into check_transaction so both formulas have access to the split intrinsic cost. Both checks raise GasUsedExceedsLimitError, which maps to TransactionException.GAS_ALLOWANCE_EXCEEDED.

Tests

test_block_state_gas_limit_boundary[exact_fit] (accepted)
test_block_state_gas_limit_boundary[exceeded] (rejected)
test_creation_tx_regular_check_subtracts_intrinsic_state
test_single_tx_state_check_exceeds_block_limit
test_creation_tx_state_check_exceeded

🔗 Related Issues or PRs

EIP text change: ethereum/EIPs#11536

✅ Checklist

All: Ran fast static checks to avoid unnecessary CI fails, see also Code Standards and Enabling Pre-commit Checks:
```
just static
```
All: PR title adheres to the repo standard and will be used as the squash commit message, starting with type(scope):.
All: Considered updating the online docs in the ./docs/ directory.
All: Set appropriate labels for the changes (only maintainers can apply labels).

codecov · 2026-04-16T21:07:02Z

Codecov Report

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

Additional details and impacted files

@@                    Coverage Diff                     @@
##             eips/amsterdam/eip-8037    #2703   +/-   ##
==========================================================
  Coverage                           ?   88.18%           
==========================================================
  Files                              ?      524           
  Lines                              ?    31120           
  Branches                           ?     3036           
==========================================================
  Hits                               ?    27444           
  Misses                             ?     3161           
  Partials                           ?      515

Flag	Coverage Δ
unittests	`88.18% <ø> (?)`

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

☔ View full report in Codecov by Sentry.
📢 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.

Cleanups to the per-dimension block gas inclusion tests: - Combine `test_block_state_gas_limit_exact_fit` and `test_block_state_gas_limit_exceeded` into `test_block_state_gas_limit_boundary` parametrized `delta=[0, 1]` (ids `exact_fit`, `exceeded`) and inline the `_block_state_gas_limit_setup` helper. Removes ~45 lines with no coverage loss. - Fix docstring references in both boundary cases: state contribution is `tx.gas - intrinsic_regular`, not `tx.gas - TX_MAX_GAS_LIMIT`. - Tighten wording in `test_creation_tx_regular_check_subtracts_intrinsic_state` and add assertion messages that spell out the old-vs-new formula discrimination. - Apply ruff format (drop an unneeded line wrap on `create_intrinsic_regular` in `test_creation_tx_state_check_exceeded`). Co-authored-by: kclowes <kclowes@users.noreply.github.com>

spencer-tb

LGTM! Thanks!

…ck at tx inclusion (#2703) * feat(tests): 8037 Check 2d gas before tx inclusion * feat(spec-specs): More tests for 2d tx inclusion spec change * fix(tests): consolidate state gas boundary tests and clean docstrings Cleanups to the per-dimension block gas inclusion tests: - Combine `test_block_state_gas_limit_exact_fit` and `test_block_state_gas_limit_exceeded` into `test_block_state_gas_limit_boundary` parametrized `delta=[0, 1]` (ids `exact_fit`, `exceeded`) and inline the `_block_state_gas_limit_setup` helper. Removes ~45 lines with no coverage loss. - Fix docstring references in both boundary cases: state contribution is `tx.gas - intrinsic_regular`, not `tx.gas - TX_MAX_GAS_LIMIT`. - Tighten wording in `test_creation_tx_regular_check_subtracts_intrinsic_state` and add assertion messages that spell out the old-vs-new formula discrimination. - Apply ruff format (drop an unneeded line wrap on `create_intrinsic_regular` in `test_creation_tx_state_check_exceeded`). Co-authored-by: kclowes <kclowes@users.noreply.github.com> --------- Co-authored-by: spencer-tb <spencer.tb@ethereum.org>

…ck at tx inclusion (ethereum#2703) * feat(tests): 8037 Check 2d gas before tx inclusion * feat(spec-specs): More tests for 2d tx inclusion spec change * fix(tests): consolidate state gas boundary tests and clean docstrings Cleanups to the per-dimension block gas inclusion tests: - Combine `test_block_state_gas_limit_exact_fit` and `test_block_state_gas_limit_exceeded` into `test_block_state_gas_limit_boundary` parametrized `delta=[0, 1]` (ids `exact_fit`, `exceeded`) and inline the `_block_state_gas_limit_setup` helper. Removes ~45 lines with no coverage loss. - Fix docstring references in both boundary cases: state contribution is `tx.gas - intrinsic_regular`, not `tx.gas - TX_MAX_GAS_LIMIT`. - Tighten wording in `test_creation_tx_regular_check_subtracts_intrinsic_state` and add assertion messages that spell out the old-vs-new formula discrimination. - Apply ruff format (drop an unneeded line wrap on `create_intrinsic_regular` in `test_creation_tx_state_check_exceeded`). Co-authored-by: kclowes <kclowes@users.noreply.github.com> --------- Co-authored-by: spencer-tb <spencer.tb@ethereum.org>

…ck at tx inclusion (#2703) * feat(tests): 8037 Check 2d gas before tx inclusion * feat(spec-specs): More tests for 2d tx inclusion spec change * fix(tests): consolidate state gas boundary tests and clean docstrings Cleanups to the per-dimension block gas inclusion tests: - Combine `test_block_state_gas_limit_exact_fit` and `test_block_state_gas_limit_exceeded` into `test_block_state_gas_limit_boundary` parametrized `delta=[0, 1]` (ids `exact_fit`, `exceeded`) and inline the `_block_state_gas_limit_setup` helper. Removes ~45 lines with no coverage loss. - Fix docstring references in both boundary cases: state contribution is `tx.gas - intrinsic_regular`, not `tx.gas - TX_MAX_GAS_LIMIT`. - Tighten wording in `test_creation_tx_regular_check_subtracts_intrinsic_state` and add assertion messages that spell out the old-vs-new formula discrimination. - Apply ruff format (drop an unneeded line wrap on `create_intrinsic_regular` in `test_creation_tx_state_check_exceeded`). Co-authored-by: kclowes <kclowes@users.noreply.github.com> --------- Co-authored-by: spencer-tb <spencer.tb@ethereum.org>

kclowes changed the base branch from forks/amsterdam to eips/amsterdam/eip-8037 April 16, 2026 20:51

kclowes force-pushed the feat/8037-tx-inclusion-2d-check branch from 762bcfb to d6b99c2 Compare April 16, 2026 20:55

kclowes changed the title ~~Feat/8037 tx inclusion 2d check~~ Feat(tests): 8037 Transaction inclusion 2d check Apr 16, 2026

kclowes changed the title ~~Feat(tests): 8037 Transaction inclusion 2d check~~ Feat(tests): 8037 Transaction inclusion 2D check Apr 16, 2026

kclowes force-pushed the feat/8037-tx-inclusion-2d-check branch from d6b99c2 to 1568424 Compare April 16, 2026 20:57

kclowes marked this pull request as ready for review April 17, 2026 15:21

spencer-tb force-pushed the eips/amsterdam/eip-8037 branch from 3e1d7c4 to 44b47cc Compare April 17, 2026 16:01

kclowes force-pushed the feat/8037-tx-inclusion-2d-check branch 2 times, most recently from c095a54 to 76392ef Compare April 17, 2026 21:01

kclowes added 2 commits April 19, 2026 15:05

feat(tests): 8037 Check 2d gas before tx inclusion

1b0bf3e

feat(spec-specs): More tests for 2d tx inclusion spec change

7528f9c

spencer-tb added A-spec-specs Area: Specification—The Ethereum specification itself (eg. `src/ethereum/*`) C-feat Category: an improvement or new feature P-high A-tests Area: Consensus tests. labels Apr 19, 2026

spencer-tb self-requested a review April 19, 2026 13:13

spencer-tb added this to the Pre-interop - BAL milestone Apr 19, 2026

spencer-tb changed the title ~~Feat(tests): 8037 Transaction inclusion 2D check~~ feat(spec-specs, tests): EIP-8037 - 2D transaction inclusion check Apr 19, 2026

spencer-tb force-pushed the feat/8037-tx-inclusion-2d-check branch from 76392ef to de20761 Compare April 19, 2026 13:17

spencer-tb changed the title ~~feat(spec-specs, tests): EIP-8037 - 2D transaction inclusion check~~ feat(spec-specs, tests): EIP-8037 - per-dimension block gas limit check at tx inclusion Apr 19, 2026

spencer-tb modified the milestones: Pre-interop - BAL, Pre-interop - glamsterdam-devnets Apr 19, 2026

spencer-tb force-pushed the feat/8037-tx-inclusion-2d-check branch from de20761 to 75df96e Compare April 19, 2026 13:22

spencer-tb mentioned this pull request Apr 19, 2026

feat(spec-specs): EIP-8037 spec changes for bal-devnet-4 #2697

Closed

4 tasks

spencer-tb approved these changes Apr 19, 2026

View reviewed changes

spencer-tb merged commit f253db1 into ethereum:eips/amsterdam/eip-8037 Apr 19, 2026
13 of 16 checks passed

spencer-tb mentioned this pull request Apr 20, 2026

feat(tests): EIP-8037 additional state gas coverage #2718

Merged

4 tasks

jangko mentioned this pull request Apr 21, 2026

bal-devnet-4 status-im/nimbus-eth1#4158

Draft

9 tasks

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

feat(spec-specs, tests): EIP-8037 - per-dimension block gas limit check at tx inclusion#2703

feat(spec-specs, tests): EIP-8037 - per-dimension block gas limit check at tx inclusion#2703
spencer-tb merged 3 commits intoethereum:eips/amsterdam/eip-8037from
kclowes:feat/8037-tx-inclusion-2d-check

kclowes commented Apr 16, 2026 •

edited by spencer-tb

Loading

Uh oh!

codecov Bot commented Apr 16, 2026 •

edited

Loading

Uh oh!

spencer-tb left a comment

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

2 participants

Conversation

kclowes commented Apr 16, 2026 • edited by spencer-tb Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

🗒️ Description

Spec Change

Tests

🔗 Related Issues or PRs

✅ Checklist

Uh oh!

codecov Bot commented Apr 16, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Codecov Report

Uh oh!

spencer-tb left a comment

Choose a reason for hiding this comment

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

2 participants

kclowes commented Apr 16, 2026 •

edited by spencer-tb

Loading

codecov Bot commented Apr 16, 2026 •

edited

Loading