Rust是Mozilla基金会的一款通用、编译型编程语言。 Rust 0.3.1 之前的 ark-r1cs-std crate 中存在安全漏洞,该漏洞源于 FieldVar::mul_by_inverse 方法不会强制执行任何约束。