他们在ZKVM中发现了另一个致命的漏洞,这个漏洞将会摧毁每个应用程序在每个平台上的每个用户。向R0和VeridiseInc致敬!另外,今天我了解到"estop"紧急停止机制——太棒了!
RISC Zero
RISC Zero8月5日 06:55
随着我们继续扩展对电路的形式验证覆盖范围,我们发现并修复了另一个漏洞。这个漏洞是由 @VeridiseInc 的 Picus 发现的。 该问题已被修复,所有合作伙伴已迁移到 2.2.0 或更高版本的 risc0-zkVM。 RISC Zero 始终致力于提供最高水平的透明度、主动安全和完整性。
3.85K