Approved changes feed: RSS · Atom

cpe:2.3:a:arcworks:ark-r1cs-std:*:*:*:*:*:rust:*:*

part: a version: * update: *

VendorArcworks (a11aa54e-1956-5e5f-92ab-fc16295f3ef1)
ProductArk R1Cs Std (1e0de1ee-c0bc-5db7-8b36-5d93ba2bf810)
Edition*
Language*
Software edition*
Target softwarerust
Target hardware*
Other*
NotesImported from gcve-enriched-dumps CVE data

PURL mappings

PURLSourceLast updated
No PURL mappings for this CPE yet.

Vulnerability references

IdentifiercpeApplicabilitySubmitteddb.gcve.eu detailsRationale
CVE:CVE-2021-38194 vulnerable 2026-06-08 05:32:55.682182 Details available
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-08T05:08:44.000Z
Updated: 2024-08-04T01:37:16.197Z
Reference links
Imported from gcve-enriched-dumps CVE data

Contribute

You can submit an edit proposal for this CPE entry or suggest a related product/vendor addition using the action button above.