feat(tools,forks): Extend EEST to support EIP-7928 payload

pyproject.toml

@@ -50,6 +50,7 @@ dependencies = [
     "pytest-regex>=0.2.0,<0.3",
     "eth-abi>=5.2.0",
     "joblib>=1.4.2",
+    "pokebal",
 ]
 
 [project.urls]
@@ -148,3 +149,4 @@ ignore-words-list = "ingenuous"
 
 [tool.uv.sources]
 ethereum-spec-evm-resolver = { git = "https://github.com/spencer-tb/ethereum-spec-evm-resolver", rev = "ee273e7344e24a739ebfbf0ea1f758530c4d032b" }
+pokebal = { git = "https://github.com/raxhvl/pokebal.git", subdirectory = "packages/py" }

src/ethereum_test_fixtures/blockchain.py

@@ -160,6 +160,7 @@ class FixtureHeader(CamelModel):
         None
     )
     requests_hash: Annotated[Hash, HeaderForkRequirement("requests")] | None = Field(None)
+    bal_hash: Annotated[Hash, HeaderForkRequirement("bal_hash")] | None = Field(None)
 
     fork: Fork | None = Field(None, exclude=True)
 
@@ -243,6 +244,7 @@ def genesis(cls, fork: Fork, env: Environment, state_root: Hash) -> "FixtureHead
             ),
             parent_beacon_block_root=env.parent_beacon_block_root,
             requests_hash=Requests() if fork.header_requests_required(0, 0) else None,
+            bal_hash=Hash(0) if fork.header_bal_hash_required(0, 0) else None,
             fork=fork,
         )
 
@@ -420,6 +422,9 @@ class FixtureBlockBase(CamelModel):
     txs: List[FixtureTransaction] = Field(default_factory=list, alias="transactions")
     ommers: List[FixtureHeader] = Field(default_factory=list, alias="uncleHeaders")
     withdrawals: List[FixtureWithdrawal] | None = None
+    block_access_lists: Bytes | None = Field(
+        None, description="Serialized EIP-7928 Block Access Lists"
+    )
 
     @computed_field(alias="blocknumber")  # type: ignore[misc]
     @cached_property

src/ethereum_test_forks/base_fork.py

@@ -216,6 +216,12 @@ def header_requests_required(cls, block_number: int = 0, timestamp: int = 0) ->
         """Return true if the header must contain beacon chain requests."""
         pass
 
+    @classmethod
+    @abstractmethod
+    def header_bal_hash_required(cls, block_number: int = 0, timestamp: int = 0) -> bool:
+        """Return true if the header must contain block access list hash."""
+        pass
+
     # Gas related abstract methods
 
     @classmethod

src/ethereum_test_forks/forks/forks.py

@@ -1473,3 +1473,12 @@ def is_deployed(cls) -> bool:
     def solc_min_version(cls) -> Version:
         """Return minimum version of solc that supports this fork."""
         return Version.parse("1.0.0")  # set a high version; currently unknown
+
+
+class BlockAccessLists(Prague):
+    """A development fork for Block Access Lists."""
+
+    @classmethod
+    def header_bal_hash_required(cls, block_number: int = 0, timestamp: int = 0) -> bool:
+        """Hash of the block access list is required starting from this fork."""
+        return True

src/ethereum_test_specs/blockchain.py

@@ -121,6 +121,7 @@ class Header(CamelModel):
     excess_blob_gas: Removable | HexNumber | None = None
     parent_beacon_block_root: Removable | Hash | None = None
     requests_hash: Removable | Hash | None = None
+    bal_hash: Removable | Hash | None = None
 
     REMOVE_FIELD: ClassVar[Removable] = Removable()
     """
@@ -240,6 +241,10 @@ class Block(Header):
     """
     Post state for verification after block execution in BlockchainTest
     """
+    block_access_lists: Bytes | None = Field(None)
+    """
+        EIP-7928: Block-level access lists (serialized).
+    """
 
     def set_environment(self, env: Environment) -> Environment:
         """
@@ -269,6 +274,13 @@ def set_environment(self, env: Environment) -> Environment:
             new_env_values["blob_gas_used"] = self.blob_gas_used
         if not isinstance(self.parent_beacon_block_root, Removable):
             new_env_values["parent_beacon_block_root"] = self.parent_beacon_block_root
+        if not isinstance(self.requests_hash, Removable) and self.block_access_lists is not None:
+            new_env_values["bal_hash"] = self.block_access_lists.keccak256()
+        if (
+            not isinstance(self.block_access_lists, Removable)
+            and self.block_access_lists is not None
+        ):
+            new_env_values["block_access_lists"] = self.block_access_lists
         """
         These values are required, but they depend on the previous environment,
         so they can be calculated here.
@@ -308,6 +320,7 @@ class BuiltBlock(CamelModel):
     expected_exception: BLOCK_EXCEPTION_TYPE = None
     engine_api_error_code: EngineAPIError | None = None
     fork: Fork
+    block_access_lists: Bytes
 
     def get_fixture_block(self) -> FixtureBlock | InvalidFixtureBlock:
         """Get a FixtureBlockBase from the built block."""
@@ -319,6 +332,7 @@ def get_fixture_block(self) -> FixtureBlock | InvalidFixtureBlock:
                 if self.withdrawals is not None
                 else None
             ),
+            block_access_lists=self.block_access_lists,
             fork=self.fork,
         ).with_rlp(txs=self.txs)
 
@@ -574,6 +588,7 @@ def generate_block_data(
             expected_exception=block.exception,
             engine_api_error_code=block.engine_api_error_code,
             fork=fork,
+            block_access_lists=block.block_access_lists,
         )
 
         try:

src/ethereum_test_types/block_types.py

@@ -114,6 +114,9 @@ class Environment(EnvironmentGeneric[ZeroPaddedHexNumber]):
     withdrawals: List[Withdrawal] | None = Field(None)
     extra_data: Bytes = Field(Bytes(b"\x00"), exclude=True)
 
+    # EIP-7928: Block-level access lists
+    bal_hash: Hash | None = Field(None)
+
     @computed_field  # type: ignore[misc]
     @cached_property
     def parent_hash(self) -> Hash | None:

tests/unscheduled/eip7928_block_level_access_lists/spec.py

@@ -2,6 +2,9 @@
 
 from dataclasses import dataclass
 
+ACTIVATION_FORK_NAME = "BlockAccessLists"
+"""The fork name for EIP-7928 activation."""
+
 
 @dataclass(frozen=True)
 class ReferenceSpec:

tests/unscheduled/eip7928_block_level_access_lists/test_validate_bal.py

@@ -1,14 +1,23 @@
 """Tests for validating EIP-7928: Block-level Access Lists (BAL)."""
 
 import pytest
+from pokebal.bal.types import BlockAccessList
 
 from ethereum_test_tools import (
+    Account,
     Alloc,
+    Block,
     BlockchainTestFiller,
+    Transaction,
 )
 
+from .spec import ACTIVATION_FORK_NAME, ref_spec_7928
 
-@pytest.mark.valid_from("Amsterdam")
+REFERENCE_SPEC_GIT_PATH = ref_spec_7928.git_path
+REFERENCE_SPEC_VERSION = ref_spec_7928.version
+
+
+@pytest.mark.valid_from(ACTIVATION_FORK_NAME)
 class TestBALValidity:
     """Test BAL validity and data structure integrity."""
 
@@ -18,8 +27,40 @@ def test_bal_hash_basic_transaction(
         blockchain_test: BlockchainTestFiller,
     ):
         """Test BAL hash generation for basic ETH transfer."""
-        # TODO: Implement BAL hash validation for basic ETH transfer
-        pass
+        # Setup accounts for basic ETH transfer
+
+        # TODO: Populate BAL.
+        bal = BlockAccessList()
+
+        transfer_amount = 1000
+        sender = pre.fund_eoa()
+        recipient = pre.fund_eoa(amount=0)
+
+        # Create a basic ETH transfer transaction
+        tx = Transaction(
+            sender=sender,
+            to=recipient,
+            value=1000,
+        )
+
+        # Create block with custom header that includes BAL hash
+        block = Block(txs=[tx], block_access_lists=bal.serialize())
+
+        # Execute the blockchain test
+        blockchain_test(
+            pre=pre,
+            blocks=[block],
+            post={
+                sender: Account(
+                    nonce=1,
+                ),
+                recipient: Account(balance=transfer_amount),
+            },
+        )
+
+        # Note: In the generated fixture, the block header will include:
+        # - bal_hash: the computed hash of the Block Access List
+        # - bal_data: the SSZ-encoded Block Access List data (when framework supports it)
 
     def test_bal_hash_storage_operations(
         self,
@@ -103,7 +144,7 @@ def test_bal_failed_transaction_inclusion(
         pass
 
 
-@pytest.mark.valid_from("Amsterdam")
+@pytest.mark.valid_from(ACTIVATION_FORK_NAME)
 class TestBALEncoding:
     """Test SSZ encoding/decoding of BAL data structures."""
 
@@ -153,7 +194,7 @@ def test_ssz_encoding_full_bal(
         pass
 
 
-@pytest.mark.valid_from("Amsterdam")
+@pytest.mark.valid_from(ACTIVATION_FORK_NAME)
 class TestBALEdgeCases:
     """Test edge cases and error conditions for BAL."""
 
@@ -203,7 +244,7 @@ def test_bal_maximum_block_size(
         pass
 
 
-@pytest.mark.valid_from("Amsterdam")
+@pytest.mark.valid_from(ACTIVATION_FORK_NAME)
 class TestBALValidationFailures:
     """Test validation failure scenarios for malformed or incorrect BALs."""
 
@@ -244,7 +285,7 @@ def test_malformed_ssz_rejection(
         pass
 
 
-@pytest.mark.valid_from("Amsterdam")
+@pytest.mark.valid_from(ACTIVATION_FORK_NAME)
 class TestBALLimits:
     """Test EIP-7928 specification limits and boundaries."""
 
@@ -357,7 +398,7 @@ def test_hash_size_validation(
         pass
 
 
-@pytest.mark.valid_from("Amsterdam")
+@pytest.mark.valid_from(ACTIVATION_FORK_NAME)
 class TestBALBoundaryConditions:
     """Test boundary conditions and edge cases for EIP-7928 limits."""