Skip to content

feat(specs): EIP-7928 - Add gas used list to block access list#1723

Closed
nerolation wants to merge 9 commits intoethereum:eips/amsterdam/eip-7928from
nerolation:add-gas-used
Closed

feat(specs): EIP-7928 - Add gas used list to block access list#1723
nerolation wants to merge 9 commits intoethereum:eips/amsterdam/eip-7928from
nerolation:add-gas-used

Conversation

@nerolation
Copy link
Contributor

@nerolation nerolation commented Oct 31, 2025

Add gas_used list to block access list to enable better parallelization strategies.

Discussion here.

fselmo and others added 9 commits October 30, 2025 20:34
@fselmo
feat(specs): create Amsterdam fork from Osaka
1f23a42
@nerolation @fselmo
feat(specs): Implement EIP-7928: Block-Level Access Lists
f361021 
- bal -> block_access_list; re-add custom rlp encoding for block access list
- bytes to uint
- move away from method-style

- Update EIP-7928 implementation: system contracts at index 0, migrate to RLP
  - System contracts (parent hash, beacon root) now use block_access_index 0
  - Transactions use block_access_index 1 to len(transactions)
  - Post-execution changes use block_access_index len(transactions) + 1
  - Migrated from SSZ to RLP encoding as per updated EIP-7928 spec
  - Updated all tests to match new API and structure
  - Replaced tx_index with block_access_index throughout codebase

- add system contract logic
- add markdown docstrings
- update BAL format; address comments
- ssz encoding and bal validation
- six ssz types
- bal tests
- balspecs

fix: do not track setting empty code to a new account (ethereum#19)
fix: track implicit SLOAD within SSTORE for OOG cases (ethereum#18)
refactor: Put back explicit acct tracking outside 7702 delegation path (ethereum#17)
fix non-tracked 7702 authority for invalid delegations (ethereum#16)
    * fix non-tracked 7702 authority for invalid delegations
    * fix: lint issues
    * fix: track delegation target when loaded as call target
    * fix: track delegation target when loaded as call target from call
      opcodes
    * chore: fix issues with documentation generation

Fix self-destruct cases with pre-execution balance cache / tracking
    * fix self-destruct implementation
    * fix self-destruct tracking balance
    * fix it in the bal finalization by filtering
    * add balance reset and fix tests
    * simplify pre-balance tracking not using snapshots

fix duplicated code entries for in transaction self destruct
fix self destruct in same transaction bug
fix call/delagate call tracking bug
fix zero-value transfer tracking (ethereum#6)
    * fix zero-value transfer tracking
    * fix reverted frame tracking
    * rename variables
    * fix missing addresses bug
    * fix: docs run & move imports to top of file

refactor: move rlp_utils to block_access_lists; bal -> block_access_lists
Some remaining fixes due to large refactor in `forks/osaka`:

- Move BALs from amsterdam -> forks/amsterdam
- rename: build -> build_block_access_list
- fix docc issues

move state change tracker to State

correct system contract addresses

Fixes to communicate with BALs EEST branch:

- fix(bal): Initialize the state tracker before system contract calls

- We were missing system contract calls to beacon roots and history
  contracts. This change initializes the state tracker before system
  contract calls and passes the tracker to these calls if post-Amsterdam.

- fix(docs): Fix issues with toxenvs: lint, doc, json_infra
- fix(t8n): Only initialize the bal_change_tracker for amsterdam
- feat(fork criteria): Index upcoming forks for better ordering / fix issues
- chore(forks): Fix issues from lint after rebase with Osaka latest
- fix(setuptools): Update packages to include amsterdam
- chore(lint): Fix 'tox -e static' issues

- Fix bug in tracker
  Manually cherry-picked from e72991b
  Author: nerolation

- chore(tests): Attempt to resolve issues with CI tests
- chore(lint): fix issues from running ``tox -e static`` locally
- refactor(bal): Send BAL as a list over t8n tool
- fix(amsterdam): Add change tracker to state test in t8n
- chore(lint,tests): Fix tests after moving bal from osaka -> amsterdam
- chore(forks): Move bals from Osaka to Amsterdam
- chore(lint): Fix lint issues

- refactor(bal): Send the full bal object and bal_hash over t8n

  - If we send the full object over JSON, we can model_validate() on ESST.
  - If we send the hash, once we fill the pydantic model, we can get the rlp
    and the hash and validate that our objects match while only really
    validating the parts of the BAL we are interested in for each test.

- chore: point to working eest branch
- chore(bals): Remove unused SSZ utils.py
  The SSZ implementation is no longer needed as we are now using RLP
- refactor(bals): Clean up BAL module types and imports
  - Bytes -> Bytes32 type for storage slots
  - Remove unused imports / fix imports / fix linting
  - Update function signatures to match tracker

- fix(bals-tx-index): Track bal indexes in t8n
  Keep track of BAL index state in t8n
@fselmo
fix(specs): Fix issues with new ruff + mypy rules after rebase
d56b62e
@nerolation @fselmo
fix(specs): ensure coinbase appears in BAL for zero-tip transactions (e…
f9a0146 
…thereum#25)
@fselmo @nerolation
fix(specs): Fix zero value withdrawals BAL tracking (ethereum#29)
41f88a8 
* fix(specs): Fix zero value withdrawals BAL tracking

* docs(specs): rename 'finalize' to 'normalize' in comments

* docs(specs): remove reference to uint128 for balance tracking

---------

Co-authored-by: Toni Wahrstätter <51536394+nerolation@users.noreply.github.com>
Co-authored-by: Toni Wahrstätter <info@toniwahrstaetter.com>
@nerolation @fselmo
fix(specs): static upfront check for create + selfdestruct (ethereum#22)
20e189f
@raxhvl @fselmo
feat(tests): Implement more EIP-7928 tests
5548642 
refactor(tests): Prevent skips by splitting tests appropriately

fix(tests): Use valid inputs to precompile tests

chore(tests): linting fixes

feat(tests): EIP-7928 test_bal_storage_write_read_cross_frame

feat(tests): EIP-7928 test_bal_storage_write_read_same_frame

feat(tests): EIP-7928 test_bal_nonexistent_account_access

feat(tests): EIP-7928 test_bal_nonexistent_value_transfer

feat(tests): EIP-7928 test_bal_precompiles

feat(tests): EIP-7928 test_bal_withdrawal_to_coinbase_empty_block

feat(tests): EIP-7928 test_bal_withdrawal_to_coinbase

feat(tests): EIP-7928 test_bal_withdrawal_largest_amount

feat(tests): EIP-7928 test_bal_withdrawal_to_precompiles

fix(tests): expectation for nonexistent account in post

fix(specs,tests): Fix withdrawal tests for BALs issue with idx==0

- `self.txs.successfully_parsed` is a list of transaction indexes, not
  transactions. The "if tx" check here would then check `if 0` which
  parses as a boolean ``False``. This means we would skip counting the tx
  if index=0 was successful.

- Fixes some test expectations where `post_code` was being checked instead
  of ``new_code``.

feat(tests): EIP-7928 test_bal_zero_withdrawal

feat(tests): EIP-7928 test_bal_withdrawal_and_new_contract

feat(tests): EIP-7928 test_bal_withdrawal_and_selfdestruct

feat(tests): EIP-7928 test_bal_multiple_withdrawals_same_address

feat(tests): EIP-7928 withdrawal_and_value_transfer_same_address

feat(tests): EIP-7928 withdrawal_and_state_access_same_account

feat(tests): EIP-7928 test_bal_withdrawal_no_evm_execution

feat(tests): EIP-7928 test_bal_withdrawal_to_nonexistent_account

feat(tests): EIP-7928 test_bal_withdrawal_empty_block

feat(tests): EIP-7928 test_bal_withdrawal_with_transaction

feat(tests): EIP-7928 coinbase
@fselmo
fix(tests): Fix Amsterdam filling after rebase
f902fce
@nerolation
feat(specs): EIP-7928 - Add gas used list to block access list
5f883b6
@nerolation nerolation mentioned this pull request Oct 31, 2025
Closed
@fselmo
Copy link
Contributor

fselmo commented Oct 31, 2025

@nerolation should we wait for the breakout discussion for this and keep it open to discuss in the meantime?

@nerolation
Copy link
Contributor Author

nerolation commented Oct 31, 2025

Yeah, my feeling is this might be resolved during devconnect.

@nerolation nerolation mentioned this pull request Nov 2, 2025
Closed
3 tasks
Praniti1594 pushed a commit to Praniti1594/execution-specs that referenced this pull request Nov 2, 2025
@howjmay @danceratopz
fix(doc)s: fix misencoded newline in mermaid (ethereum#1723)
f1933b1 
Co-authored-by: danceratopz <danceratopz@gmail.com>
@fselmo fselmo force-pushed the eips/amsterdam/eip-7928 branch 2 times, most recently from be41913 to 20db73a Compare November 4, 2025 22:28
@fselmo
Copy link
Contributor

fselmo commented Nov 4, 2025

Sorry @nerolation, anytime this happens it means I re-created forks/amsterdam from the latest forks/osaka (main develop branch). We needed an update there so we could cut a release. Let me know if you want help rebasing this.

@fselmo fselmo mentioned this pull request Nov 4, 2025
Closed
@fselmo fselmo force-pushed the eips/amsterdam/eip-7928 branch 3 times, most recently from 44cb92a to e755ca3 Compare November 17, 2025 19:29
@fselmo fselmo force-pushed the eips/amsterdam/eip-7928 branch 2 times, most recently from 820ee4d to b72a0da Compare November 25, 2025 21:48
@fselmo fselmo force-pushed the eips/amsterdam/eip-7928 branch 3 times, most recently from 6967b93 to be73122 Compare December 15, 2025 19:37
@fselmo fselmo force-pushed the eips/amsterdam/eip-7928 branch from be73122 to ba0eec1 Compare December 17, 2025 22:12
@fselmo
Copy link
Contributor

fselmo commented Jan 7, 2026

@nerolation what's the status on this, should we close it or rebase and keep open? 👀

@nerolation
Copy link
Contributor Author

nerolation commented Jan 8, 2026

I think we can close it for now as it is not needed for the moment.
It might be needed if we want to ship FOCIL in the future as it would allow you to parallelize the IL validation check that would usually happen after validating all transactions:
https://github.com/ethereum/execution-specs/pull/1928/changes#diff-74fa24b5baaff0111dce07e4c323945a3fb5869a3dd24b72857179eae91fbe97R1081

For that, you'd need the gas used of the block.

@nerolation nerolation closed this Jan 8, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

@fselmo fselmo

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

3 participants

@nerolation @fselmo @raxhvl