Cryptographic Issues Affecting ark-r1cs-std package, versions >=0.2.0 <0.3.1


Severity

Recommended
0.0
medium
0
10

CVSS assessment made by Snyk's Security Team. Learn more

Threat Intelligence

EPSS
0.27% (69th percentile)

Do your applications use this vulnerable package?

In a few clicks we can analyze your entire application and see what components are vulnerable in your application, and suggest you quick fixes.

Test your applications

Snyk Learn

Learn about Cryptographic Issues vulnerabilities in an interactive lesson.

Start learning
  • Snyk IDSNYK-RUST-ARKR1CSSTD-1316311
  • published9 Jul 2021
  • disclosed8 Jul 2021
  • creditUnknown

Introduced: 8 Jul 2021

CVE-2021-38194  (opens in a new tab)
CWE-310  (opens in a new tab)

How to fix?

Upgrade ark-r1cs-std to version 0.3.1 or higher.

Overview

ark-r1cs-std is an A standard library for constraint system gadgets

Affected versions of this package are vulnerable to Cryptographic Issues. 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.

References

CVSS Scores

version 3.1