#ZK

Auditing in the age of (good enough) AI

Trail of Bits 在审计 Miden zkVM 前，用六个月让 AI 代理从零构建 LSP 服务器、反编译器、静态分析引擎和 Lean 模型，这些工具在正式审计中发现 400 多处类型校验问题和 1 个高危漏洞。