{
    "dataType": "CVE_RECORD",
    "dataVersion": "5.1",
    "cveMetadata": {
        "cveId": "CVE-2023-44378",
        "assignerOrgId": "a0819718-46f1-4df5-94e2-005712e83aaa",
        "state": "PUBLISHED",
        "assignerShortName": "GitHub_M",
        "dateReserved": "2023-09-28T17:56:32.612Z",
        "datePublished": "2023-10-09T13:33:54.973Z",
        "dateUpdated": "2024-09-19T13:52:13.521Z"
    },
    "containers": {
        "cna": {
            "title": "gnark vulnerable to unsoundness in variable comparison/non-unique binary decomposition",
            "problemTypes": [
                {
                    "descriptions": [
                        {
                            "cweId": "CWE-191",
                            "lang": "en",
                            "description": "CWE-191: Integer Underflow (Wrap or Wraparound)",
                            "type": "CWE"
                        }
                    ]
                },
                {
                    "descriptions": [
                        {
                            "cweId": "CWE-697",
                            "lang": "en",
                            "description": "CWE-697: Incorrect Comparison",
                            "type": "CWE"
                        }
                    ]
                }
            ],
            "metrics": [
                {
                    "cvssV3_1": {
                        "attackComplexity": "LOW",
                        "attackVector": "LOCAL",
                        "availabilityImpact": "NONE",
                        "baseScore": 7.1,
                        "baseSeverity": "HIGH",
                        "confidentialityImpact": "NONE",
                        "integrityImpact": "HIGH",
                        "privilegesRequired": "NONE",
                        "scope": "CHANGED",
                        "userInteraction": "NONE",
                        "vectorString": "CVSS:3.1/AV:L/AC:L/PR:N/UI:N/S:C/C:N/I:H/A:N",
                        "version": "3.1"
                    }
                }
            ],
            "references": [
                {
                    "name": "https://github.com/Consensys/gnark/security/advisories/GHSA-498w-5j49-vqjg",
                    "tags": [
                        "x_refsource_CONFIRM"
                    ],
                    "url": "https://github.com/Consensys/gnark/security/advisories/GHSA-498w-5j49-vqjg"
                },
                {
                    "name": "https://github.com/zkopru-network/zkopru/issues/116",
                    "tags": [
                        "x_refsource_MISC"
                    ],
                    "url": "https://github.com/zkopru-network/zkopru/issues/116"
                },
                {
                    "name": "https://github.com/Consensys/gnark/commit/59a4087261a6c73f13e80d695c17b398c3d0934f",
                    "tags": [
                        "x_refsource_MISC"
                    ],
                    "url": "https://github.com/Consensys/gnark/commit/59a4087261a6c73f13e80d695c17b398c3d0934f"
                }
            ],
            "affected": [
                {
                    "vendor": "Consensys",
                    "product": "gnark",
                    "versions": [
                        {
                            "version": "< 0.9.0",
                            "status": "affected"
                        }
                    ]
                }
            ],
            "providerMetadata": {
                "orgId": "a0819718-46f1-4df5-94e2-005712e83aaa",
                "shortName": "GitHub_M",
                "dateUpdated": "2023-10-09T13:33:54.973Z"
            },
            "descriptions": [
                {
                    "lang": "en",
                    "value": "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": {
                "advisory": "GHSA-498w-5j49-vqjg",
                "discovery": "UNKNOWN"
            }
        },
        "adp": [
            {
                "providerMetadata": {
                    "orgId": "af854a3a-2127-422b-91ae-364da2661108",
                    "shortName": "CVE",
                    "dateUpdated": "2024-08-02T20:07:33.086Z"
                },
                "title": "CVE Program Container",
                "references": [
                    {
                        "name": "https://github.com/Consensys/gnark/security/advisories/GHSA-498w-5j49-vqjg",
                        "tags": [
                            "x_refsource_CONFIRM",
                            "x_transferred"
                        ],
                        "url": "https://github.com/Consensys/gnark/security/advisories/GHSA-498w-5j49-vqjg"
                    },
                    {
                        "name": "https://github.com/zkopru-network/zkopru/issues/116",
                        "tags": [
                            "x_refsource_MISC",
                            "x_transferred"
                        ],
                        "url": "https://github.com/zkopru-network/zkopru/issues/116"
                    },
                    {
                        "name": "https://github.com/Consensys/gnark/commit/59a4087261a6c73f13e80d695c17b398c3d0934f",
                        "tags": [
                            "x_refsource_MISC",
                            "x_transferred"
                        ],
                        "url": "https://github.com/Consensys/gnark/commit/59a4087261a6c73f13e80d695c17b398c3d0934f"
                    }
                ]
            },
            {
                "metrics": [
                    {
                        "other": {
                            "type": "ssvc",
                            "content": {
                                "timestamp": "2024-09-19T13:15:07.624734Z",
                                "id": "CVE-2023-44378",
                                "options": [
                                    {
                                        "Exploitation": "none"
                                    },
                                    {
                                        "Automatable": "no"
                                    },
                                    {
                                        "Technical Impact": "partial"
                                    }
                                ],
                                "role": "CISA Coordinator",
                                "version": "2.0.3"
                            }
                        }
                    }
                ],
                "title": "CISA ADP Vulnrichment",
                "providerMetadata": {
                    "orgId": "134c704f-9b21-4f2e-91b3-4a467353bcc0",
                    "shortName": "CISA-ADP",
                    "dateUpdated": "2024-09-19T13:52:13.521Z"
                }
            }
        ]
    }
}