chore(deps): bump github.com/consensys/gnark from 0.15.0 to 0.16.1

[dependabot]

Bumps github.com/consensys/gnark from 0.15.0 to 0.16.1.

Release notes

Sourced from github.com/consensys/gnark's releases.

v0.16.0

gnark v0.16.0

This release focuses on in-circuit performance — a batch of lattice-based scalar-multiplication optimizations — plus a few correctness fixes and cleanups.

---

⚠️ Security

This release contains fixes for soundness issues affecting some circuits built with earlier versions of gnark. The corresponding security advisories (GHSA) will be published at a later date, and these notes will be updated to link them.

We strongly recommend all users upgrade to v0.16.0. If you cannot upgrade promptly and want to assess your exposure, contact us at the security contact listed in SECURITY.md.

---

Highlights

🚀 Performance

• Lattice-based scalar decomposition across the board:
  • G2 GLV + FakeGLV scalar-mul (#1764)
  • Twisted Edwards double-base MSM (#1765)
  • Tighter scalar-mul bounds (#1763)
• Randomized Schwartz–Zippel checks in native Fp6/Fp12 towers on BLS12-377 (#1760)
• Cheaper Lookup2 and Xor(x, 0) (#1801)

✨ Features

• Map-to-curve relations gadget, native and emulated (#1746)

🐛 Fixes

• Validate PLONK proof structure against the verifying key before verification (#1787)
• GLV subscalar range checks (#1778)
• Don't discard the returned value in Miller loop precomputeLines (#1786)
• GKR Poseidon serialization (#1770)

🗑️ Removed

• FRI verifier gadget (#1777)

📦 Dependencies

• gnark-crypto v0.21.0 (#1803)

---

Full Changelog: Consensys-Incorporated/gnark@v0.15.0...v0.16.0

Changelog

Sourced from github.com/consensys/gnark's changelog.

[v0.16.1] - 2026-08-20

Fix

• AddUnified for bw6-761 2-torsion points

[v0.16.0] - 2026-08-19

Build

• deps: bump golang.org/x/crypto from 0.48.0 to 0.52.0 in the go_modules group across 1 directory (#1793)

Chore

• prepare v0.16.0 release
• update dependencies (#1803)
• pin and update GitHub Actions to latest releases (#1784)
• remove FRI verifier gadget (#1777)

Feat

• map-to-curve relations (#1746)

Fix

• regenerate gkr_poseidon2 binary file
• do not discard returned value in Miller loop precomputelines (#1786)
• validate Plonk proof structure according to verifying key (#1787)
• GLV subscalar range checks (#1778)

Perf

• optimize Lookup2 and Xor(x,0) (#1801)
• twisted Edwards lattice-based double-base MSM (#1765)
• G2 lattice-based GLV+FakeGLV scalar-mul (#1764)
• use lattice scalar decomposition for tighter scalar-mul bounds (#1763)
• bls12-377: randomized Schwartz-Zippel in native Fp6 and Fp12 (#1760)

Refactor

• enforce least-privilege in GitHub Actions workflows (#1785)

Commits

• 8558b82 fix: AddUnified for bw6-761 2-torsion points
• e9d0ed2 fix: regenerate gkr_poseidon2 binary file
• b03e257 chore: prepare v0.16.0 release
• e3ce978 Merge branch 'pr-1797' into master
• 48e4e4b chore: update dependencies (#1803)
• c05c6a8 perf: optimize Lookup2 and Xor(x,0) (#1801)
• c18da30 deps(actions)(deps): bump actions/checkout from 7.0.0 to 7.0.1 in the core-ac...
• 6c4ef41 deps(actions)(deps): bump actions/setup-go from 6.5.0 to 7.0.0 (#1799)
• 2ea1515 perf: twisted Edwards lattice-based double-base MSM (#1765)
• f70d47b deps(actions)(deps): bump the third-party-actions-minor-patch group across 1 ...
• Additional commits viewable in compare view