“Ziren 是复杂的。手动审计很重要，但持续的自动化验证同样至关重要。” - @sd_eigen，@ProjectZKM 的首席技术官 在第 95 集（在 @EFDevcon 录制），ZKM 首席技术官 Stephen Duan 解释了为什么保护 zkVM 需要的不仅仅是定期审计 - 它需要一个正式验证工作流程，能够在系统演变时检测到约束不足的逻辑和新出现的错误。 这一集详细介绍了 ZKM 和 @VeridiseInc 如何进行 Ziren 的第一次正式验证审计，为什么 zkVM 提出了独特的验证挑战，以及自动化验证将如何成为 Ziren 持续安全管道的一部分：