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.
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-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 |
GHSA-qj3v-q2vj-4c8h | Calculation error in ark-r1cs-std |
References
History
No history.
Status: PUBLISHED
Assigner: mitre
Published:
Updated: 2024-08-04T01:37:16.197Z
Reserved: 2021-08-08T00:00:00.000Z
Link: CVE-2021-38194
No data.
Status : Modified
Published: 2021-08-08T06:15:09.080
Modified: 2024-11-21T06:16:37.223
Link: CVE-2021-38194
No data.
OpenCVE Enrichment
No data.
Weaknesses
EUVD
Github GHSA