難嗎？是的 我們的健全性錯誤是毀滅性的？是的 我們是否比您想像的更親密？是的 從第一天開始，是的，在我們發佈證明系統的同一天，@RiscZero開始了正式驗證我們的 zkVM 的漫長過程。 最近，我們推出了 「Picus」，它用數學方法證明瞭 CI 期間我們電路中的確定性！這是 ZK 系統中 96% 的健全性錯誤的原因（根據 ZK-Security）。 這項工作以及我們正在進行的更多工作表明，我們可以比您想像的更快地獲得可證明的 RISC-V zkVM。