feat(bal): Extend BAL support within framework

- Add BAL to engine execution payload as defined in:
  https://github.com/ethereum/consensus-specs/pull/4526/files#diff-4b950f0c895b4d521c9e8103d638e73a4c7746c6aea51250994425a1efd6f4c8R55

- Add BAL support for state tests to be able to create blockchain tests

Author: fselmo

src/ethereum_test_fixtures/blockchain.py

@@ -279,15 +279,17 @@ def from_fixture_header(
         header: FixtureHeader,
         transactions: List[Transaction],
         withdrawals: List[Withdrawal] | None,
+        block_access_list: Bytes | None = None,
     ) -> "FixtureExecutionPayload":
         """
         Return FixtureExecutionPayload from a FixtureHeader, a list
-        of transactions and a list of withdrawals.
+        of transactions, a list of withdrawals, and an optional block access list.
         """
         return cls(
             **header.model_dump(exclude={"rlp"}, exclude_none=True),
             transactions=[tx.rlp() for tx in transactions],
             withdrawals=withdrawals,
+            block_access_list=block_access_list,
         )
 
 
@@ -342,6 +344,7 @@ def from_fixture_header(
         transactions: List[Transaction],
         withdrawals: List[Withdrawal] | None,
         requests: List[Bytes] | None,
+        block_access_list: Bytes | None = None,
         **kwargs,
     ) -> "FixtureEngineNewPayload":
         """Create `FixtureEngineNewPayload` from a `FixtureHeader`."""
@@ -355,6 +358,7 @@ def from_fixture_header(
             header=header,
             transactions=transactions,
             withdrawals=withdrawals,
+            block_access_list=block_access_list,
         )
 
         params: List[Any] = [execution_payload]

src/ethereum_test_specs/blockchain.py

@@ -369,6 +369,7 @@ def get_fixture_engine_new_payload(self) -> FixtureEngineNewPayload:
             requests=self.requests,
             validation_error=self.expected_exception,
             error_code=self.engine_api_error_code,
+            block_access_list=self.block_access_list.rlp if self.block_access_list else None,
         )
 
     def verify_transactions(self, transition_tool_exceptions_reliable: bool) -> List[int]:

src/ethereum_test_specs/state.py

@@ -29,7 +29,12 @@
     FixtureTransaction,
 )
 from ethereum_test_forks import Fork
-from ethereum_test_types import Alloc, Environment, Transaction
+from ethereum_test_types import (
+    Alloc,
+    BlockAccessListExpectation,
+    Environment,
+    Transaction,
+)
 
 from .base import BaseTest, OpMode
 from .blockchain import Block, BlockchainTest, Header
@@ -50,6 +55,7 @@ class StateTest(BaseTest):
     engine_api_error_code: Optional[EngineAPIError] = None
     blockchain_test_header_verify: Optional[Header] = None
     blockchain_test_rlp_modifier: Optional[Header] = None
+    expected_block_access_list: Optional[BlockAccessListExpectation] = None
     chain_id: int = 1
 
     supported_fixture_formats: ClassVar[Sequence[FixtureFormat | LabeledFixtureFormat]] = [
@@ -164,6 +170,7 @@ def generate_blockchain_test(self, *, fork: Fork) -> BlockchainTest:
             pre=self.pre,
             post=self.post,
             blocks=self._generate_blockchain_blocks(fork=fork),
+            expected_block_access_list=self.expected_block_access_list,
         )
 
     def make_state_test_fixture(