CVE-2023-44378

    Dashboard / Vulnerabilities / CVE-2023-44378

    CVE-2023-44378

    Published: 9 Oct 2023Last Modified: 5 Sept 2026

    Summary: gnark vulnerable to unsoundness in variable comparison/non-unique binary decomposition

    Details: 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.

    References: https://github.com/CVEProject/cvelistV5/tree/main/cves/2023/44xxx/CVE-2023-44378.json, https://github.com/Consensys/gnark/security/advisories/GHSA-498w-5j49-vqjg, https://nvd.nist.gov/vuln/detail/CVE-2023-44378, https://github.com/zkopru-network/zkopru/issues/116, https://github.com/Consensys/gnark/commit/59a4087261a6c73f13e80d695c17b398c3d0934f

    Affected packages

    Package

    Name:

    Purl:

    Affected ranges

    Type: GIT

    Events:

    Introduced- 0
    Fixed -59a4087261a6c73f13e80d695c17b398c3d0934f

    Affected versions

    v0.9.0-alpha

    Common Vulnerability Scoring System

    Attack Vector
    Network
    Adjacent
    Local
    Physical
    Privileges Required
    None
    Low
    High
    User Interaction
    None
    Required
    Scope
    Unchanged
    Changed
    Confidentiality
    None
    Low
    High
    Integrity
    None
    Low
    High
    Availability
    None
    Low
    High
    CVE-2023-44378 | CVE-DB