Trail of Bits 以 AI 智能體建置工具審計 Miden VM，發現高危漏洞

Trail of Bits 為審計 Miden VM，先花六個月以 AI 智能體從零建置工具，再在審計中發現安全漏洞。工具包括 LSP 伺服器、反編譯器、靜態分析引擎及 VM 執行器的 Lean 模型；分析找出逾 400 處可改善類型驗證的位置，並發現一項可讓惡意證明者偽造 Falcon 簽章、盜取由 Falcon 金鑰對控制的 Miden 帳戶資金的高危漏洞。