| Jonathan Amsterdam | 4a4a43f | 2023-10-09 12:22:55 -0400 | [diff] [blame] | 1 | id: GO-2023-2098 |
| 2 | modules: |
| 3 | - module: github.com/consensys/gnark |
| 4 | versions: |
| 5 | - fixed: 0.9.0 |
| 6 | vulnerable_at: 0.9.0-alpha |
| 7 | packages: |
| 8 | - package: github.com/consensys/gnark/frontend/cs/r1cs |
| 9 | symbols: |
| 10 | - builder.Cmp |
| 11 | - builder.AssertIsLessOrEqual |
| 12 | - builder.mustBeLessOrEqVar |
| 13 | - builder.mustBeLessOrEqCst |
| 14 | derived_symbols: |
| 15 | - builder.ToBinary |
| 16 | - package: github.com/consensys/gnark/frontend/cs/scs |
| 17 | symbols: |
| 18 | - builder.Cmp |
| 19 | - builder.AssertIsLessOrEqual |
| 20 | - builder.mustBeLessOrEqVar |
| 21 | - builder.mustBeLessOrEqCst |
| 22 | derived_symbols: |
| 23 | - builder.ToBinary |
| 24 | - package: github.com/consensys/gnark/internal/backend/circuits |
| 25 | symbols: |
| 26 | - recursiveHint.Define |
| 27 | - package: github.com/consensys/gnark/std/math/bits |
| 28 | symbols: |
| 29 | - WithNbDigits |
| 30 | summary: Unsoundness in variable comparison / non-unique binary decomposition in github.com/consensys/gnark |
| 31 | cves: |
| 32 | - CVE-2023-44378 |
| 33 | ghsas: |
| 34 | - GHSA-498w-5j49-vqjg |
| 35 | credits: |
| 36 | - '@kustosz' |
| 37 | references: |
| 38 | - report: https://github.com/zkopru-network/zkopru/issues/116 |
| 39 | - fix: https://github.com/Consensys/gnark/pull/835 |
| 40 | - fix: https://github.com/Consensys/gnark/commit/59a4087261a6c73f13e80d695c17b398c3d0934f |
| 41 | - advisory: https://github.com/advisories/GHSA-498w-5j49-vqjg |
