Trail of Bits 利用 AI Agent 为 Miden zkVM 构建审计工具链并发现高危漏洞

OmniTools 9月18日消息，Trail of Bits 在对 Miden zkVM 开展安全审计前，耗时六个月由 AI Agent 从零构建了 MASM 语言的 LSP 服务器、反编译器、静态分析引擎及 Lean VM 执行器模型。

该工具链成功识别出一个高危漏洞：恶意证明者可伪造 Falcon 签名以盗取资金；静态分析共定位 400 多处类型验证缺陷；Lean 形式化验证产出 95 个机器验证的正确性证明。

此外，新工具还发现两个未被原有单元测试覆盖的细微 Bug。相关工作基于 2026 年 9 月 18 日发布的公开技术总结。