GO-2023-2098

See a problem?
Source
https://pkg.go.dev/vuln/GO-2023-2098
Import Source
https://vuln.go.dev/ID/GO-2023-2098.json
JSON Data
https://api.osv.dev/v1/vulns/GO-2023-2098
Aliases
Published
2023-10-09T21:29:55Z
Modified
2024-05-20T16:03:47Z
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

References
Credits
    • @kustosz

Affected packages

Go / github.com/consensys/gnark

Package

Name
github.com/consensys/gnark
View open source insights on deps.dev
Purl
pkg:golang/github.com/consensys/gnark

Affected ranges

Type
SEMVER
Events
Introduced
0Unknown introduced version / All previous versions are affected
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"
            ]
        }
    ]
}