Trail of Bits 官方安全研究·· 2026-09-18精选
Trail of Bits 分享用 AI 智能体审计 Miden VM 的实践
原标题
Auditing in the age of (good enough) AI
内容摘要
Trail of Bits 分享其审计 Miden VM 的实践：在代码审查开始前，用六个月让智能体从零构建 LSP 服务器、反编译器、静态分析引擎和 Lean 模型。
推荐理由
原文展示了用智能体先造工具再审计的完整流程及其产出的具体漏洞，可迁移性强。
来源：Trail of Bits 官方安全研究 · blog.trailofbits.com
打开原文读懂这条消息
来自 Learn 的概念与核对方法，帮助理解新闻中的机制和口径。
审计知识更新
储备证明能证明什么？有资产不等于知道全部负债
储备证明核验特定时点和范围，不能单独证明全部负债、资产无负担、未来提款能力或完整审计结论。Merkle 路径支持集合包含关系，也不证明负债集合完整。先读报告对象、截止日、程序、覆盖与排除事项，再引用资产负债比例。
阅读完整说明 →