Update EIP-8037: fixed CPSB + frame accounting by misilva73 · Pull Request #11573 · ethereum/EIPs

misilva73 · 2026-04-27T21:07:09Z

Cost-per-state-byte: dynamic → fixed

Replaces the dynamic, quantized cost_per_state_byte with a single constant CPSB = 1174, derived from a 100 GiB/year target at a 96M-gas reference limit.
Removes TARGET_STATE_GROWTH_PER_YEAR, CPSB_SIGNIFICANT_BITS, CPSB_OFFSET, and the entire quantization section.
Adds named byte-count constants: STATE_BYTES_PER_STORAGE_SET, STATE_BYTES_PER_NEW_ACCOUNT, STATE_BYTES_PER_AUTH_BASE.

State-gas accounting rules (opcode-level)

SSTORE: charged/refilled at end of opcode based on original/current/new value (handles the 0→x→0 case directly without a separate refund section).
CALL* / CREATE / CREATE2: state-gas charged at end of successful call frame; reverted or exceptionally-halted frames produce no debit.
SELFDESTRUCT: accounting deferred to end of transaction; refunds the account, code, and per-slot state-gas for accounts both created and destroyed in the same tx (per EIP-6780), bypassing the 20% refund cap.
Removes the now-subsumed sections on SSTORE 0→x→0 refund, frame-failure handling, CREATE-failure refund, same-tx SELFDESTRUCT refund, CALL-with-value to selfdestructed accounts, and the detailed contract-deployment gas formulas.

System contracts and system transactions

Adds a new section adjusting SYSTEM_CALL_GAS_LIMIT to 30M + STATE_BYTES_PER_STORAGE_SET × CPSB × SYSTEM_MAX_SSTORES_PER_CALL so existing system contracts retain their execution margin under the higher state-creation cost.

eth-bot · 2026-04-27T21:07:36Z

✅ All reviewers have approved.

abc-123-c · 2026-04-28T09:32:13Z

+
+On **revert** or **exceptional halt** of the top-level frame, all state changes are reverted and no state gas is charged. On exceptional halt specifically, remaining `gas_left` is set to zero and `execution_regular_gas_used` is increased consistently.
+
+##### Top-level frame end (transaction end)


Thanks, this is very useful for creating temporary contracts, however, refunding gas at the end of the transaction will make this mechanism ineffective on Monad.

rakita · 2026-04-28T09:48:07Z

+- `execution_regular_gas_used` encodes the total regular-gas used by the transaction, and it is initialized as `execution_regular_gas_used = intrinsic_regular_gas`.
+- `execution_state_gas_used` encodes the total state-gas used by the transaction, and it is initialized as `execution_state_gas_used = intrinsic_state_gas`.


Imo this does not belong here. I dont think evm is going to have those two counters as they are more specific for the block. So would propose to move those two inside Block-level gas accounting

I added these counters because we need to know how much gas was spend on state and regular gas at the end of the transaction. I don't think we can derive it only from the gas_left and reservoir counters, right?

jochem-brouwer

Partial review!

jochem-brouwer · 2026-04-28T10:18:50Z

+Before transaction execution, inclusion of a transaction in a block requires that:

-`intrinsic_regular_gas` and `intrinsic_state_gas` must be passed to `check_transaction` to perform the regular gas availability check.
+1. The transaction's **intrinsic costs are not higher than [EIP-7825](./eip-7825.md)'s transaction cap**. Concretely, `max(intrinsic_regular_gas, calldata_floor_gas_cost) <= TX_MAX_GAS_LIMIT`, where `intrinsic_regular_gas` includes all the intrinsic costs not associated with state created (i.e., base transaction cost, calldata, access lists, authorization base costs).


calldata_floor_cost is ambiguous because https://eips.ethereum.org/EIPS/eip-7981 adds authorization lists to floor costs

jochem-brouwer · 2026-04-28T10:36:13Z

+
+For each storage slot whose value differs between the frame's entry and exit states, the frame is charged or refunded as follows:
+
+- **New slot.** The slot's frame-exit value is non-zero and its transaction-entry value was zero. Charge `STATE_BYTES_PER_STORAGE_SET × CPSB` of state gas and increase `execution_state_gas_used` by the same amount.


(did not explicitly check this accounting)

Co-authored-by: Jochem Brouwer <jochembrouwer96@gmail.com>

abc-123-c · 2026-04-28T12:21:29Z

+
+##### Top-level frame end (transaction end)
+
+At the end of a successful transaction, the top-level frame applies the frame-end accounting above and additionally performs deferred `SELFDESTRUCT` processing. [EIP-6780](./eip-6780.md) defers actual account removal to the end of the transaction for accounts that were created and self-destructed in the same transaction; the corresponding state-gas effect is therefore also computed only at this point.


I want the gas refund for selfdestruct to happen immediately, similar to sstore, accepting a partial semantic break of eip6780.

This is not possible. A self-destructed account can still be called during execution and, in that scenario, the gas accounting will be a mess. We need to give the refund at the point where the account is destroyed, which is at the end of transaction.

This is not possible. A self-destructed account can still be called during execution and, in that scenario, the gas accounting will be a mess. We need to give the refund at the point where the account is destroyed, which is at the end of transaction.

Can you provide more details about the implementation issues? According to eip6780, an account still has execution logic after a selfdestruct operation. However, we cannot redeploy that address due to eip684. Therefore, we are left with only one option: revert. We can apply similar semantics to sstore. I know this isn't ideal, but it's necessary to support temporary contracts because we don't have dedicated opcodes for them, and also because late refunds wouldn't be possible on Monad because the amount of gas consumed is based on the gas limit, not the amount of gas used. We also expect that the gas supply should be used as efficiently as possible, as it is locked in until the end of the transaction.

This is no longer required by the spec as per ethereum/EIPs#11573.

Co-authored-by: Copilot <copilot@github.com>

github-actions · 2026-04-30T19:50:40Z

The commit 06b5c46 (as a parent of e632762) contains errors.
Please inspect the Run Summary for details.

misilva73 added 2 commits April 27, 2026 17:23

Draft v1

1d5fb30

Draft v2

a7a6eb5

github-actions Bot added c-update Modifies an existing proposal s-draft This EIP is a Draft t-core labels Apr 27, 2026

eth-bot changed the title ~~Update EIP 8037: fixed CPSB + frame accounting~~ Update EIP-8037: fixed CPSB + frame accounting Apr 27, 2026

Update system transactions

d2a0230

taratorio mentioned this pull request Apr 28, 2026

[DO-NOT-MERGE] [bal-devnet-5] execution: implement 8037 2d gas metering with journaling erigontech/erigon#20867

Closed

Add gas used rules

3f19078

abc-123-c reviewed Apr 28, 2026

View reviewed changes

rakita reviewed Apr 28, 2026

View reviewed changes

Fix errors in eip

b8193df

jochem-brouwer reviewed Apr 28, 2026

View reviewed changes

misilva73 and others added 3 commits April 28, 2026 13:27

Fix gas used error

8daeab6

Fix additional errors

421279b

Jochem's review

46faf2a

Co-authored-by: Jochem Brouwer <jochembrouwer96@gmail.com>

abc-123-c reviewed Apr 28, 2026

View reviewed changes

Small fixes from Jochem review

3535f03

edg-l mentioned this pull request Apr 28, 2026

chore(l1): sync EIP-8037 with EIPs PR 11573 lambdaclass/ethrex#6546

Open

2 tasks

taratorio mentioned this pull request Apr 28, 2026

[bal-devnet-5] Update/revise changes to EIP-8037: State Creation Gas Cost Increase erigontech/erigon#20887

Open

danceratopz added a commit to danceratopz/execution-specs that referenced this pull request Apr 28, 2026

chore: remove instrinsic_gas from fork.py::check_transaction()

7da7fb5

This is no longer required by the spec as per ethereum/EIPs#11573.

danceratopz added a commit to ethereum/execution-specs that referenced this pull request Apr 28, 2026

chore: remove instrinsic_gas from fork.py::check_transaction()

154d31f

This is no longer required by the spec as per ethereum/EIPs#11573.

Add erc-4337 interaction

731a276

github-actions Bot added the w-ci Waiting on CI to pass label Apr 29, 2026

Revert back to opcode level accounting

06b5c46

Co-authored-by: Copilot <copilot@github.com>

github-actions Bot removed the w-ci Waiting on CI to pass label Apr 30, 2026

github-actions Bot added the w-ci Waiting on CI to pass label Apr 30, 2026

Fix erc ref

f1e8ac8

github-actions Bot removed the w-ci Waiting on CI to pass label May 1, 2026

misilva73 marked this pull request as ready for review May 2, 2026 11:57

misilva73 requested a review from eth-bot as a code owner May 2, 2026 11:57


		On revert or exceptional halt of the top-level frame, all state changes are reverted and no state gas is charged. On exceptional halt specifically, remaining `gas_left` is set to zero and `execution_regular_gas_used` is increased consistently.

		##### Top-level frame end (transaction end)

		- `execution_regular_gas_used` encodes the total regular-gas used by the transaction, and it is initialized as `execution_regular_gas_used = intrinsic_regular_gas`.
		- `execution_state_gas_used` encodes the total state-gas used by the transaction, and it is initialized as `execution_state_gas_used = intrinsic_state_gas`.


		For each storage slot whose value differs between the frame's entry and exit states, the frame is charged or refunded as follows:

		- New slot. The slot's frame-exit value is non-zero and its transaction-entry value was zero. Charge `STATE_BYTES_PER_STORAGE_SET × CPSB` of state gas and increase `execution_state_gas_used` by the same amount.


		##### Top-level frame end (transaction end)

		At the end of a successful transaction, the top-level frame applies the frame-end accounting above and additionally performs deferred `SELFDESTRUCT` processing. [EIP-6780](./eip-6780.md) defers actual account removal to the end of the transaction for accounts that were created and self-destructed in the same transaction; the corresponding state-gas effect is therefore also computed only at this point.

Conversation

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

Uh oh!

Cost-per-state-byte: dynamic → fixed

State-gas accounting rules (opcode-level)

System contracts and system transactions

Uh oh!

eth-bot commented Apr 27, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

jochem-brouwer left a comment

Choose a reason for hiding this comment

Uh oh!

Uh oh!

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Choose a reason for hiding this comment

Uh oh!

github-actions Bot commented Apr 30, 2026

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

5 participants

misilva73 commented Apr 27, 2026 •

edited

Loading

eth-bot commented Apr 27, 2026 •

edited

Loading