RUSTSEC-2021-0075

    Dashboard / Vulnerabilities / RUSTSEC-2021-0075

    RUSTSEC-2021-0075

    Published: 8 Jul 2021Last Modified: 8 Nov 2023

    Summary: Flaw in `FieldVar::mul_by_inverse` allows unsound R1CS constraint systems

    Details: 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`](https://docs.rs/ark-r1cs-std/0.3.0/ark_r1cs_std/groups/curves/short_weierstrass/struct.ProjectiveVar.html). This bug was fixed in commit `47ddbaa`, and was released as part of version `0.3.1` on `crates.io`.

    References: https://crates.io/crates/ark-r1cs-std, https://rustsec.org/advisories/RUSTSEC-2021-0075.html, https://github.com/arkworks-rs/r1cs-std/pull/70

    Affected packages

    Package

    Name: ark-r1cs-std

    Purl: pkg:cargo/ark-r1cs-std

    Affected ranges

    Type: SEMVER

    Events:

    Introduced- 0.0.0-0
    Fixed -0.3.1

    Affected versions

    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
    RUSTSEC-2021-0075 | CVE-DB