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.
Metrics
Affected Vendors & Products
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 |
Fixes
Solution
No solution given by the vendor.
Workaround
No workaround given by the vendor.
References
History
No history.
Status: PUBLISHED
Assigner: mitre
Published:
Updated: 2024-08-04T01:37:16.197Z
Reserved: 2021-08-08T00:00:00
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.
EUVD
Github GHSA