Vulnerability · Published Aug 22, 2025 · Assigned by GitHub_M
CVE-2025-57801gnark is vulnerable to signature malleability in EdDSA and ECDSA due to missing scalar checks
High 8.6
In plain English
A high-severity security flaw in gnark from Consensys. Proof-of-concept exploit code is public. The chance it is exploited in the next 30 days is estimated at 0.2% (higher than 12% of all known vulnerabilities). Fixed versions are available - upgrade the affected package.
Official description
gnark is a zero-knowledge proof system framework. In versions prior to 0.14.0, the Verify function in eddsa.go and ecdsa.go used the S value from a signature without asserting that 0 ≤ S < order, leading to a signature malleability vulnerability. Because gnark’s native EdDSA and ECDSA circuits lack essential constraints, multiple distinct witnesses can satisfy the same public inputs. In protocols where nullifiers or anti-replay checks are derived from R and S, this enables signature malleability and may allow double spending. This issue has been addressed in version 0.14.0.
Affected packages & fixed versions
| Ecosystem | Package | Fixed in | Advisory |
|---|---|---|---|
| Go | github.com/consensys/gnark | 0.14.0 | GHSA-95v9-hv42-pwrj |
| Go | github.com/consensys/gnark | 0.14.0 | GO-2025-3912 |
Affected products (as reported)
Weakness: CWE-347 · Vector: CVSS:4.0/AV:L/AC:L/AT:N/PR:N/UI:N/VC:H/VI:H/VA:L/SC:N/SI:N/SA:N