ZKM 教育负责人 @alicelingl 与 @VeridiseInc 的 Jon Stephens 关于形式化安全方法应用的对话，对于任何构建 ZK 基础设施的人来说都是必听内容 🤝

House of ZK Radio #49：Veridise 的 CEO Jon Stephens - 现已在 Spotify 和 YouTube 上发布 🔲🔳

在这一集中，我们与 @FormallyJon，@VeridiseInc 的联合创始人兼 CEO 坐下来，探讨零知识系统中的安全状态。

从智能合约审计到 ZK 电路和 ZKVM 的形式验证，Jon 分析了哪些地方容易出错，Veridise 如何构建像 Vanguard 和 Picasso 这样的内部工具，以及开发人员在构建可验证应用程序时应该了解什么。

对于任何认真对待 ZK 安全的人来说，这都是必听的内容 🤝

Spotify：https://t.co/PPUMHyf4sj

YouTube：https://t.co/FbkbRCLq7L