feat: BLS12-381 precompiles glue

[ivokub]

Adds glue for integrating BLS precompiles from gnark with the data provided in the arithmetization.

• I also ported changes from the smallfield branch to gkr-mimc cc @Tabaie.
• fixed gnark interface update for logderivative lookup tables which are now interfaces (to hide generic parameter for supporting small fields)
• updated gnark dependency to include BLS circuits
• added testdata generator for BLS precompiles which should handle all possible succeeding and failing input cases. To generate the tests, run go generate prover/zkevm/prover/bls/testdata and then run the tests in prover/zkevm/prover/bls

Checklist

• I wrote new tests for my new core changes.
• I have successfully ran tests, style checker and build against my new changes locally.
• I have informed the team of any breaking changes if there are any.

---

Note

Integrates BLS12-381 precompiles (G1/G2 add, MSM, map, pairing, point-eval) into zkEVM and adds exhaustive testdata generators/fixtures.

• zkEVM Integration:
  • Wire new BLS modules into zkEVM: BlsG1Add, BlsG2Add, BlsG1Msm, BlsG2Msm, BlsG1Map, BlsG2Map, BlsPairingCheck, PointEval in zkevm.go (construction and prover assignment).
  • Extend Settings with Bls limits in settings.go.
  • Add BLS module constructors in prover/zkevm/prover/bls/zkevm_modules.go using zkEVM range-check options.
• Test Data & Utils:
  • Add comprehensive generators for BLS test vectors (ADD/MSM/MAP/PAIRING/POINT EVAL) under prover/zkevm/prover/bls/testdata/*, incl. trusted setup loader and unit test.
  • Commit generated CSV fixtures for pairing and point-eval: bls_pairing_inputs-0.csv, bls_pointeval_inputs-0.csv.

^{Written by Cursor Bugbot for commit dbfe394. This will update automatically on new commits. Configure here.}

[codecov-commenter]

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 65.56%. Comparing base (cbf344e) to head (dbfe394).
⚠️ Report is 32 commits behind head on main.

Additional details and impacted files

@@             Coverage Diff              @@
##               main     #915      +/-   ##
============================================
- Coverage     65.67%   65.56%   -0.11%     
+ Complexity     1522     1476      -46     
============================================
  Files           389      390       +1     
  Lines         14117    14546     +429     
  Branches       1454     1444      -10     
============================================
+ Hits           9271     9537     +266     
- Misses         4236     4409     +173     
+ Partials        610      600      -10     

Flag	Coverage Δ		*Carryforward flag
hardhat	96.29% <ø> (+0.09%)	⬆️
kotlin	63.16% <ø> (-0.12%)	⬇️	Carriedforward from 343757f

*This pull request uses carry forward flags. Click here to find out more.
see 238 files with indirect coverage changes

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.
• 📦 JS Bundle Analysis: Save yourself from yourself by tracking and limiting bundle sizes in JS merges.

[Copilot]

Pull Request Overview

This PR adds integration for BLS12-381 precompiles from gnark with the ZKEVM arithmetization system, along with comprehensive test data generation capabilities.

• Introduces ZKEVM-specific wrapper functions for BLS precompile operations (G1/G2 add, MSM, pairing, mapping, point evaluation)
• Adds extensive CSV test data for BLS point evaluation operations with various success and failure scenarios
• Includes CSV test data for BLS G2 field element to curve point mapping operations

Reviewed Changes

Copilot reviewed 41 out of 45 changed files in this pull request and generated no comments.

File	Description
prover/zkevm/prover/bls/zkevm_modules.go	Provides ZKEVM integration wrappers for all BLS precompile operations
prover/zkevm/prover/bls/testdata/bls_pointeval_inputs-0.csv	Test data for BLS point evaluation with 50 test cases covering success/failure scenarios
prover/zkevm/prover/bls/testdata/bls_g2_map_inputs.csv	Test data for BLS G2 mapping operations with 4 test cases

---

_{Tip: Customize your code reviews with copilot-instructions.md. Create the file or learn how to get started.}

[socket-security]

Review the following changes in direct dependencies. Learn more about Socket for GitHub.

Diff	Package	Supply Chain Security	Vulnerability	Quality	Maintenance	License
	golang/​golang.org/​x/​crypto@​v0.42.0 ⏵ v0.45.0	+1	+6
	golang/​github.com/​consensys/​gnark@​v0.12.1-0.20250501002417-facdd9882b80 ⏵ v0.14.1-0.20251125185647-9873a5606794	-7	+40
	golang/​golang.org/​x/​net@​v0.43.0 ⏵ v0.47.0	+1
	golang/​github.com/​consensys/​gnark-crypto@​v0.17.1-0.20251006135912-abd34dcc6005 ⏵ v0.19.3-0.20251115174214-022ec58e8c19	+1	+20
	golang/​github.com/​rs/​zerolog@​v1.33.0 ⏵ v1.34.0	+1
	golang/​golang.org/​x/​exp@​v0.0.0-20240823005443-9b4947da3948 ⏵ v0.0.0-20250819193227-8b4c13bb791b
	golang/​github.com/​spf13/​cobra@​v1.8.1 ⏵ v1.10.1
	golang/​github.com/​stretchr/​testify@​v1.10.0 ⏵ v1.11.1	+1
	golang/​github.com/​fxamacker/​cbor/​v2@​v2.7.0 ⏵ v2.9.0	+1
	golang/​golang.org/​x/​sync@​v0.17.0 ⏵ v0.18.0
	golang/​github.com/​bits-and-blooms/​bitset@​v1.20.0 ⏵ v1.24.0	+1

View full report