CVE-2021-38194GHSA-QJ3V-Q2VJ-4C8HRUSTSEC-2021-0075
An issue was discovered in the ark-r1cs-std crate before 0.3.1 for Rust.
- Published
- Last modified
- Where the record stands: published, rejected by its publisher, or superseded by another id.What do these mean? →
- published
- Whether CISA lists it in its Known Exploited Vulnerabilities catalog: proof that attackers are using it.What do these mean? →
- Not listed in CISA KEV
- Fix
- Fixed in 0.3.1
- Whether working attack code is public (Exploit-DB, Metasploit, Nuclei or GitHub). Public code makes attacks easier.What do these mean? →
- None on Exploit-DB, Metasploit or GitHub
Summary
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::mul_by_inverse method. Thus, a prover can produce a proof that is unsound but is nonetheless verified.
Timeline
- CVE published
- Record last updated
Affected versions
- n/a n/a
Version range not reported
- ark-r1cs-stdcrates.io
From 0.2.0 · fixed in 0.3.1
- ark-r1cs-stdcrates.io
From 0.0.0-0 · fixed in 0.3.1