“Ziren 是複雜的。手動審計很重要，但持續的自動驗證同樣關鍵。” - @sd_eigen，@ProjectZKM 的 CTO 在第 #95 集（於 @EFDevcon 錄製），ZKM 的 CTO Stephen Duan 解釋了為什麼保護 zkVM 需要的不僅僅是定期審計 - 它需要一個正式驗證工作流程，能夠在系統演變過程中檢測到約束不足的邏輯和新出現的錯誤。 這一集詳細說明了 ZKM 和 @VeridiseInc 如何進行 Ziren 的第一次正式驗證審計，為什麼 zkVM 會帶來獨特的驗證挑戰，以及自動驗證將如何成為 Ziren 持續安全管道的一部分：

ZK廣播第96集：Fermah創辦人Vanishree Rao - 現已在Spotify和YouTube上線 🔳 在這一集中，我們與@vanishree_rao，@fermah_xyz的創辦人坐下來，深入探討什麼是通用證明市場以及為什麼隨著ZK需求的增長，它變得如此重要。 我們討論了ZK採用中的上線問題與持續問題之間的區別，Fermah如何處理證明生成的定價、可擴展性、可升級性和可靠性，以及證明市場在ZK供應鏈中與@alignedlayer和@ZKVProtocol等驗證層的關係。 Vanishree還分析了客戶端與外包證明之間的權衡，並解釋了Fermah在隱私保護證明和成本效益開放證明市場的機制設計方面的做法。 Spotify： YouTube：

最新消息：@Nethermind 和 @DeutscheBank 發布了一篇聯合報告，探討零知識證明如何在金融領域進入生產階段：