CVE-2023-44378— gnark vulnerable to unsoundness in variable comparison/non-unique binary decomposition
Quick assessment
Affected
Consensys gnark
Exploitation
Public or AI PoC available; prioritize validation
Recommended action
Check the vendor advisory and references for a fixed version. If immediate upgrade is impossible, restrict exposure and increase monitoring.
gnark是Consensys开源的一个快速的 zk-SNARK 库。供高级 API 来设计电路。 gnark 0.9.0之前版本存在安全漏洞。目前尚无此漏洞的相关信息，请随时关注CNNVD或厂商公告。
Possible ATT&CK Techniques 1 AI
T1190 · Exploit Public-Facing Application
Get alerts for future matching vulnerabilities
Log in to subscribe
I. Basic Information for CVE-2023-44378
Vulnerability Information
Have questions about the vulnerability? See if Shenlong's analysis helps!
View Shenlong Deep Dive ↗
Although we use advanced large model technology, its output may still contain inaccurate or outdated information.Shenlong tries to ensure data accuracy, but please verify and judge based on the actual situation.
Vulnerability Title
gnark vulnerable to unsoundness in variable comparison/non-unique binary decomposition
Source: CVE Program / CVE List V5
Vulnerability Description
gnark is a zk-SNARK library that offers a high-level API to design circuits. Prior to version 0.9.0, for some in-circuit values, it is possible to construct two valid decomposition to bits. In addition to the canonical decomposition of `a`, for small values there exists a second decomposition for `a+r` (where `r` is the modulus the values are being reduced by). The second decomposition was possible due to overflowing the field where the values are defined. Upgrading to version 0.9.0 should fix the issue without needing to change the calls to value comparison methods.
Source: CVE Program / CVE List V5
CVSS Information
CVSS:3.1/AV:L/AC:L/PR:N/UI:N/S:C/C:N/I:H/A:N
Source: CVE Program / CVE List V5
Vulnerability Type
整数下溢(超界折返)
Source: CVE Program / CVE List V5
Vulnerability Title
gnark 安全漏洞
Source: CNNVD (China National Vulnerability Database)
Vulnerability Description
gnark是Consensys开源的一个快速的 zk-SNARK 库。供高级 API 来设计电路。 gnark 0.9.0之前版本存在安全漏洞。目前尚无此漏洞的相关信息，请随时关注CNNVD或厂商公告。
Source: CNNVD (China National Vulnerability Database)
CVSS Information
N/A
Source: CNNVD (China National Vulnerability Database)
Vulnerability Type
N/A
Source: CNNVD (China National Vulnerability Database)
Affected Products
II. Public POCs for CVE-2023-44378
| # | POC Description | Source Link | Shenlong Link |
|---|
AI-Generated POC
Premium
Qwen3.6-35B-A3B
· 7672 chars
Pro+ exclusive includes:
Vulnerability reproduction recording (real sandbox build + trigger, exclusive)
In-depth vulnerability mechanism
Trigger conditions & impact
Full executable POC code
Exploit chain & mitigation
POC zip download
100+ AI POC generations per month
III. Intelligence Information for CVE-2023-44378
请登录查看更多情报信息。
Patches & Fixes for CVE-2023-44378 (1)
Vendor Advisories for CVE-2023-44378 (1)
-
https://github.com/Consensys/gnark/security/advisories/GHSA-498w-5j49-vqjg x_refsource_CONFIRM
Other References for CVE-2023-44378 (1)
-
https://github.com/zkopru-network/zkopru/issues/116 x_refsource_MISC
IV. Related Vulnerabilities
Same product: gnark
-
CVE-2025-58157
gnark affected by denial of service when computing scalar mu -
CVE-2025-57801
gnark is vulnerable to signature malleability in EdDSA and E -
CVE-2024-50354
Out-of-memory during deserialization with crafted inputs -
CVE-2024-45039
gnark's Groth16 commitment extension unsound for more than o -
CVE-2024-45040
gnark's commitments to private witnesses in Groth16 as imple
Same vendor: Consensys
-
CVE-2025-58157
gnark affected by denial of service when computing scalar mu -
CVE-2025-57801
gnark is vulnerable to signature malleability in EdDSA and E -
CVE-2024-50354
Out-of-memory during deserialization with crafted inputs -
CVE-2024-45039
gnark's Groth16 commitment extension unsound for more than o -
CVE-2024-45040
gnark's commitments to private witnesses in Groth16 as imple
Same weakness: CWE-191
V. Comments for CVE-2023-44378
No comments yet