chore: update to latest gnark and gnark-crypto

[gbotrel]

Updates gnark and gnark-crypto. Fixes #3130 .

---

Note

Medium Risk
Upgrades core ZK proving dependencies (gnark/gnark-crypto), which can affect circuit compilation/proving behavior and performance even though no application code changes are included.

Overview
Updates the prover module’s cryptography stack by bumping github.com/consensys/gnark to v0.15.1-... and github.com/consensys/gnark-crypto to v0.20.2-..., with corresponding go.sum hash updates.

^{Reviewed by Cursor Bugbot for commit ffa365c. Bugbot is set up for automated code reviews on this repo. Configure here.}

[Copilot]

Pull request overview

This PR bumps the gnark and gnark-crypto dependencies in the prover module to newer pseudo-versions. The update to gnark-crypto is intended to incorporate the upstream fix for the AVX-512 innerProdVec SIGSEGV issue that PR #3130 worked around.

Changes:

• Bump github.com/consensys/gnark to v0.15.1-0.20260515142004-ae23035f9957.
• Bump github.com/consensys/gnark-crypto to v0.20.2-0.20260518142632-dffbd6f30adb.

Reviewed changes

Copilot reviewed 1 out of 2 changed files in this pull request and generated no comments.

File	Description
prover/go.mod	Updates gnark and gnark-crypto module versions.
prover/go.sum	Updates corresponding checksums for the new dependency versions.

[github-actions]

linea-besu Changelog Preview (informational)

[Unreleased] diff (commits touching linea-besu/** since latest releases/linea-besu/v* tag)

[unreleased]

_{Generated by git-cliff-action using cliff.toml. This comment is informational and does not gate the PR.}

[github-actions]

prover Changelog Preview (informational)

[Unreleased] diff (commits touching prover/** since latest releases/prover/v* tag)

[unreleased]

⚙️ Miscellaneous Tasks

• Update to latest gnark and gnark-crypto

_{Generated by git-cliff-action using cliff.toml. This comment is informational and does not gate the PR.}

[github-actions]

postman Changelog Preview (informational)

[Unreleased] diff (commits touching postman/** since latest releases/postman/v* tag)

[unreleased]

_{Generated by git-cliff-action using cliff.toml. This comment is informational and does not gate the PR.}

[github-actions]

tx-exclusion-api Changelog Preview (informational)

[Unreleased] diff (commits touching tx-exclusion-api/** since latest releases/tx-exclusion-api/v* tag)

[unreleased]

_{Generated by git-cliff-action using cliff.toml. This comment is informational and does not gate the PR.}

[codecov-commenter]

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 77.25%. Comparing base (e4bc01b) to head (ffa365c).
⚠️ Report is 2 commits behind head on main.

Additional details and impacted files

@@            Coverage Diff            @@
##               main    #3142   +/-   ##
=========================================
  Coverage     77.25%   77.25%           
  Complexity     7006     7006           
=========================================
  Files          1118     1118           
  Lines         44394    44394           
  Branches       5343     5343           
=========================================
  Hits          34297    34297           
  Misses         8734     8734           
  Partials       1363     1363           

Flag	Coverage Δ		*Carryforward flag
hardhat	96.17% <ø> (ø)
kotlin	55.90% <ø> (ø)		Carriedforward from e4bc01b
lido-governance-monitor	97.61% <ø> (ø)		Carriedforward from e4bc01b
linea-native-libs	90.69% <ø> (ø)		Carriedforward from e4bc01b
linea-shared-utils	96.18% <ø> (ø)		Carriedforward from e4bc01b
native-yield-automation-service	97.68% <ø> (ø)		Carriedforward from e4bc01b
postman	99.92% <ø> (ø)		Carriedforward from e4bc01b
sdk-core	98.09% <ø> (ø)		Carriedforward from e4bc01b
sdk-ethers	89.83% <ø> (ø)		Carriedforward from e4bc01b
sdk-viem	99.45% <ø> (ø)		Carriedforward from e4bc01b
tracer	88.55% <ø> (ø)		Carriedforward from e4bc01b

*This pull request uses carry forward flags. Click here to find out more.

🚀 New features to boost your workflow:

• 📦 JS Bundle Analysis: Save yourself from yourself by tracking and limiting bundle sizes in JS merges.

[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/​github.com/​consensys/​gnark-crypto@​v0.20.2-0.20260402204920-39238e584b99 ⏵ v0.20.2-0.20260518142632-dffbd6f30adb	+1
	golang/​github.com/​consensys/​gnark@​v0.14.1-0.20260511210335-f4e549a26ef3 ⏵ v0.15.1-0.20260515142004-ae23035f9957	+1

View full report