Heimdallr:高效低成本的以太坊智能合约审计智能体框架
An Effective and Cost-Efficient Agentic Framework for Ethereum Smart Contract Auditing
AI 导读
Heimdallr 是面向以太坊智能合约的自动化审计智能体框架,通过函数级代码重组、启发式推理与级联验证检测漏洞并消除误报,基于 GPToss-120B 等轻量开源模型运行。它复现了 2025 年 6 月后 20 起累计损失 $384M 的真实攻击中的 17 起,发现 4 个已确认零日漏洞、保护 $400M TVL,审计竞赛检测率 92.45%、成本仅 $2.31/10K LOC。