Merge branch 'main' into consolidation-modified

Author: marioevz

.markdownlint.yaml

@@ -1,7 +1,9 @@
 # All rules: https://github.com/DavidAnson/markdownlint#rules--aliases
-default: true  # Default state for all rules
-MD013: false  # line-length: We don't fill paragaraphs/limit line length
-MD034: false  # no-bare-urls - We use pymdownx.magiclink which allows bare urls
-MD046: false  # code-block-style - This doesn't play well with material's admonitions)
-MD024: false  # no-duplicate-heading - We use duplicate headings in the changelog.
-MD033: false  # no-inline-html - Too strict.
+default: true # Default state for all rules
+MD013: false # line-length: We don't fill paragaraphs/limit line length
+MD034: false # no-bare-urls - We use pymdownx.magiclink which allows bare urls
+MD046: false # code-block-style - This doesn't play well with material's admonitions)
+MD024: false # no-duplicate-heading - We use duplicate headings in the changelog.
+MD033: false # no-inline-html - Too strict.
+MD007:
+  indent: 4

README.md

@@ -180,7 +180,7 @@ If you encounter issues during the installation process, please refer to the [In
 
 Contributions and feedback are welcome. Please see the [online documentation](https://eest.ethereum.org/main/writing_tests/) for this repository's coding standards and help on implementing new tests.
 
-Pull requests containing only typo fixes will not be merged and must be accompanied by documentation, test or framework improvements.
+We welcome earnest newcomers, no matter how small the contribution! However, we currently do not accept contributions that only fix spelling or grammatical errors in documentation, code or elsewhere. Pull requests should have reasonable substance or resolve an existing repository open issue; pull requests from obvious airdrop farmers will be closed upon review.
 
 Care is required when adding PRs or issues for functionality that is live on Ethereum mainnet, please refer to the [Security Policy](SECURITY.md) for more information about reporting vulnerabilities and eligibility for the [bug bounty program](https://bounty.ethereum.org).
 

docs/CHANGELOG.md

@@ -20,13 +20,19 @@ Test fixtures for use by clients are available for each release on the [Github r
 
 - 🐞 Fix fixture tarball downloading with regular, non-Github release URLS and with numerical versions in regular release specs, e.g., `[email protected]` ([#1437](https://github.com/ethereum/execution-spec-tests/pull/1437)).
 
-### 📋 Misc
-
 ### 🧪 Test Cases
 
 - ✨ [EIP-7702](https://eips.ethereum.org/EIPS/eip-7702): Test precompile case in same transaction as delegation without extra gas in case of precompile code execution; parametrize all call opcodes in existing precompile test ([#1431](https://github.com/ethereum/execution-spec-tests/pull/1431)).
+- ✨ [EIP-7702](https://eips.ethereum.org/EIPS/eip-7702): Add invalid nonce authorizations tests for the case of multiple signers when the sender's nonce gets increased ([#1441](https://github.com/ethereum/execution-spec-tests/pull/1441)).
+- ✨ [EIP-7702](https://eips.ethereum.org/EIPS/eip-7702): Add a test that verifies that set code transactions are correctly rejected before Prague activation ([#1463](https://github.com/ethereum/execution-spec-tests/pull/1463)).
 - ✨ [EIP-7623](https://eips.ethereum.org/EIPS/eip-7623): Additionally parametrize transaction validity tests with the `to` set to an EOA account (previously only contracts) ([#1422](https://github.com/ethereum/execution-spec-tests/pull/1422)).
-- ✨ Add EIP-7251 test cases for modified consolidations contract that allows more consolidations ([#1465](https://github.com/ethereum/execution-spec-tests/pull/1465)).
+- ✨ [EIP-7251](https://eips.ethereum.org/EIPS/eip-7251): Add EIP-7251 test cases for modified consolidations contract that allows more consolidations ([#1465](https://github.com/ethereum/execution-spec-tests/pull/1465)).
+- ✨ [EIP-6110](https://eips.ethereum.org/EIPS/eip-6110): Add extra deposit request edge cases, sending eth to the deposit contract while sending a deposit request ([#1467](https://github.com/ethereum/execution-spec-tests/pull/1467)).
+- ✨ [EIP-7251](https://eips.ethereum.org/EIPS/eip-7251): Remove pytest skips for consolidation request cases ([#1449](https://github.com/ethereum/execution-spec-tests/pull/1449)).
+
+### 📋 Misc
+
+- 🐞 Configure `markdownlint` to expect an indent of 4 with unordered lists (otherwise HTML documentation is rendered incorrectly, [#1460](https://github.com/ethereum/execution-spec-tests/pull/1460)).
 
 ## [v4.2.0](https://github.com/ethereum/execution-spec-tests/releases/tag/v4.2.0) - 2025-04-08
 
@@ -404,8 +410,8 @@ The following changes may be potentially breaking (all clients were tested with
 - 💥 "Merge" has been renamed to "Paris" in the "network" field of the Blockchain tests, and in the "post" field of the State tests ([#480](https://github.com/ethereum/execution-spec-tests/pull/480)).
 - ✨ Port entry point scripts to use [click](https://click.palletsprojects.com) and add tests ([#483](https://github.com/ethereum/execution-spec-tests/pull/483)).
 - 💥 As part of the pydantic conversion, the fixtures have the following (possibly breaking) changes ([#486](https://github.com/ethereum/execution-spec-tests/pull/486)):
-  - State test field `transaction` now uses the proper zero-padded hex number format for fields `maxPriorityFeePerGas`, `maxFeePerGas`, and `maxFeePerBlobGas`
-  - Fixtures' hashes (in the `_info` field) are now calculated by removing the "_info" field entirely instead of it being set to an empty dict.
+    - State test field `transaction` now uses the proper zero-padded hex number format for fields `maxPriorityFeePerGas`, `maxFeePerGas`, and `maxFeePerBlobGas`
+    - Fixtures' hashes (in the `_info` field) are now calculated by removing the "_info" field entirely instead of it being set to an empty dict.
 - 🐞 Relax minor and patch dependency requirements to avoid conflicting package dependencies ([#510](https://github.com/ethereum/execution-spec-tests/pull/510)).
 - 🔀 Update all CI actions to use their respective Node.js 20 versions, ahead of their Node.js 16 version deprecations ([#527](https://github.com/ethereum/execution-spec-tests/pull/527)).
 - ✨ Releases now contain a `fixtures_eip7692.tar.gz` which contains all EOF fixtures ([#573](https://github.com/ethereum/execution-spec-tests/pull/573)).

eels_resolutions.json

@@ -35,7 +35,8 @@
         "same_as": "EELSMaster"
     },
     "Prague": {
-        "git_url": "https://github.com/ethereum/execution-specs.git",
-        "branch": "devnets/prague/6"
+      "git_url": "https://github.com/gurukamath/execution-specs.git",
+      "branch": "7702-to-precompile",
+      "commit": "bbc469729ab095300b07de8fe323c3f9fac31857"
     }
 }

src/ethereum_clis/clis/execution_specs.py

@@ -146,6 +146,7 @@ class ExecutionSpecsExceptionMapper(ExceptionMapper):
         TransactionException.TYPE_3_TX_PRE_FORK: (
             "module 'ethereum.shanghai.transactions' has no attribute 'BlobTransaction'"
         ),
+        TransactionException.TYPE_4_TX_PRE_FORK: "Unknown transaction type: 0x4",
         TransactionException.TYPE_3_TX_INVALID_BLOB_VERSIONED_HASH: "d transaction: ",
         # This message is the same as TYPE_3_TX_MAX_BLOB_GAS_ALLOWANCE_EXCEEDED
         TransactionException.TYPE_3_TX_BLOB_COUNT_EXCEEDED: " transaction: ",

src/ethereum_test_exceptions/exceptions.py

@@ -381,6 +381,10 @@ class TransactionException(ExceptionBase):
     """
     Transaction is type 4, but contains an authorization that has an invalid format.
     """
+    TYPE_4_TX_PRE_FORK = auto()
+    """
+    Transaction type 4 included before activation fork.
+    """
 
 
 @unique

src/ethereum_test_tools/code/generators.py

@@ -149,7 +149,7 @@ class CodeGasMeasure(Bytecode):
     To be considered when subtracting the value of the previous GAS operation,
     and to be popped at the end of the execution.
     """
-    sstore_key: int
+    sstore_key: int | Bytes
     """
     Storage key to save the gas used.
     """
@@ -160,7 +160,7 @@ def __new__(
         code: Bytecode,
         overhead_cost: int = 0,
         extra_stack_items: int = 0,
-        sstore_key: int = 0,
+        sstore_key: int | Bytes = 0,
         stop: bool = True,
     ):
         """Assemble the bytecode that measures gas usage."""
@@ -173,9 +173,7 @@ def __new__(
             + Op.SUB
             + Op.PUSH1(overhead_cost + 2)
             + Op.SWAP1
-            + Op.SUB
-            + Op.PUSH1(sstore_key)
-            + Op.SSTORE
+            + Op.SSTORE(sstore_key, Op.SUB)
         )
         if stop:
             res += Op.STOP