Inappropriate coding practices In ark-r1cs-std
Description
Calculation error in ark-r1cs-std 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.
Mitigation
Update Impact
Minimal update. May introduce new vulnerabilities or breaking changes.
Ecosystem | Package | Affected version | Patched versions |
|---|---|---|---|
 cargo | 0.3.1 |
Aliases
1. 2. 3. 4.
References
1. 2. 3. 4.