House of ZK Radio #95:ZKMのCTOスティーブン・ドゥアン、VeridiseのCSOベン・セパンスキー - 現在SpotifyとYouTube 🔳で配信中 今回のエピソードでは、@ProjectZKM CTO@sd_eigenと@VeridiseInc CSO@bensepanskiにお話を伺い、ZKMの本番グレードzkVMであるZirenの完全な監査を解き明かします。 この対談では、zkVMがなぜ独自のセキュリティリスクをもたらすのか、なぜほとんどの重大なバグが制約不足の回線から生じるのか、そしてVeridiseがZirenの制約を正式にチェックするためのカスタム検証パイプラインをどのように構築したかが、Zirenは珍しいISA(MIPS32r2)やPlonky3ベースの回線アーキテクチャを使用しているにもかかわらず、どのようにしたのかが解説されます。 Stephenは、なぜZKMが形式的検証を持続可能なセキュリティのコア要件として扱うのか、Zirenの複雑さ(エミュレーション層、制約システム、プリコンパイル)が検証戦略にどのように影響するか、そしてこの監査が今後の反復に何をもたらすかについて論じています。 Spotify: YouTube: