feat(tests): EIP-2537: extra BLS12-381 coverage (ethereum#1350)

* feat(tests): bls point generator and extra coverage.

* chore(tests): remove bls msm duplicates.

* chore: fix tox issues.

* feat(tests): Add more msm invalid tests

---------

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

Author: 2 people

docs/CHANGELOG.md

@@ -18,6 +18,8 @@ Test fixtures for use by clients are available for each release on the [Github r
 
 ### 🧪 Test Cases
 
+- ✨ [EIP-2573](https://eips.ethereum.org/EIPS/eip-2537): Includes a BLS12 point generator, alongside additional coverage many of the precompiles ([#1350](https://github.com/ethereum/execution-spec-tests/pull/1350)).
+
 ## [v4.3.0](https://github.com/ethereum/execution-spec-tests/releases/tag/v4.3.0) - 2025-04-18
 
 ### 💥 Breaking Change

pyproject.toml

@@ -54,6 +54,7 @@ dependencies = [
     "ethereum-rlp>=0.1.3,<0.2",
     "pytest-regex>=0.2.0,<0.3",
     "eth-abi>=5.2.0",
+    "joblib>=1.4.2",
 ]
 
 [project.urls]

stubs/joblib/__init__.pyi

@@ -0,0 +1,5 @@
+from typing import Any, Callable
+
+class Memory:
+    def __init__(self, location: str, verbose: int = ...) -> None: ...
+    def cache(self, func: Callable[..., Any]) -> Callable[..., Any]: ...

tests/prague/eip2537_bls_12_381_precompiles/conftest.py

@@ -7,6 +7,7 @@
 from ethereum_test_tools import EOA, Address, Alloc, Bytecode, Storage, Transaction, keccak256
 from ethereum_test_tools import Opcodes as Op
 
+from .helpers import BLSPointGenerator
 from .spec import GAS_CALCULATION_FUNCTION_MAP
 
 
@@ -187,3 +188,29 @@ def tx(
         to=call_contract_address,
         sender=sender,
     )
+
+
+NUM_TEST_POINTS = 5
+
+# Random points not in the subgroup (fast to generate)
+G1_POINTS_NOT_IN_SUBGROUP = [
+    BLSPointGenerator.generate_random_g1_point_not_in_subgroup(seed=i)
+    for i in range(NUM_TEST_POINTS)
+]
+G2_POINTS_NOT_IN_SUBGROUP = [
+    BLSPointGenerator.generate_random_g2_point_not_in_subgroup(seed=i)
+    for i in range(NUM_TEST_POINTS)
+]
+# Field points that maps to the identity point using `BLS12_MAP_FP_TO_G1`
+G1_FIELD_POINTS_MAP_TO_IDENTITY = BLSPointGenerator.generate_g1_map_isogeny_kernel_points()
+
+# Random points not on the curve (fast to generate)
+G1_POINTS_NOT_ON_CURVE = [
+    BLSPointGenerator.generate_random_g1_point_not_on_curve(seed=i) for i in range(NUM_TEST_POINTS)
+]
+G2_POINTS_NOT_ON_CURVE = [
+    BLSPointGenerator.generate_random_g2_point_not_on_curve(seed=i) for i in range(NUM_TEST_POINTS)
+]
+
+# Field points that maps to the identity point using `BLS12_MAP_FP_TO_G2`
+G2_FIELD_POINTS_MAP_TO_IDENTITY = BLSPointGenerator.generate_g2_map_isogeny_kernel_points()