Trail of Bits 用 AI 智能体为 Miden VM 自建审计工具链

Trail of Bits 在对 Miden zkVM 的 Miden core library 进行审计前，用六个月时间让 AI 智能体从零构建了 LSP server、反编译器、静态分析引擎和 Lean 模型。