feat(fw,tests): EIP-6110, EIP-7002, EIP-7251, EIP-7702: Pectra Devnet…

…-4 updates (#832)

* fix(forks): Update 7002, 7251 contracts

* feat(forks): Add 7685 methods

* fix(fw): Remove requests from block body, add as parameters for new payload

* refactor(tests): Refactor requests usages, add more 7685 tests

* feat(tests): EIP-7702, #8929 changes - Incomplete

* Update tests/prague/eip7702_set_code_tx/spec.py

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

* feat(exceptions): Add invalid authorization format exception

* new(tests): EIP 7702: chain id/nonce overflow tests

* new(tests): EIP 7702: delegation clearing test

* new(tests): EIP 7702: delegation clearing on failure test

* new(tests): EIP 7702: fixup

* new(tests): EIP 7702: test deployting a delegation-like contract

* fix(tests): EIP 7702: remove `test_set_code_to_zero_address`

* new(tests): EIP 7702: add `test_signature_s_out_of_range`

* fix(forks): EIP-7002,7251 contracts

* new(tests): EIP-7002: withdrawal request during fork

* fix(tests): EIP-7002: fixup

* fix(tests): EIP-7002: fixup

* new(tests): EIP-7251: consolidation requests during fork

* fix(tests): tox

* github: Add devnet-4 configs

* fix(github): feature devnet-4

* fix(tests): EIP-6110 conftest

* fix(github): feature

* fix(specs): Propagate `block.requests` to the Engine API params

* fix(tests): Fix override requests comparison for empty list

* fix(tox): whitelist

* fix(tests): EIP-7702: note in `test_tx_validity_nonce`

* new(tests): EIP-7702: Add invalid `v` (27, 28) for auth tuple test

* chore(hive): update hive client config file in test summary

* fix(plugins/execute): Requests

* fix(rpc): Support `engine_getPayloadV4`

* fix(plugins/execute): Support `engine_getPayloadV4`

* fix(tests): EIP-7702: test id

* fix(tests): EIP-7702: execute marks

---------

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

.github/configs/evm.yaml

@@ -17,4 +17,8 @@ eip7692-osaka:
 pectra-devnet-3:
   impl: ethjs
   repo: ethereumjs/ethereumjs-monorepo
-  ref: t8ntool
+  ref: t8ntool
+pectra-devnet-4:
+  impl: ethjs
+  repo: ethereumjs/ethereumjs-monorepo
+  ref: 7702-devnet-4-plus-t8ntool

.github/configs/feature.yaml

@@ -20,5 +20,9 @@ eip7692-osaka:
   solc: 0.8.21
 pectra-devnet-3:
   evm-type: pectra-devnet-3
-  fill-params: --fork=Prague -m "not slow and not 2537" ./tests/prague/
+  fill-params: --fork=Prague -m "not slow" ./tests/prague/
+  solc: 0.8.21
+pectra-devnet-4:
+  evm-type: pectra-devnet-4
+  fill-params: --fork=Prague -m "not slow and not eip_version_check" ./tests/prague/
   solc: 0.8.21

src/ethereum_clis/types.py

@@ -7,14 +7,7 @@
 from pydantic import Field
 
 from ethereum_test_base_types import Address, Bloom, Bytes, CamelModel, Hash, HexNumber
-from ethereum_test_types import (
-    Alloc,
-    ConsolidationRequest,
-    DepositRequest,
-    Environment,
-    Transaction,
-    WithdrawalRequest,
-)
+from ethereum_test_types import Alloc, Environment, Transaction
 
 
 class TransactionLog(CamelModel):
@@ -94,10 +87,8 @@ class Result(CamelModel):
     withdrawals_root: Hash | None = None
     excess_blob_gas: HexNumber | None = Field(None, alias="currentExcessBlobGas")
     blob_gas_used: HexNumber | None = None
-    requests_root: Hash | None = None
-    deposit_requests: List[DepositRequest] | None = None
-    withdrawal_requests: List[WithdrawalRequest] | None = None
-    consolidation_requests: List[ConsolidationRequest] | None = None
+    requests_hash: Hash | None = None
+    requests: List[Bytes] | None = None
 
 
 class TransitionToolInput(CamelModel):

src/ethereum_test_exceptions/exceptions.py

@@ -382,6 +382,10 @@ class TransactionException(ExceptionBase):
     """
     Transaction is a type 4 transaction and has an empty `to`.
     """
+    TYPE_4_INVALID_AUTHORIZATION_FORMAT = auto()
+    """
+    Transaction is type 4, but contains an authorization that has an invalid format.
+    """
 
 
 @unique

src/ethereum_test_fixtures/blockchain.py

@@ -26,18 +26,11 @@
 from ethereum_test_forks import Fork, Paris
 from ethereum_test_types.types import (
     AuthorizationTupleGeneric,
-    ConsolidationRequest,
-    ConsolidationRequestGeneric,
-    DepositRequest,
-    DepositRequestGeneric,
-    Requests,
     Transaction,
     TransactionFixtureConverter,
     TransactionGeneric,
     Withdrawal,
     WithdrawalGeneric,
-    WithdrawalRequest,
-    WithdrawalRequestGeneric,
 )
 
 from .base import BaseFixture
@@ -117,7 +110,7 @@ class FixtureHeader(CamelModel):
     parent_beacon_block_root: Annotated[Hash, HeaderForkRequirement("beacon_root")] | None = Field(
         None
     )
-    requests_root: Annotated[Hash, HeaderForkRequirement("requests")] | None = Field(None)
+    requests_hash: Annotated[Hash, HeaderForkRequirement("requests")] | None = Field(None)
 
     fork: Fork | None = Field(None, exclude=True)
 
@@ -210,17 +203,13 @@ class FixtureExecutionPayload(CamelModel):
 
     transactions: List[Bytes]
     withdrawals: List[Withdrawal] | None = None
-    deposit_requests: List[DepositRequest] | None = None
-    withdrawal_requests: List[WithdrawalRequest] | None = None
-    consolidation_requests: List[ConsolidationRequest] | None = None
 
     @classmethod
     def from_fixture_header(
         cls,
         header: FixtureHeader,
         transactions: List[Transaction],
         withdrawals: List[Withdrawal] | None,
-        requests: Requests | None,
     ) -> "FixtureExecutionPayload":
         """
         Returns a FixtureExecutionPayload from a FixtureHeader, a list
@@ -230,20 +219,20 @@ def from_fixture_header(
             **header.model_dump(exclude={"rlp"}, exclude_none=True),
             transactions=[tx.rlp for tx in transactions],
             withdrawals=withdrawals,
-            deposit_requests=requests.deposit_requests() if requests is not None else None,
-            withdrawal_requests=requests.withdrawal_requests() if requests is not None else None,
-            consolidation_requests=requests.consolidation_requests()
-            if requests is not None
-            else None,
         )
 
 
 EngineNewPayloadV1Parameters = Tuple[FixtureExecutionPayload]
 EngineNewPayloadV3Parameters = Tuple[FixtureExecutionPayload, List[Hash], Hash]
+EngineNewPayloadV4Parameters = Tuple[FixtureExecutionPayload, List[Hash], Hash, List[Bytes]]
 
 # Important: We check EngineNewPayloadV3Parameters first as it has more fields, and pydantic
 # has a weird behavior when the smaller tuple is checked first.
-EngineNewPayloadParameters = Union[EngineNewPayloadV3Parameters, EngineNewPayloadV1Parameters]
+EngineNewPayloadParameters = Union[
+    EngineNewPayloadV4Parameters,
+    EngineNewPayloadV3Parameters,
+    EngineNewPayloadV1Parameters,
+]
 
 
 class FixtureEngineNewPayload(CamelModel):
@@ -280,7 +269,7 @@ def from_fixture_header(
         header: FixtureHeader,
         transactions: List[Transaction],
         withdrawals: List[Withdrawal] | None,
-        requests: Requests | None,
+        requests: List[Bytes] | None,
         **kwargs,
     ) -> "FixtureEngineNewPayload":
         """
@@ -296,10 +285,21 @@ def from_fixture_header(
             header=header,
             transactions=transactions,
             withdrawals=withdrawals,
-            requests=requests,
         )
-        params: Tuple[FixtureExecutionPayload] | Tuple[FixtureExecutionPayload, List[Hash], Hash]
-        if fork.engine_new_payload_blob_hashes(header.number, header.timestamp):
+        params: EngineNewPayloadParameters
+        if (
+            fork.engine_new_payload_requests(header.number, header.timestamp)
+            and requests is not None
+        ):
+            parent_beacon_block_root = header.parent_beacon_block_root
+            assert parent_beacon_block_root is not None
+            params = (
+                execution_payload,
+                Transaction.list_blob_versioned_hashes(transactions),
+                parent_beacon_block_root,
+                requests,
+            )
+        elif fork.engine_new_payload_blob_hashes(header.number, header.timestamp):
             parent_beacon_block_root = header.parent_beacon_block_root
             assert parent_beacon_block_root is not None
             params = (
@@ -366,60 +366,13 @@ def from_withdrawal(cls, w: WithdrawalGeneric) -> "FixtureWithdrawal":
         return cls(**w.model_dump())
 
 
-class FixtureDepositRequest(DepositRequestGeneric[ZeroPaddedHexNumber]):
-    """
-    Structure to represent a single deposit request to be processed by the beacon
-    chain.
-    """
-
-    @classmethod
-    def from_deposit_request(cls, d: DepositRequestGeneric) -> "FixtureDepositRequest":
-        """
-        Returns a FixtureDepositRequest from a DepositRequest.
-        """
-        return cls(**d.model_dump())
-
-
-class FixtureWithdrawalRequest(WithdrawalRequestGeneric[ZeroPaddedHexNumber]):
-    """
-    Structure to represent a single withdrawal request to be processed by the beacon
-    chain.
-    """
-
-    @classmethod
-    def from_withdrawal_request(cls, d: WithdrawalRequestGeneric) -> "FixtureWithdrawalRequest":
-        """
-        Returns a FixtureWithdrawalRequest from a WithdrawalRequest.
-        """
-        return cls(**d.model_dump())
-
-
-class FixtureConsolidationRequest(ConsolidationRequestGeneric[ZeroPaddedHexNumber]):
-    """
-    Structure to represent a single consolidation request to be processed by the beacon
-    chain.
-    """
-
-    @classmethod
-    def from_consolidation_request(
-        cls, d: ConsolidationRequestGeneric
-    ) -> "FixtureConsolidationRequest":
-        """
-        Returns a FixtureConsolidationRequest from a ConsolidationRequest.
-        """
-        return cls(**d.model_dump())
-
-
 class FixtureBlockBase(CamelModel):
     """Representation of an Ethereum block within a test Fixture without RLP bytes."""
 
     header: FixtureHeader = Field(..., alias="blockHeader")
     txs: List[FixtureTransaction] = Field(default_factory=list, alias="transactions")
     ommers: List[FixtureHeader] = Field(default_factory=list, alias="uncleHeaders")
     withdrawals: List[FixtureWithdrawal] | None = None
-    deposit_requests: List[FixtureDepositRequest] | None = None
-    withdrawal_requests: List[FixtureWithdrawalRequest] | None = None
-    consolidation_requests: List[FixtureConsolidationRequest] | None = None
 
     @computed_field(alias="blocknumber")  # type: ignore[misc]
     @cached_property
@@ -429,7 +382,7 @@ def block_number(self) -> Number:
         """
         return Number(self.header.number)
 
-    def with_rlp(self, txs: List[Transaction], requests: Requests | None) -> "FixtureBlock":
+    def with_rlp(self, txs: List[Transaction]) -> "FixtureBlock":
         """
         Returns a FixtureBlock with the RLP bytes set.
         """
@@ -442,9 +395,6 @@ def with_rlp(self, txs: List[Transaction], requests: Requests | None) -> "Fixtur
         if self.withdrawals is not None:
             block.append([w.to_serializable_list() for w in self.withdrawals])
 
-        if requests is not None:
-            block.append(requests.to_serializable_list())
-
         return FixtureBlock(
             **self.model_dump(),
             rlp=eth_rlp.encode(block),