RUSTSEC-2021-0075

See a problem?
Please try reporting it to the source first.

Source

https://rustsec.org/advisories/RUSTSEC-2021-0075

Import Source

https://github.com/rustsec/advisory-db/blob/osv/crates/RUSTSEC-2021-0075.json

JSON Data

https://api.osv.dev/v1/vulns/RUSTSEC-2021-0075

Aliases

CVE-2021-38194
GHSA-qj3v-q2vj-4c8h

Published

2021-07-08T12:00:00Z

Modified

2023-11-08T04:06:26.167178Z

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.

This bug was fixed in commit 47ddbaa, and was released as part of version 0.3.1 on crates.io.

Database specific

{
    "license": "CC0-1.0"
}

References

Affected packages

crates.io / ark-r1cs-std

Package

Name: ark-r1cs-std; View open source insights on deps.dev
Purl: pkg:cargo/ark-r1cs-std

Affected ranges

Type: SEMVER
Events: Introduced

0.0.0-0

Fixed

0.3.1

Ecosystem specific

{
    "affected_functions": null,
    "affects": {
        "os": [],
        "functions": [
            "ark_r1cs_std::FieldVar::mul_by_inverse"
        ],
        "arch": []
    }
}

Database specific

{
    "cvss": null,
    "informational": null,
    "categories": [
        "crypto-failure"
    ]
}