{"uuid": "7692d16a-2655-449c-9b3a-510ebf8e0e7b", "vulnerability_lookup_origin": "1a89b78e-f703-45f3-bb86-59eb712668bd", "author": "2a075640-a300-48a4-bb44-bc6130783b9b", "vulnerability": "CVE-2021-38194", "type": "seen", "source": "https://t.me/cibsecurity/26981", "content": "\u203c CVE-2021-38194 \u203c\n\nAn 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.\n\n\ud83d\udcd6 Read\n\nvia \"National Vulnerability Database\".", "creation_timestamp": "2021-08-08T12:35:44.000000Z"}