{"answers":{"affected":"3 open source packages ship an affected version, including github.com/consensys/gnark. It affects 1 product.","exploited":"It is not confirmed as exploited in the wild, but public exploit code for CVE-2025-57801 exists.","fix":"Upgrade github.com/consensys/gnark to 0.14.0 or later.","what":"CVE-2025-57801 is a high-severity vulnerability in Consensys gnark, published on 22 Aug 2025. It can only be exploited from the same machine or local network, with no action from the victim."},"fix_prompt":"Check this codebase for CVE-2025-57801 and fix it if it is affected.\n\nWhat it is: CVE-2025-57801 is a high-severity vulnerability in Consensys gnark, published on 22 Aug 2025. It can only be exploited from the same machine or local network, with no action from the victim.\nExploitation: It is not confirmed as exploited in the wild, but public exploit code for CVE-2025-57801 exists.\n\nAffected packages and fixed versions:\n- github.com/consensys/gnark (Go): affected all versions; fixed in 0.14.0\n- github.com/consensys/gnark (Go): affected all versions; fixed in 0.14.0\n- github.com/consensys/gnark (Go): affected all versions; fixed in 0.14.0\n\nTask:\n1. Search the dependency manifests and lockfiles (for example package.json, package-lock.json, requirements.txt, poetry.lock, uv.lock, pom.xml, build.gradle, go.mod, Cargo.lock, Gemfile.lock) and any Dockerfiles for the affected packages, including transitive dependencies.\n2. If an affected version is in use, upgrade it to the fixed version for its release line with the project's package manager, so the lockfile is regenerated. Prefer the smallest upgrade that fixes it.\n3. If there is no fix, or the upgrade would break the build, do not guess: explain the risk and the safest workaround instead.\n4. Run the tests and summarise what changed and why.\n5. If nothing in the project is affected, say so and change nothing.\n\nReference: https://insights.sbomify.com/CVE-2025-57801/ (Markdown: https://insights.sbomify.com/CVE-2025-57801/index.md)","id":"CVE-2025-57801","markdown":"https://insights.sbomify.com/CVE-2025-57801/index.md","name":"CVE-2025-57801","record":{"aliases":["GHSA-95v9-hv42-pwrj","GO-2025-3912"],"analysis":{"component_type":"library","fix_type":"upgrade","impacts":["data_modify","security_bypass"],"network_reachable":"adjacent_or_local","non_default_config":false,"product_category":"Go ZK proof library","requires_auth":"none","summary":"Attackers can exploit signature malleability in gnark to bypass anti-replay checks, potentially enabling double spending in dependent protocols.","user_interaction":"not_required","vuln_class":"business_logic"},"analysis_generated_by":"qwen3.8-flash-next","assigner":"GitHub_M","cpe":[{"product":"gnark","vendor":"consensys"}],"cvss":{"score":8.6,"severity":"high","source":"cna","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","version":"4.0"},"cwes":[{"id":"CWE-347","name":"Improper Verification of Cryptographic Signature"}],"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 \u003c 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.","ecosystems":["Go"],"exploits":{"exploitdb":0,"first_seen":null,"github_poc":0,"max_poc_stars":null,"metasploit":0,"nuclei":0,"refs":[],"tier":"weaponised"},"has_fix":true,"headline":"gnark is vulnerable to signature malleability in EdDSA and ECDSA due to missing scalar checks","id":"CVE-2025-57801","indexable":true,"kev":null,"kind":"cve","links":{"ecosystem":"Go","product":null,"products":[],"type":"business_logic","year":"2025"},"n_packages":3,"n_references":2,"next":{"headline":"Airlink's Daemon Symlink Vulnerability","id":"CVE-2025-57802"},"packages":[{"ecosystem":"Go","fixed":["0.14.0"],"introduced":["0"],"last_affected":[],"package":"github.com/consensys/gnark","purl":null,"source":"GHSA-95v9-hv42-pwrj"},{"ecosystem":"Go","fixed":["0.14.0"],"introduced":["0"],"last_affected":[],"package":"github.com/consensys/gnark","purl":"pkg:golang/github.com/consensys/gnark","source":"GHSA-95v9-hv42-pwrj"},{"ecosystem":"Go","fixed":["0.14.0"],"introduced":["0"],"last_affected":[],"package":"github.com/consensys/gnark","purl":"pkg:golang/github.com/consensys/gnark","source":"GO-2025-3912"}],"prev":{"headline":"Audiobookshelf vulnerable to OIDC token exfiltration and account takeover","id":"CVE-2025-57800"},"products":["gnark"],"published":"2025-08-22","related":[{"cvss_score":7.5,"headline":"gnark affected by denial of service when computing scalar multiplication using fake-GLV algorithm","id":"CVE-2025-58157","kev_date_added":null,"published":"2025-08-29"},{"cvss_score":7.1,"headline":"gnark vulnerable to unsoundness in variable comparison/non-unique binary decomposition","id":"CVE-2023-44378","kev_date_added":null,"published":"2023-10-09"},{"cvss_score":5.5,"headline":"Out-of-memory during deserialization with crafted inputs","id":"CVE-2024-50354","kev_date_added":null,"published":"2024-10-31"}],"sources":[{"class":"attribution","licence":"CVE Terms of Use (MITRE)","name":"CVE List","prefix":"CVE"},{"class":"attribution","licence":"CC BY 4.0","name":"GitHub Advisory Database","prefix":"GHSA"},{"class":"attribution","licence":"CC BY 4.0","name":"Go Vulnerability Database","prefix":"GO"},{"class":"attribution","licence":"US public information, NVD API terms","name":"NVD"},{"class":"attribution","licence":"CWE Terms of Use","name":"CWE (MITRE)"},{"class":"attribution","licence":"FIRST CVSS licence","name":"CVSS (FIRST)"}],"ssvc":{"automatable":"no","exploitation":"poc","technical_impact":"partial"},"state":"PUBLISHED","updated":"2025-08-22","vendors":["Consensys"]},"summary":"Attackers can exploit signature malleability in gnark to bypass anti-replay checks, potentially enabling double spending in dependent protocols.","url":"https://insights.sbomify.com/CVE-2025-57801/"}