This project might be open to known security vulnerabilities, which can be prevented by tightening the version range of affected dependencies. Find detailed information at the bottom.
ark-crypto-primitives(13 total, 9 outdated, 1 possibly insecure)
| Crate | Required | Latest | Status |
|---|---|---|---|
| ark-ec | ^0.3.0 | 0.4.2 | out of date |
| ark-ff | ^0.3.0 | 0.4.2 | out of date |
| ark-nonnative-field | ^0.3.0 | 0.3.0 | up to date |
| ark-r1cs-std ⚠️ | ^0.3.0 | 0.4.0 | out of date |
| ark-relations | ^0.3.0 | 0.4.0 | out of date |
| ark-serialize | ^0.3.0 | 0.4.2 | out of date |
| ark-snark | ^0.3.0 | 0.4.0 | out of date |
| ark-std | ^0.3.0 | 0.4.0 | out of date |
| blake2 | ^0.9 | 0.10.6 | out of date |
| derivative | ^2.0 | 2.2.0 | up to date |
| digest | ^0.9 | 0.10.7 | out of date |
| rayon | ^1.0 | 1.10.0 | up to date |
| tracing | ^0.1 | 0.1.40 | up to date |
(4 total, 4 outdated)
| Crate | Required | Latest | Status |
|---|---|---|---|
| ark-bls12-377 | ^0.3.0 | 0.4.0 | out of date |
| ark-ed-on-bls12-381 | ^0.3.0 | 0.4.0 | out of date |
| ark-mnt4-298 | ^0.3.0 | 0.4.0 | out of date |
| ark-mnt6-298 | ^0.3.0 | 0.4.0 | out of date |
ark-r1cs-std: Flaw in `FieldVar::mul_by_inverse` allows unsound R1CS constraint systemsVersions 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.
This bug was fixed in commit 47ddbaa, and was released as part of version 0.3.1 on crates.io.