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.
References
Link | Resource |
---|---|
https://raw.githubusercontent.com/rustsec/advisory-db/main/crates/ark-r1cs-std/RUSTSEC-2021-0075.md | Third Party Advisory |
https://rustsec.org/advisories/RUSTSEC-2021-0075.html | Exploit Issue Tracking Patch Third Party Advisory |
History
No history.
MITRE Information
Status: PUBLISHED
Assigner: mitre
Published: 2021-08-08T05:08:44
Updated: 2021-08-08T05:08:44
Reserved: 2021-08-08T00:00:00
Link: CVE-2021-38194
JSON object: View
NVD Information
Status : Analyzed
Published: 2021-08-08T06:15:09.080
Modified: 2021-08-16T16:58:38.040
Link: CVE-2021-38194
JSON object: View
Redhat Information
No data.
CWE