ZK电台第95期：ZKM首席技术官Stephen Duan和Veridise首席安全官Ben Sepanski - 现已在Spotify和YouTube上线 🔳 在这一集中，我们与@ProjectZKM的首席技术官@sd_eigen和@VeridiseInc的首席安全官@bensepanski坐下来，深入探讨Ziren的全面审计，ZKM的生产级zkVM。 对话中讨论了为什么zkVM引入了独特的安全风险，为什么大多数关键漏洞源于约束不足的电路，以及Veridise如何构建自定义验证管道来正式检查Ziren的约束——尽管Ziren使用了不寻常的ISA（MIPS32r2）和基于Plonky3的电路架构。 Stephen讨论了为什么ZKM将形式验证视为可持续安全的核心要求，Ziren的复杂性（仿真层、约束系统、预编译）如何影响验证策略，以及这次审计为未来迭代解锁了什么。 Spotify： YouTube：