介绍 R0VM 2.0。 为实时时代打造的 zkVM。

7/ 速度没有安全性就毫无意义。 通过与 @veridiseInc 合作，我们正在将形式化验证作为 R0VM 的核心部分。 到目前为止，我们已经证明了 v2 电路中用于核心 RISC-V 功能的 123 个组件中的 122 个是确定性的。