7/ 没有安全，速度毫无意义。

通过 @veridiseInc，我们正在将形式化验证作为 R0VM 的核心部分。

到目前为止，我们已经证明了 v2 电路中核心 RISC-V 功能的 123 个组件中的 122 个是确定性的。https://t.co/cmaYKELhig

RISC Zero 正在构建首个经过正式验证的 RISC-V zkVM。

我们使用 @VeridiseInc 的 Picus 工具，通过数学方法证明电路中的确定性。

我们的目标：打造一个既快速又具有可证明安全性的 zkVM，让开发者无需做出妥协。