GO-2023-2098

See a problem?
Please try reporting it to the source first.

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

Database specific

{
    "review_status": "REVIEWED",
    "url": "https://pkg.go.dev/vuln/GO-2023-2098"
}

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": [
        {
            "symbols": [
                "builder.AssertIsLessOrEqual",
                "builder.Cmp",
                "builder.ToBinary",
                "builder.mustBeLessOrEqCst",
                "builder.mustBeLessOrEqVar"
            ],
            "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": [
                "recursiveHint.Define"
            ],
            "path": "github.com/consensys/gnark/internal/backend/circuits"
        },
        {
            "symbols": [
                "WithNbDigits"
            ],
            "path": "github.com/consensys/gnark/std/math/bits"
        }
    ]
}