data/reports: add GO-2023-2098.yaml

Aliases: CVE-2023-44378, GHSA-498w-5j49-vqjg Fixes #2098 Change-Id: Iba0325eb36ec9b8dabe29311d319681c04ecf37c Reviewed-on: https://go-review.googlesource.com/c/vulndb/+/533915 TryBot-Result: Gopher Robot <[email protected]> Run-TryBot: Jonathan Amsterdam <[email protected]> Reviewed-by: Tatiana Bradley <[email protected]>
golang · Oct 9, 2023 · 4a4a43f · 4a4a43f
1 parent 1d76b9c
commit 4a4a43f
Show file tree

Hide file tree

Showing 2 changed files with 136 additions and 0 deletions.
diff --git a/data/osv/GO-2023-2098.json b/data/osv/GO-2023-2098.json
@@ -0,0 +1,95 @@
+{
+  "schema_version": "1.3.1",
+  "id": "GO-2023-2098",
+  "modified": "0001-01-01T00:00:00Z",
+  "published": "0001-01-01T00:00:00Z",
+  "aliases": [
+    "CVE-2023-44378",
+    "GHSA-498w-5j49-vqjg"
+  ],
+  "summary": "Unsoundness in variable comparison / non-unique binary decomposition in github.com/consensys/gnark",
+  "details": "Unsoundness in variable comparison / non-unique binary decomposition in github.com/consensys/gnark",
+  "affected": [
+    {
+      "package": {
+        "name": "github.com/consensys/gnark",
+        "ecosystem": "Go"
+      },
+      "ranges": [
+        {
+          "type": "SEMVER",
+          "events": [
+            {
+              "introduced": "0"
+            },
+            {
+              "fixed": "0.9.0"
+            }
+          ]
+        }
+      ],
+      "ecosystem_specific": {
+        "imports": [
+          {
+            "path": "github.com/consensys/gnark/frontend/cs/r1cs",
+            "symbols": [
+              "builder.AssertIsLessOrEqual",
+              "builder.Cmp",
+              "builder.ToBinary",
+              "builder.mustBeLessOrEqCst",
+              "builder.mustBeLessOrEqVar"
+            ]
+          },
+          {
+            "path": "github.com/consensys/gnark/frontend/cs/scs",
+            "symbols": [
+              "builder.AssertIsLessOrEqual",
+              "builder.Cmp",
+              "builder.ToBinary",
+              "builder.mustBeLessOrEqCst",
+              "builder.mustBeLessOrEqVar"
+            ]
+          },
+          {
+            "path": "github.com/consensys/gnark/internal/backend/circuits",
+            "symbols": [
+              "recursiveHint.Define"
+            ]
+          },
+          {
+            "path": "github.com/consensys/gnark/std/math/bits",
+            "symbols": [
+              "WithNbDigits"
+            ]
+          }
+        ]
+      }
+    }
+  ],
+  "references": [
+    {
+      "type": "REPORT",
+      "url": "https://github.com/zkopru-network/zkopru/issues/116"
+    },
+    {
+      "type": "FIX",
+      "url": "https://github.com/Consensys/gnark/pull/835"
+    },
+    {
+      "type": "FIX",
+      "url": "https://github.com/Consensys/gnark/commit/59a4087261a6c73f13e80d695c17b398c3d0934f"
+    },
+    {
+      "type": "ADVISORY",
+      "url": "https://github.com/advisories/GHSA-498w-5j49-vqjg"
+    }
+  ],
+  "credits": [
+    {
+      "name": "@kustosz"
+    }
+  ],
+  "database_specific": {
+    "url": "https://pkg.go.dev/vuln/GO-2023-2098"
+  }
+}
diff --git a/data/reports/GO-2023-2098.yaml b/data/reports/GO-2023-2098.yaml
@@ -0,0 +1,41 @@
+id: GO-2023-2098
+modules:
+    - module: github.com/consensys/gnark
+      versions:
+        - fixed: 0.9.0
+      vulnerable_at: 0.9.0-alpha
+      packages:
+        - package: github.com/consensys/gnark/frontend/cs/r1cs
+          symbols:
+            - builder.Cmp
+            - builder.AssertIsLessOrEqual
+            - builder.mustBeLessOrEqVar
+            - builder.mustBeLessOrEqCst
+          derived_symbols:
+            - builder.ToBinary
+        - package: github.com/consensys/gnark/frontend/cs/scs
+          symbols:
+            - builder.Cmp
+            - builder.AssertIsLessOrEqual
+            - builder.mustBeLessOrEqVar
+            - builder.mustBeLessOrEqCst
+          derived_symbols:
+            - builder.ToBinary
+        - package: github.com/consensys/gnark/internal/backend/circuits
+          symbols:
+            - recursiveHint.Define
+        - package: github.com/consensys/gnark/std/math/bits
+          symbols:
+            - WithNbDigits
+summary: Unsoundness in variable comparison / non-unique binary decomposition in github.com/consensys/gnark
+cves:
+    - CVE-2023-44378
+ghsas:
+    - GHSA-498w-5j49-vqjg
+credits:
+    - '@kustosz'
+references:
+    - report: https://github.com/zkopru-network/zkopru/issues/116
+    - fix: https://github.com/Consensys/gnark/pull/835
+    - fix: https://github.com/Consensys/gnark/commit/59a4087261a6c73f13e80d695c17b398c3d0934f
+    - advisory: https://github.com/advisories/GHSA-498w-5j49-vqjg