RISC Zero 正在構建第一個經過正式驗證的 RISC-V zkVM。 使用 @VeridiseInc 的 Picus 工具，我們在數學上證明瞭電路中的確定性。 我們的目標：一個既快速又可證明安全的 zkVM，因此開發人員永遠不必妥協。