Unsoundness in variable comparison / non-unique binary decomposition in github.com/consensys/gnark
{ "url": "https://pkg.go.dev/vuln/GO-2023-2098", "review_status": "REVIEWED" }
{ "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" } ] }