CVE-2021-38194
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.
Published:Aug 8, 2021
Last Modified:Nov 21, 2024
EPS:Aug 8, 2021
EPSS Score:0.00363
CVSS Score:9.8
Affected Products
Vendor
Product
Action
Vendor
Arcworks
Product
Ark-r1cs-std
Arcworks
Ark-r1cs-std
Exploits
Common Weakness Enumeration
No CWE recorded yet
Common Attack Pattern Enumeration and Classification (CAPEC)
No CAPEC recorded yet
References
Common Vulnerability Scoring System
Attack Vector
Network
Adjacent
Local
Physical
Privileges Required
None
Low
High
User Interaction
None
Required
Scope
Unchanged
Changed
Confidentiality
None
Low
High
Integrity
None
Low
High
Availability
None
Low
High
