Trail of Bits · AI安全研究·· 2026-09-18AI 评分69
在 AI 够用的时代做审计，Trail of Bits 让智能体为 Miden zkVM 自建工具链与 Lean 模型
Auditing in the age of (good enough) AI
AI 导读
Trail of Bits 复盘 Miden zkVM 审计，团队在代码审查开始前用智能体从零构建了 LSP 服务器、反编译器、静态分析引擎和 Lean 形式化模型。
来源：Trail of Bits · AI安全研究 · blog.trailofbits.com