ZK Radio 第95集：ZKM 的 CTO Stephen Duan 與 Veridise 的 CSO Ben Sepanski - 現已在 Spotify 和 YouTube 上線 🔳 在這一集中，我們與 @ProjectZKM 的 CTO @sd_eigen 和 @VeridiseInc 的 CSO @bensepanski 坐下來，深入探討 Ziren 的全面審計，ZKM 的生產級 zkVM。 對話中討論了為什麼 zkVM 會引入獨特的安全風險，為什麼大多數關鍵漏洞源於約束不足的電路，以及 Veridise 如何建立自定義驗證管道來正式檢查 Ziren 的約束 - 儘管 Ziren 使用了不尋常的 ISA (MIPS32r2) 和基於 Plonky3 的電路架構。 Stephen 討論了為什麼 ZKM 將正式驗證視為可持續安全的核心要求，Ziren 的複雜性（模擬層、約束系統、預編譯）如何塑造驗證策略，以及這次審計為未來的迭代解鎖了什麼。 Spotify： YouTube：