这很难吗？是的 我们的健全性漏洞毁灭性大吗？是的 我们是否比你想象的更接近目标？是的 从第一天开始，也就是我们发布证明系统的同一天，@RiscZero 就开始了正式验证其 zkVM 的漫长过程。 最近我们推出了“Picus”，它在持续集成（CI）过程中数学证明了我们电路的确定性！根据 ZK-Security 的数据，这正是 ZK 系统中 96% 健全性漏洞的原因。 这一努力加上我们正在进行的一些其他工作，表明我们可以比大多数人想象的更快地实现一个可证明健全的 RISC-V zkVM。