7/ 沒有安全性，速度毫無意義。

透過 @veridiseInc，我們將形式驗證納入 R0VM 的核心部分。

到目前為止，我們已經證明了 v2 電路中核心 RISC-V 功能的 123 個元件中的 122 個是確定性的。 https://t.co/cmaYKELhig

RISC Zero 正在建構第一個經過正式驗證的 RISC-V zkVM。

我們使用 @VeridiseInc 的 Picus 工具，以數學方式證明我們電路中的決定性。

我們的目標：一個速度極快且可證明安全的 zkVM，讓開發人員永遠不必妥協。