We found results for “”
WS-2021-0181
Good to know:
Date: July 8, 2021
Versions 0.2.0 to 0.3.0 of ark-r1cs-std did not enforce any constraints in the FieldVar::mul_by_inverse method, allowing a malicious prover to produce an unsound proof that passes all verifier checks. This method was used primarily in scalar multiplication for short_weierstrass::ProjectiveVar. This bug was fixed in commit 47ddbaa, and was released as part of version 0.3.1 on crates.io.
Language: RUST
Severity Score
Severity Score
Weakness Type (CWE)
Improper Certificate Validation
CWE-295Top Fix
CVSS v3.1
Base Score: |
|
---|---|
Attack Vector (AV): | LOCAL |
Attack Complexity (AC): | LOW |
Privileges Required (PR): | NONE |
User Interaction (UI): | REQUIRED |
Scope (S): | UNCHANGED |
Confidentiality (C): | NONE |
Integrity (I): | NONE |
Availability (A): | HIGH |