一句话看懂：ZKSecurity 团队发布研究，展示 AI 工具自动发现 OpenVM 零知识虚拟机（ZkVM）实现中的安全漏洞。这表明 AI 正在从辅助编码进化为主动发现密码学基础设施中的深层缺陷，对区块链与隐私计算的技术信任模型构成直接影响。
事件核心：发生了什么
ZKSecurity 团队在 Hacker News 上公开了“AI Meets Cryptography 2”研究，内容聚焦于 AI 在 OpenVM 项目 ZkVM 上的安全分析成果。OpenVM 是一个开源的零知识虚拟机项目，用于执行隐私计算和区块链验证。团队利用 AI 模型自动扫描 ZkVM 的代码逻辑，并发现了此前人工审计遗漏的密码学实现漏洞。具体漏洞细节尚未完全披露，但研究指出这些发现可触发零知识证明系统里的逻辑错误，进而破坏证明的正确性。
为什么重要
AI 自动发现密码学漏洞不是新鲜事，但针对 ZkVM 这类复杂、对正确性要求极高的系统，AI 完成从“找 bug”到“找密码学逻辑缺陷”的跨越，直接挑战了零知识证明安全审计的现有方法论。零知识证明系统的错误极难被传统静态分析工具捕获，因为它同时涉及协议设计、算术电路和底层密码学原语。AI 的介入意味着安全测试的门槛可能下降——不再需要只有密码学专家才能发现深层漏洞。这对依赖 ZK 技术的 Layer 2、隐私公链和身份验证项目是警示：自动化审计虽然效率更高，但过去依赖人工和形式化验证的“慢工出细活”模式需要重新评估。
对用户/开发者/创作者的影响
对开发者：如果你在开发或使用 OpenVM、RISC Zero 或类似 ZkVM 框架，需留意 AI 发现的具体漏洞是否影响自己的项目。建议关注 ZKSecurity 后续公布漏洞详情和补丁，并考虑将 AI 辅助审计纳入 CI/CD 流程。对零知识证明应用的使用者（如 DeFi 用户、隐私交易用户）：目前无需采取紧急行动，但应意识到基于 ZK 的应用安全验证正在进入人机协作阶段，未来信任假设会发生变化。对 AI 开发者：该案例说明，将语言模型或代码生成模型微调于密码学代码数据集，可以产出实用的安全工具——如果你正做 AI for Security，这可能是一个值得深耕的垂直方向。
AI 工具推荐
想把多个 AI 模型放在一个入口？
GamsGo AI 集成 ChatGPT、DeepSeek、Gemini、Claude、Midjourney、Veo 等常用模型，适合写作、绘图、视频和日常 AI 工作流。
推广链接：通过此链接购买，我可能获得佣金，不影响你的价格。
值得关注的后续
1. ZKSecurity 团队是否会向 OpenVM 项目提交正式漏洞报告并修复，以及修复周期有多长。2. 其他 ZkVM 项目（如 Succinct、Polygon Miden）是否也会引入类似 AI 审计流程，或者已有内部部署。3. AI 工具能否从“发现漏洞”扩展到“自动生成修复方案”——这将是衡量 AI 密码学工程师能力的一个关键里程碑。目前公开信息显示，团队后续计划尚未公布，但因其在 Hacker News 上的高热度，预计很快会有更详细的技术博客出现。
来源：hackernews
