new(tests): EIP-2537: BLS12-381 Precompiles

docs/CHANGELOG.md

@@ -11,6 +11,7 @@ Test fixtures for use by clients are available for each release on the [Github r
 - ✨ Add `test_create_selfdestruct_same_tx_increased_nonce` which tests self-destructing a contract with a nonce > 1 ([#478](https://github.com/ethereum/execution-spec-tests/pull/478)).
 - ✨ Add `test_double_kill` and `test_recreate` which test resurrection of accounts killed with `SELFDESTRUCT` ([#488](https://github.com/ethereum/execution-spec-tests/pull/488)).
 - ✨ Add eof example valid invalid tests from ori, fetch EOF Container implementation ([#535](https://github.com/ethereum/execution-spec-tests/pull/535)).
+- ✨ Add tests for [EIP-2537: Precompile for BLS12-381 curve operations](https://eips.ethereum.org/EIPS/eip-2537) ([#499](https://github.com/ethereum/execution-spec-tests/pull/499)).
 - ✨ [EIP-663](https://eips.ethereum.org/EIPS/eip-663): Add `test_dupn.py` and `test_swapn.py` ([#502](https://github.com/ethereum/execution-spec-tests/pull/502)).
 
 ### 🛠️ Framework

src/ethereum_test_forks/forks/forks.py

@@ -475,6 +475,23 @@ def solc_min_version(cls) -> Version:
         """
         return Version.parse("1.0.0")  # set a high version; currently unknown
 
+    @classmethod
+    def precompiles(cls, block_number: int = 0, timestamp: int = 0) -> List[int]:
+        """
+        At Prague, pre-compile for BLS operations are added:
+
+        G1ADD = 0x0B
+        G1MUL = 0x0C
+        G1MSM = 0x0D
+        G2ADD = 0x0E
+        G2MUL = 0x0F
+        G2MSM = 0x10
+        PAIRING = 0x11
+        MAP_FP_TO_G1 = 0x12
+        MAP_FP2_TO_G2 = 0x13
+        """
+        return list(range(0xB, 0x13 + 1)) + super(Prague, cls).precompiles(block_number, timestamp)
+
     @classmethod
     def engine_new_payload_version(
         cls, block_number: int = 0, timestamp: int = 0

tests/prague/eip2537_bls_12_381_precompiles/__init__.py

@@ -0,0 +1,4 @@
+"""
+abstract: Tests [EIP-2537: Precompile for BLS12-381 curve operations](https://eips.ethereum.org/EIPS/eip-2537)
+    Tests for [EIP-2537: Precompile for BLS12-381 curve operations](https://eips.ethereum.org/EIPS/eip-2537).
+"""  # noqa: E501

tests/prague/eip2537_bls_12_381_precompiles/conftest.py

@@ -0,0 +1,177 @@
+"""
+Shared pytest definitions local to EIP-2537 tests.
+"""
+from typing import SupportsBytes
+
+import pytest
+from ethereum.crypto.hash import keccak256
+
+from ethereum_test_tools import Storage, TestAddress, Transaction
+from ethereum_test_tools.vm import Opcodes as Op
+
+from .spec import GAS_CALCULATION_FUNCTION_MAP
+
+
+@pytest.fixture
+def precompile_gas(precompile_address: int, input: bytes) -> int:
+    """Gas cost for the precompile."""
+    return GAS_CALCULATION_FUNCTION_MAP[precompile_address](len(input))
+
+
+@pytest.fixture
+def precompile_gas_modifier() -> int:
+    """
+    Used to modify the gas passed to the precompile, for testing purposes.
+
+    By default the call is made with the exact gas amount required for the given opcode,
+    but when this fixture is overridden, the gas amount can be modified to, e.g., test
+    a lower amount and test if the precompile call fails.
+    """
+    return 0
+
+
+@pytest.fixture
+def call_opcode() -> Op:
+    """
+    Type of call used to call the precompile.
+
+    By default it is Op.CALL, but it can be overridden in the test.
+    """
+    return Op.CALL
+
+
+@pytest.fixture
+def call_contract_post_storage() -> Storage:
+    """
+    Storage of the test contract after the transaction is executed.
+    Note: Fixture `call_contract_code` fills the actual expected storage values.
+    """
+    return Storage()
+
+
+@pytest.fixture
+def call_succeeds(
+    expected_output: bytes | SupportsBytes,
+) -> bool:
+    """
+    By default, depending on the expected output, we can deduce if the call is expected to succeed
+    or fail.
+    """
+    return len(bytes(expected_output)) > 0
+
+
+@pytest.fixture
+def call_contract_code(
+    precompile_address: int,
+    precompile_gas: int,
+    precompile_gas_modifier: int,
+    expected_output: bytes | SupportsBytes,
+    call_succeeds: bool,
+    call_opcode: Op,
+    call_contract_post_storage: Storage,
+) -> bytes:
+    """
+    Code of the test contract.
+
+    Args:
+        precompile_address:
+            Address of the precompile to call.
+        precompile_gas:
+            Gas cost for the precompile, which is automatically calculated by the `precompile_gas`
+            fixture, but can be overridden in the test.
+        precompile_gas_modifier:
+            Gas cost modifier for the precompile, which is automatically set to zero by the
+            `precompile_gas_modifier` fixture, but can be overridden in the test.
+        expected_output:
+            Expected output of the precompile call. This value is used to determine if the call is
+            expected to succeed or fail.
+        call_succeeds:
+            Boolean that indicates if the call is expected to succeed or fail.
+        call_opcode:
+            Type of call used to call the precompile (Op.CALL, Op.CALLCODE, Op.DELEGATECALL,
+            Op.STATICCALL).
+        call_contract_post_storage:
+            Storage of the test contract after the transaction is executed.
+    """
+    expected_output = bytes(expected_output)
+
+    assert call_opcode in [Op.CALL, Op.CALLCODE, Op.DELEGATECALL, Op.STATICCALL]
+    value = [0] if call_opcode in [Op.CALL, Op.CALLCODE] else []
+
+    code = (
+        Op.CALLDATACOPY(0, 0, Op.CALLDATASIZE())
+        + Op.SSTORE(
+            call_contract_post_storage.store_next(call_succeeds),
+            call_opcode(
+                precompile_gas + precompile_gas_modifier,
+                precompile_address,
+                *value,  # Optional, only used for CALL and CALLCODE.
+                0,
+                Op.CALLDATASIZE(),
+                0,
+                0,
+            ),
+        )
+        + Op.SSTORE(
+            call_contract_post_storage.store_next(len(expected_output)),
+            Op.RETURNDATASIZE(),
+        )
+    )
+    if call_succeeds:
+        # Add integrity check only if the call is expected to succeed.
+        code += Op.RETURNDATACOPY(0, 0, Op.RETURNDATASIZE()) + Op.SSTORE(
+            call_contract_post_storage.store_next(keccak256(expected_output)),
+            Op.SHA3(0, Op.RETURNDATASIZE()),
+        )
+
+    return code
+
+
+@pytest.fixture
+def call_contract_address() -> int:
+    """Address where the test contract will be deployed."""
+    return 0xAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA
+
+
+@pytest.fixture
+def pre(call_contract_address: int, call_contract_code: bytes):
+    """Pre-allocation for every test."""
+    return {
+        call_contract_address: {
+            "balance": 0,
+            "nonce": 1,
+            "code": call_contract_code,
+        },
+        TestAddress: {
+            "balance": 1_000_000_000_000_000,
+            "nonce": 0,
+        },
+    }
+
+
+@pytest.fixture
+def post(call_contract_address: int, call_contract_post_storage: Storage):
+    """Test expected post outcome."""
+    return {
+        call_contract_address: {
+            "storage": call_contract_post_storage,
+        },
+    }
+
+
+@pytest.fixture
+def tx_gas_limit(precompile_gas: int) -> int:
+    """
+    Transaction gas limit used for the test (Can be overridden in the test).
+    """
+    return 10_000_000 + precompile_gas
+
+
+@pytest.fixture
+def tx(input: bytes, tx_gas_limit: int, call_contract_address: int) -> Transaction:
+    """Transaction for the test."""
+    return Transaction(
+        gas_limit=tx_gas_limit,
+        input=input,
+        to=call_contract_address,
+    )

tests/prague/eip2537_bls_12_381_precompiles/helpers.py

@@ -0,0 +1,78 @@
+"""
+Helper functions for the EIP-2537 BLS12-381 precompiles tests.
+"""
+import os
+from typing import Annotated, List
+
+import pytest
+from pydantic import BaseModel, BeforeValidator, ConfigDict, RootModel, TypeAdapter
+from pydantic.alias_generators import to_pascal
+
+
+def current_python_script_directory(*args: str) -> str:
+    """
+    Get the current Python script directory, optionally appending additional path components.
+    """
+    return os.path.join(os.path.dirname(os.path.realpath(__file__)), *args)
+
+
+class TestVector(BaseModel):
+    """
+    Test vector for the BLS12-381 precompiles.
+    """
+
+    input: Annotated[bytes, BeforeValidator(bytes.fromhex)]
+    expected: Annotated[bytes, BeforeValidator(bytes.fromhex)]
+    gas: int
+    name: str
+
+    model_config = ConfigDict(alias_generator=to_pascal)
+
+    def to_pytest_param(self):
+        """
+        Convert the test vector to a tuple that can be used as a parameter in a pytest test.
+        """
+        return pytest.param(self.input, self.expected, id=self.name)
+
+
+class FailTestVector(BaseModel):
+    """
+    Test vector for the BLS12-381 precompiles.
+    """
+
+    input: Annotated[bytes, BeforeValidator(bytes.fromhex)]
+    expected_error: str
+    name: str
+
+    model_config = ConfigDict(alias_generator=to_pascal)
+
+    def to_pytest_param(self):
+        """
+        Convert the test vector to a tuple that can be used as a parameter in a pytest test.
+        """
+        return pytest.param(self.input, id=self.name)
+
+
+class TestVectorList(RootModel):
+    """
+    List of test vectors for the BLS12-381 precompiles.
+    """
+
+    root: List[TestVector | FailTestVector]
+
+
+TestVectorListAdapter = TypeAdapter(TestVectorList)
+
+
+def vectors_from_file(filename: str) -> List:
+    """
+    Load test vectors from a file.
+    """
+    with open(
+        current_python_script_directory(
+            "vectors",
+            filename,
+        ),
+        "rb",
+    ) as f:
+        return [v.to_pytest_param() for v in TestVectorListAdapter.validate_json(f.read()).root]

tests/prague/eip2537_bls_12_381_precompiles/msm_discount_table.json

@@ -0,0 +1 @@
+[0,1200,888,764,641,594,547,500,453,438,423,408,394,379,364,349,334,330,326,322,318,314,310,306,302,298,294,289,285,281,277,273,269,268,266,265,263,262,260,259,257,256,254,253,251,250,248,247,245,244,242,241,239,238,236,235,233,232,231,229,228,226,225,223,222,221,220,219,219,218,217,216,216,215,214,213,213,212,211,211,210,209,208,208,207,206,205,205,204,203,202,202,201,200,199,199,198,197,196,196,195,194,193,193,192,191,191,190,189,188,188,187,186,185,185,184,183,182,182,181,180,179,179,178,177,176,176,175,174]