Critical, CVSS 9.8crates.ioPublished
Calculation error in ark-r1cs-std
CVE-2021-38194 · GHSA-qj3v-q2vj-4c8h
- Affected
- crates.io ark-r1cs-std >= 0.2.0, < 0.3.1
- Fixed in
- 0.3.1· Vendor fix available
- Issue
- An issue was discovered in the ark-r1cs-std crate before 0.3.1 for Rust. It does not enforce any constraints in the FieldVar::mulbyinverse method. Thus, a prover can produce a proof that is unsound but is nonetheless verified.
Recommended action: Upgrade to 0.3.1 or later, then redeploy and verify.A vendor fix does not resolve your finding until you verify it in your own systems.