「ジレンは複雑だ。手動監査は重要ですが、継続的な自動検証も同様に重要です。」- C@ProjectZKMのCTO@sd_eigen エピソード#95(@EFDevcon時録音)では、ZKMのCTOスティーブン・デュアンが、zkVMのセキュリティが定期的な監査以上の必要性を説明しています。それは、システムが進化するにつれて制約が不足しているロジックや新たなバグを検出できる正式な検証ワークフローを必要とします。 このエピソードでは、ZKMと@VeridiseIncがZirenの最初の正式な検証監査にどのように取り組んでいるか、zkVMがなぜ独自の検証課題をもたらすのか、そして自動検証がZirenの継続的なセキュリティパイプラインの一部となる方法について解説しています。