PT-2021-22002 · Unknown · Ark-R1Cs-Std

Published 2021-07-08 · Updated 2021-08-25 · CVE-2021-38194

Positive Technologies (AI Summary)

CVSS v3.1

9.8

Critical

Base vector

AV:N/AC:L/PR:N/UI:N/S:U/C:H/I:H/A:H

Name of the Vulnerable Software and Affected Versions: ark-r1cs-std versions 0.2.0 through 0.3.0

Description: An issue was discovered in the ark-r1cs-std crate for Rust, where it does not enforce any constraints in the FieldVar::mul by inverse method. This allows a malicious prover to produce an unsound proof that passes all verifier checks. The method was primarily used in scalar multiplication for short weierstrass::ProjectiveVar.

Recommendations: For versions 0.2.0 through 0.3.0, update to version 0.3.1 or later to resolve the issue. As a temporary workaround, consider disabling the FieldVar::mul by inverse method until a patch is available.

Exploit

Fix

Weakness Enumeration

CWE-682

Related Identifiers

CVE-2021-38194

GHSA-QJ3V-Q2VJ-4C8H

RUSTSEC-2021-0075

Affected Products

Ark-R1Cs-Std

References · 12

• 🔥 https://rustsec.org/advisories/RUSTSEC-2021-0075.html · Exploit
• https://osv.dev/vulnerability/GHSA-qj3v-q2vj-4c8h · Vendor Advisory
• https://nvd.nist.gov/vuln/detail/CVE-2021-38194 · Security Note
• https://osv.dev/vulnerability/RUSTSEC-2021-0075 · Vendor Advisory
• https://osv.dev/vulnerability/CVE-2021-38194 · Vendor Advisory
• https://github.com/arkworks-rs/r1cs-std/commit/47ddbaa411afe7c499311a248a38135e5a192b67 · Note
• https://github.com/arkworks-rs/r1cs-std · Note
• https://github.com/arkworks-rs/r1cs-std/pull/70 · Note
• https://t.me/cvenotify/18863 · Telegram Post
• https://raw.githubusercontent.com/rustsec/advisory-db/main/crates/ark-r1cs-std/RUSTSEC-2021-0075.md · Note
• https://crates.io/crates/ark-r1cs-std · Note
• https://t.me/cibsecurity/26981 · Telegram Post