随着我们继续扩展对电路的形式验证覆盖范围，我们发现并修复了另一个漏洞。这个漏洞是由 @VeridiseInc 的 Picus 发现的。 该问题已被修复，所有合作伙伴已迁移到 2.2.0 或更高版本的 risc0-zkVM。 RISC Zero 始终致力于提供最高水平的透明度、主动安全和完整性。