zkVMs(ゼロノレク仮想マシン)は、ZKアプリケーションが標準化された証明環境を通じてカスタム回路の監査を省略できるようにしますが、zkVM自体は健全性と完全性のセキュリティのために厳格な監査を必要とします。 @ProjectZKM年のZirenでは、@VeridiseIncによる監査でこれらのリスクに対応し、実証されたセキュリティを実現しました。主な要素は以下の通りです: >制約の健全性:VeridiseのPicusのようなツールを用いた形式的検証を行い、MIPS実行モデルの決定性と正確な強制を確保し、計算を証明と整合させ、メモリ、シスコール、トレース生成の曖昧さを解決します。 >ファジングテスト:実行経路の広範なファジングおよびストレステストを行い、敵対的または誤形したプログラムに対する安定性を確認します。 これは重要なマイルストーンであり、今後もzkVM全体の証明可能なセキュリティ達成にコミットし続けます。