AI在OpenVM里发现ZkVM漏洞

duha · hn · 2026-07-17

文章介绍了“AI Meets Cryptography 2”，重点是 AI 在 OpenVM 的 ZkVM 里发现了哪些问题，以及这些漏洞是如何被定位出来的。内容属于 AI 参与安全审计/密码学分析的实战案例，既有方法细节，也有实际发现结果，适合关注 AI 安全和形式化验证的人阅读。