HackerNewsAI 闯入密码学：发现 OpenVM ZkVM 漏洞安全公司 zkSecurity 利用 AI 辅助审计发现 OpenVM 的 ZkVM 中的多个安全漏洞AI 工具在零知识证明虚拟机代码中识别出传统审计容易遗漏的逻辑缺陷这标志着 AI 辅助安全审计正式进入密码学硬核领域2 个月前访问原文链接