GitHub Advisoryadvisory · crates.io

GHSA-qj3v-q2vj-4c8h Calculation error in ark-r1cs-std

CRITICAL Published 2021-08-25 Modified 2021-08-18 Official page ↗
Aliases
CVE-2021-38194
Ecosystem
crates.io
Packages
ark-r1cs-std
Severity
Critical
CVSS vector
CVSS:3.1/AV:N/AC:L/PR:N/UI:N/S:U/C:H/I:H/A:H
Weaknesses
CWE-682
Reviewed
2021-08-18

Affected packages

• crates.io ark-r1cs-std: >= 0.2.0, < 0.3.1 → fixed in 0.3.1

Description

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.

Related

Alias · CVE (1)

  • CVE-2021-38194 An issue was discovered in the ark-r1cs-std crate before 0.3.1 for Rust. vulnerability

Weakness · CWE (1)

  • CWE-682 Incorrect Calculation weakness

References