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.
Published: 2021-08-08
Score: 9.8 Critical
EPSS: < 1% Very Low
KEV: No
Impact: n/a
Action: n/a
AI Analysis

Analysis and contextual insights are available on OpenCVE Cloud.

Remediation

No vendor fix or workaround currently provided.

Additional remediation guidance may be available on OpenCVE Cloud.

Tracking

Sign in to view the affected projects.

Advisories
Source ID Title
EUVD EUVD EUVD-2021-1846 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.
Github GHSA Github GHSA GHSA-qj3v-q2vj-4c8h Calculation error in ark-r1cs-std
History

No history.

Subscriptions

Arcworks Ark-r1cs-std
cve-icon MITRE

Status: PUBLISHED

Assigner: mitre

Published:

Updated: 2024-08-04T01:37:16.197Z

Reserved: 2021-08-08T00:00:00.000Z

Link: CVE-2021-38194

cve-icon Vulnrichment

No data.

cve-icon NVD

Status : Modified

Published: 2021-08-08T06:15:09.080

Modified: 2024-11-21T06:16:37.223

Link: CVE-2021-38194

cve-icon Redhat

No data.

cve-icon OpenCVE Enrichment

No data.

Weaknesses