What’s Vulnerable › Vulnerabilities

CVE-2021-38194

• Severity: critical (CVSS 9.8 v3.1)
• Exploited in the wild: not listed in CISA KEV
• EPSS: 1.3% probability of exploitation in the next 30 days
• Public exploit or detection template: yes
• Published: 2021-08-08 · updated 2026-06-17

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 products

• Arcworks Ark-R1Cs-Std: before 0.3.1 — fixed in 0.3.1

How to fix

Upgrade to a fixed version: Arcworks Ark-R1Cs-Std 0.3.1. Check the vendor advisory for mitigations.

References

• https://raw.githubusercontent.com/rustsec/advisory-db/main/crates/ark-r1cs-std/RUSTSEC-2021-0075.md
• https://rustsec.org/advisories/RUSTSEC-2021-0075.html
• https://raw.githubusercontent.com/rustsec/advisory-db/main/crates/ark-r1cs-std/RUSTSEC-2021-0075.md
• https://rustsec.org/advisories/RUSTSEC-2021-0075.html

Get alerted when CVE-2021-38194 or the next vulnerability affects your stack