https://cve.radiocsirt.org Contains only the most 10 recent entries. http://www.rssboard.org/rss-specification python-feedgen en Fri, 09 Oct 2026 02:16:51 +0000 https://cve.radiocsirt.org/vuln/cnvd-2021-61409 cnvd-2021-61409 https://cve.radiocsirt.org/vuln/cnvd-2021-61409 https://cve.radiocsirt.org/vuln/euvd-2026-30188 EUVD-2026-30188 https://cve.radiocsirt.org/vuln/euvd-2026-30188 https://cve.radiocsirt.org/vuln/fkie_cve-2021-38194 <p>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.</p> <p>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.</p> https://cve.radiocsirt.org/vuln/fkie_cve-2021-38194 https://cve.radiocsirt.org/vuln/ghsa-qj3v-q2vj-4c8h <p><strong>Affected:</strong> crates.io: ark-r1cs-std</p> <p>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.</p> <p><strong>Affected:</strong> crates.io: ark-r1cs-std</p> <p>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.</p> https://cve.radiocsirt.org/vuln/ghsa-qj3v-q2vj-4c8h https://cve.radiocsirt.org/vuln/gsd-2021-38194 gsd-2021-38194 https://cve.radiocsirt.org/vuln/gsd-2021-38194 https://cve.radiocsirt.org/vuln/rustsec-2021-0075 <p><strong>Affected:</strong> crates.io: ark-r1cs-std</p> <p>Versions `0.2.0` to `0.3.0` of ark-r1cs-std did not enforce any constraints in the `FieldVar::mul_by_inverse` method, allowing a malicious prover to produce an unsound proof that passes all verifier checks. This method was used primarily in scalar multiplication for [`short_weierstrass::ProjectiveVar`](https://docs.rs/ark-r1cs-std/0.3.0/ark_r1cs_std/groups/curves/short_weierstrass/struct.ProjectiveVar.html).</p> <p>This bug was fixed in commit `47ddbaa`, and was released as part of version `0.3.1` on `crates.io`.</p> <p><strong>Affected:</strong> crates.io: ark-r1cs-std</p> <p>Versions `0.2.0` to `0.3.0` of ark-r1cs-std did not enforce any constraints in the `FieldVar::mul_by_inverse` method, allowing a malicious prover to produce an unsound proof that passes all verifier checks. This method was used primarily in scalar multiplication for [`short_weierstrass::ProjectiveVar`](https://docs.rs/ark-r1cs-std/0.3.0/ark_r1cs_std/groups/curves/short_weierstrass/struct.ProjectiveVar.html).</p> <p>This bug was fixed in commit `47ddbaa`, and was released as part of version `0.3.1` on `crates.io`.</p> https://cve.radiocsirt.org/vuln/rustsec-2021-0075