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

Aliases: GHSA-7p92-x423-vwj6 Fixes #2119 Change-Id: I94f345dd3055fe7002cf23dcebb3d7d6a2b5fde6 Reviewed-on: https://go-review.googlesource.com/c/vulndb/+/537496 Reviewed-by: Damien Neil <[email protected]> TryBot-Result: Gopher Robot <[email protected]> Run-TryBot: Tatiana Bradley <[email protected]>
golang · Oct 24, 2023 · 2ff618d · 2ff618d
1 parent b6d933a
commit 2ff618d
Show file tree

Hide file tree

Showing 2 changed files with 146 additions and 0 deletions.
diff --git a/data/osv/GO-2023-2119.json b/data/osv/GO-2023-2119.json
@@ -0,0 +1,98 @@
+{
+  "schema_version": "1.3.1",
+  "id": "GO-2023-2119",
+  "modified": "0001-01-01T00:00:00Z",
+  "published": "0001-01-01T00:00:00Z",
+  "aliases": [
+    "GHSA-7p92-x423-vwj6"
+  ],
+  "summary": "Proof forgery due to insufficient randomness in github.com/consensys/gnark",
+  "details": "A a third party may derive a valid proof from a valid initial tuple {proof, public_inputs}, corresponding to the same public inputs as the initial proof. This vulnerability is due to randomness being generated using a small part of the scratch memory describing the state, allowing for degrees of freedom in the transcript. Note that the impact is limited to the PlonK verifier smart contract.",
+  "affected": [
+    {
+      "package": {
+        "name": "github.com/consensys/gnark",
+        "ecosystem": "Go"
+      },
+      "ranges": [
+        {
+          "type": "SEMVER",
+          "events": [
+            {
+              "introduced": "0"
+            },
+            {
+              "fixed": "0.9.1"
+            }
+          ]
+        }
+      ],
+      "ecosystem_specific": {
+        "imports": [
+          {
+            "path": "github.com/consensys/gnark/backend/plonk/bls12-377",
+            "symbols": [
+              "Prove",
+              "Verify"
+            ]
+          },
+          {
+            "path": "github.com/consensys/gnark/backend/plonk/bls12-381",
+            "symbols": [
+              "Prove",
+              "Verify"
+            ]
+          },
+          {
+            "path": "github.com/consensys/gnark/backend/plonk/bls24-315",
+            "symbols": [
+              "Prove",
+              "Verify"
+            ]
+          },
+          {
+            "path": "github.com/consensys/gnark/backend/plonk/bls24-317",
+            "symbols": [
+              "Prove",
+              "Verify"
+            ]
+          },
+          {
+            "path": "github.com/consensys/gnark/backend/plonk/bn254",
+            "symbols": [
+              "Prove",
+              "Verify"
+            ]
+          },
+          {
+            "path": "github.com/consensys/gnark/backend/plonk/bw6-633",
+            "symbols": [
+              "Prove",
+              "Verify"
+            ]
+          },
+          {
+            "path": "github.com/consensys/gnark/backend/plonk/bw6-761",
+            "symbols": [
+              "Prove",
+              "Verify"
+            ]
+          }
+        ]
+      }
+    }
+  ],
+  "references": [
+    {
+      "type": "ADVISORY",
+      "url": "https://github.com/Consensys/gnark/security/advisories/GHSA-7p92-x423-vwj6"
+    },
+    {
+      "type": "FIX",
+      "url": "https://github.com/Consensys/gnark/commit/3421eaa7d544286abf3de8c46282b8d4da6d5da0"
+    }
+  ],
+  "database_specific": {
+    "url": "https://pkg.go.dev/vuln/GO-2023-2119"
+  }
+}
diff --git a/data/reports/GO-2023-2119.yaml b/data/reports/GO-2023-2119.yaml
@@ -0,0 +1,48 @@
+id: GO-2023-2119
+modules:
+    - module: github.com/consensys/gnark
+      versions:
+        - fixed: 0.9.1
+      vulnerable_at: 0.9.0
+      packages:
+        - package: github.com/consensys/gnark/backend/plonk/bls12-377
+          symbols:
+            - Prove
+            - Verify
+        - package: github.com/consensys/gnark/backend/plonk/bls12-381
+          symbols:
+            - Prove
+            - Verify
+        - package: github.com/consensys/gnark/backend/plonk/bls24-315
+          symbols:
+            - Prove
+            - Verify
+        - package: github.com/consensys/gnark/backend/plonk/bls24-317
+          symbols:
+            - Prove
+            - Verify
+        - package: github.com/consensys/gnark/backend/plonk/bn254
+          symbols:
+            - Prove
+            - Verify
+        - package: github.com/consensys/gnark/backend/plonk/bw6-633
+          symbols:
+            - Prove
+            - Verify
+        - package: github.com/consensys/gnark/backend/plonk/bw6-761
+          symbols:
+            - Prove
+            - Verify
+summary: Proof forgery due to insufficient randomness in github.com/consensys/gnark
+description: |-
+    A a third party may derive a valid proof from a valid initial tuple {proof,
+    public_inputs}, corresponding to the same public inputs as the initial proof.
+    This vulnerability is due to randomness being generated using a small part of
+    the scratch memory describing the state, allowing for degrees of freedom in the
+    transcript. Note that the impact is limited to the PlonK verifier smart
+    contract.
+ghsas:
+    - GHSA-7p92-x423-vwj6
+references:
+    - advisory: https://github.com/Consensys/gnark/security/advisories/GHSA-7p92-x423-vwj6
+    - fix: https://github.com/Consensys/gnark/commit/3421eaa7d544286abf3de8c46282b8d4da6d5da0