feat(tests): block rlp size limit eip-7934 test cases.

Co-authored-by: Mario Vega <[email protected]>
Co-authored-by: felipe <[email protected]>

Author: 3 people

docs/CHANGELOG.md

@@ -71,6 +71,7 @@ Users can select any of the artifacts depending on their testing needs for their
 - ✨ [EIP-7825](https://eips.ethereum.org/EIPS/eip-7825): Add test cases for the transaction gas limit of 30M gas ([#1711](https://github.com/ethereum/execution-spec-tests/pull/1711)).
 - ✨ [EIP-7951](https://eips.ethereum.org/EIPS/eip-7951): add test cases for `P256VERIFY` precompile to support secp256r1 curve [#1670](https://github.com/ethereum/execution-spec-tests/pull/1670).
 - ✨ Introduce blockchain tests for ZKEVM to cover the scenario of pure ether transfers [#1742](https://github.com/ethereum/execution-spec-tests/pull/1742).
+- ✨ [EIP-7934](https://eips.ethereum.org/EIPS/eip-7934): Add test cases for the block RLP max limit of 10MiB ([#1730](https://github.com/ethereum/execution-spec-tests/pull/1730)).
 
 ## [v4.5.0](https://github.com/ethereum/execution-spec-tests/releases/tag/v4.5.0) - 2025-05-14
 

src/ethereum_clis/__init__.py

@@ -10,13 +10,19 @@
 from .ethereum_cli import CLINotFoundInPathError, UnknownCLIError
 from .fixture_consumer_tool import FixtureConsumerTool
 from .transition_tool import TransitionTool
-from .types import Result, TransitionToolOutput
+from .types import (
+    BlockExceptionWithMessage,
+    Result,
+    TransactionExceptionWithMessage,
+    TransitionToolOutput,
+)
 
 TransitionTool.set_default_tool(ExecutionSpecsTransitionTool)
 FixtureConsumerTool.set_default_tool(GethFixtureConsumer)
 
 __all__ = (
     "BesuTransitionTool",
+    "BlockExceptionWithMessage",
     "CLINotFoundInPathError",
     "EthereumJSTransitionTool",
     "EvmoneExceptionMapper",
@@ -29,6 +35,7 @@
     "NethtestFixtureConsumer",
     "NimbusTransitionTool",
     "Result",
+    "TransactionExceptionWithMessage",
     "TransitionTool",
     "TransitionToolOutput",
     "UnknownCLIError",

src/ethereum_clis/clis/besu.py

@@ -262,6 +262,10 @@ class BesuExceptionMapper(ExceptionMapper):
             "Payload BlobGasUsed does not match calculated BlobGasUsed"
         ),
         BlockException.INVALID_GAS_USED_ABOVE_LIMIT: "Header validation failed (FULL)",
+        BlockException.RLP_BLOCK_LIMIT_EXCEEDED: (
+            # TODO:
+            ""
+        ),
         # TODO EVMONE needs to differentiate when the section is missing in the header or body
         EOFException.MISSING_STOP_OPCODE: "err: no_terminating_instruction",
         EOFException.MISSING_CODE_HEADER: "err: code_section_missing",

src/ethereum_clis/clis/erigon.py

@@ -40,6 +40,10 @@ class ErigonExceptionMapper(ExceptionMapper):
         BlockException.SYSTEM_CONTRACT_CALL_FAILED: "Unprecedented Syscall failure",
         BlockException.INVALID_REQUESTS: "invalid requests root hash in header",
         BlockException.INVALID_BLOCK_HASH: "invalid block hash",
+        BlockException.RLP_BLOCK_LIMIT_EXCEEDED: (
+            # TODO:
+            ""
+        ),
     }
     mapping_regex = {
         TransactionException.GAS_LIMIT_EXCEEDS_MAXIMUM: (

src/ethereum_clis/clis/geth.py

@@ -80,6 +80,10 @@ class GethExceptionMapper(ExceptionMapper):
         BlockException.INVALID_REQUESTS: "invalid requests hash",
         BlockException.SYSTEM_CONTRACT_CALL_FAILED: "system call failed to execute:",
         BlockException.INVALID_BLOCK_HASH: "blockhash mismatch",
+        BlockException.RLP_BLOCK_LIMIT_EXCEEDED: (
+            # TODO:
+            ""
+        ),
         # TODO EVMONE needs to differentiate when the section is missing in the header or body
         EOFException.MISSING_STOP_OPCODE: "err: no_terminating_instruction",
         EOFException.MISSING_CODE_HEADER: "err: code_section_missing",

src/ethereum_clis/clis/nethermind.py

@@ -360,6 +360,10 @@ class NethermindExceptionMapper(ExceptionMapper):
         BlockException.INVALID_GAS_USED_ABOVE_LIMIT: (
             "ExceededGasLimit: Gas used exceeds gas limit."
         ),
+        BlockException.RLP_BLOCK_LIMIT_EXCEEDED: (
+            # TODO:
+            ""
+        ),
         TransactionException.INVALID_DEPOSIT_EVENT_LAYOUT: (
             "DepositsInvalid: Invalid deposit event layout:"
         ),

src/ethereum_clis/clis/nimbus.py

@@ -6,6 +6,7 @@
 from typing import ClassVar, Dict, Optional
 
 from ethereum_test_exceptions import (
+    BlockException,
     EOFException,
     ExceptionBase,
     ExceptionMapper,
@@ -93,6 +94,10 @@ class NimbusExceptionMapper(ExceptionMapper):
         TransactionException.INTRINSIC_GAS_TOO_LOW: "intrinsic gas too low",
         TransactionException.INTRINSIC_GAS_BELOW_FLOOR_GAS_COST: "intrinsic gas too low",
         TransactionException.INITCODE_SIZE_EXCEEDED: "max initcode size exceeded",
+        BlockException.RLP_BLOCK_LIMIT_EXCEEDED: (
+            # TODO:
+            ""
+        ),
         # TODO EVMONE needs to differentiate when the section is missing in the header or body
         EOFException.MISSING_STOP_OPCODE: "err: no_terminating_instruction",
         EOFException.MISSING_CODE_HEADER: "err: code_section_missing",

src/ethereum_clis/clis/reth.py

@@ -37,6 +37,10 @@ class RethExceptionMapper(ExceptionMapper):
         BlockException.INVALID_STATE_ROOT: "mismatched block state root",
         BlockException.INVALID_BLOCK_HASH: "block hash mismatch",
         BlockException.INVALID_GAS_USED: "block gas used mismatch",
+        BlockException.RLP_BLOCK_LIMIT_EXCEEDED: (
+            # TODO:
+            ""
+        ),
     }
     mapping_regex = {
         TransactionException.NONCE_MISMATCH_TOO_LOW: r"nonce \d+ too low, expected \d+",

src/ethereum_test_exceptions/exceptions.py

@@ -548,6 +548,10 @@ class BlockException(ExceptionBase):
     """
     Block withdrawals address is rlp of invalid address != 20 bytes.
     """
+    RLP_BLOCK_LIMIT_EXCEEDED = auto()
+    """
+    Block's rlp encoding is larger than the allowed limit.
+    """
     INVALID_REQUESTS = auto()
     """
     Block's requests are invalid.

src/ethereum_test_forks/base_fork.py

@@ -343,6 +343,12 @@ def transaction_gas_limit_cap(cls, block_number: int = 0, timestamp: int = 0) ->
         """Return the transaction gas limit cap, or None if no limit is imposed."""
         pass
 
+    @classmethod
+    @abstractmethod
+    def block_rlp_size_limit(cls, block_number: int = 0, timestamp: int = 0) -> int | None:
+        """Return the maximum RLP size of a block in bytes, or None if no limit is imposed."""
+        pass
+
     @classmethod
     @abstractmethod
     def precompiles(cls, block_number: int = 0, timestamp: int = 0) -> List[Address]:

src/ethereum_test_forks/forks/forks.py

@@ -359,6 +359,11 @@ def transaction_gas_limit_cap(cls, block_number: int = 0, timestamp: int = 0) ->
         """At Genesis, no transaction gas limit cap is imposed."""
         return None
 
+    @classmethod
+    def block_rlp_size_limit(cls, block_number: int = 0, timestamp: int = 0) -> int | None:
+        """At Genesis, no RLP block size limit is imposed."""
+        return None
+
     @classmethod
     def precompiles(cls, block_number: int = 0, timestamp: int = 0) -> List[Address]:
         """At Genesis, no pre-compiles are present."""
@@ -1354,6 +1359,13 @@ def transaction_gas_limit_cap(cls, block_number: int = 0, timestamp: int = 0) ->
         """At Osaka, transaction gas limit is capped at 30 million."""
         return 30_000_000
 
+    @classmethod
+    def block_rlp_size_limit(cls, block_number: int = 0, timestamp: int = 0) -> int | None:
+        """From Osaka, block RLP size is limited as specified in EIP-7934."""
+        max_block_size = 10_485_760
+        safety_margin = 2_097_152
+        return max_block_size - safety_margin
+
     @classmethod
     def is_deployed(cls) -> bool:
         """