CVE-2021-38194: Calculation error in ark-r1cs-std
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
- github.com/advisories/GHSA-qj3v-q2vj-4c8h
- github.com/arkworks-rs/r1cs-std
- github.com/arkworks-rs/r1cs-std/commit/47ddbaa411afe7c499311a248a38135e5a192b67
- github.com/arkworks-rs/r1cs-std/pull/70
- nvd.nist.gov/vuln/detail/CVE-2021-38194
- raw.githubusercontent.com/rustsec/advisory-db/main/crates/ark-r1cs-std/RUSTSEC-2021-0075.md
- rustsec.org/advisories/RUSTSEC-2021-0075.html
Code Behaviors & Features
Detect and mitigate CVE-2021-38194 with GitLab Dependency Scanning
Secure your software supply chain by verifying that all open source dependencies used in your projects contain no disclosed vulnerabilities. Dependency Scanning using SBOM also detects vulnerabilities from proprietary advisories that this site does not include. Learn more about Dependency Scanning using SBOM →