CVEvulnerability
CVE-2021-38194
9.8 CRITICAL
Official page ↗
- Status
- Modified
- Published
- 2021-08-08
- Last modified
- 2026-06-17
- Assigner
- [email protected]
- CVSS 3.1 ([email protected])
- 9.8 CRITICAL — CVSS:3.1/AV:N/AC:L/PR:N/UI:N/S:U/C:H/I:H/A:H
- CVSS 2.0 ([email protected])
- 7.5 HIGH — AV:N/AC:L/Au:N/C:P/I:P/A:P
Description
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.
Affected configurations
• arcworks ark-r1cs-std (< 0.3.1)
References
- 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
- 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