{"id":"GHSA-qj3v-q2vj-4c8h","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.","aliases":["CVE-2021-38194","RUSTSEC-2021-0075"],"modified":"2023-11-08T04:06:26.167178Z","published":"2021-08-25T20:55:58Z","database_specific":{"cwe_ids":["CWE-682"],"severity":"CRITICAL","github_reviewed":true,"github_reviewed_at":"2021-08-18T21:27:27Z","nvd_published_at":"2021-08-08T06:15:00Z"},"references":[{"type":"ADVISORY","url":"https://nvd.nist.gov/vuln/detail/CVE-2021-38194"},{"type":"WEB","url":"https://github.com/arkworks-rs/r1cs-std/pull/70"},{"type":"WEB","url":"https://github.com/arkworks-rs/r1cs-std/commit/47ddbaa411afe7c499311a248a38135e5a192b67"},{"type":"PACKAGE","url":"https://github.com/arkworks-rs/r1cs-std"},{"type":"WEB","url":"https://raw.githubusercontent.com/rustsec/advisory-db/main/crates/ark-r1cs-std/RUSTSEC-2021-0075.md"},{"type":"WEB","url":"https://rustsec.org/advisories/RUSTSEC-2021-0075.html"}],"affected":[{"package":{"name":"ark-r1cs-std","ecosystem":"crates.io","purl":"pkg:cargo/ark-r1cs-std"},"ranges":[{"type":"SEMVER","events":[{"introduced":"0.2.0"},{"fixed":"0.3.1"}]}],"database_specific":{"source":"https://github.com/github/advisory-database/blob/main/advisories/github-reviewed/2021/08/GHSA-qj3v-q2vj-4c8h/GHSA-qj3v-q2vj-4c8h.json"}}],"schema_version":"1.9.0","severity":[{"type":"CVSS_V3","score":"CVSS:3.1/AV:N/AC:L/PR:N/UI:N/S:U/C:H/I:H/A:H"}]}