做得好!zkVM 的健全性是一个非常重要的话题。对此的透明度是前进的方向。
RISC Zero
RISC Zero8月5日 06:55
随着我们继续扩展对电路的形式验证覆盖范围,我们发现并修复了另一个漏洞。这个漏洞是由 @VeridiseInc 的 Picus 发现的。 该问题已被修复,所有合作伙伴已迁移到 2.2.0 或更高版本的 risc0-zkVM。 RISC Zero 始终致力于提供最高水平的透明度、主动安全和完整性。
1.58K