GHSA-qj3v-q2vj-4c8h

    Dashboard / Vulnerabilities / GHSA-qj3v-q2vj-4c8h

    GHSA-qj3v-q2vj-4c8h

    Published: 25 Aug 2021Last Modified: 8 Nov 2023

    Summary: Calculation error in ark-r1cs-std

    Details: 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: https://nvd.nist.gov/vuln/detail/CVE-2021-38194, https://github.com/arkworks-rs/r1cs-std/pull/70, https://github.com/arkworks-rs/r1cs-std/commit/47ddbaa411afe7c499311a248a38135e5a192b67, https://github.com/arkworks-rs/r1cs-std, https://raw.githubusercontent.com/rustsec/advisory-db/main/crates/ark-r1cs-std/RUSTSEC-2021-0075.md, https://rustsec.org/advisories/RUSTSEC-2021-0075.html

    Affected packages

    Package

    Name: ark-r1cs-std

    Purl: pkg:cargo/ark-r1cs-std

    Affected ranges

    Type: SEMVER

    Events:

    Introduced- 0.2.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
    GHSA-qj3v-q2vj-4c8h | CVE-DB