Unsoundness in variable comparison / non-unique binary decomposition in github.com/consensys/gnark
Unsoundness in variable comparison / non-unique binary decomposition in github.com/consensys/gnark
01
describes (1)
Related CVEs.
| ID | severity | exploitable | ||
|---|---|---|---|---|
| CVE-2023-44378US | medium5.5 | — | ||
gnark is a zk-SNARK library that offers a high-level API to design circuits. Prior to version 0.9.0, for some in-circuit values, it is possible to construct two valid decomposition… | ||||
02
references
External citations — patches, advisories, analysis.
scry
Advisories like this name the exposed products attackers go after on your perimeter. See what is exposed on your perimeter with a free passive scan.
Free scan