如何用 AI 做智能合约审计的实操流程

2026 年 10 月 3 日，DEV Community 上出现一篇题为《如何用 AI 做智能合约审计》的文章，给出了一套把 AI 接入智能合约审计的实操流程。按照文章的描述，流程的第一步是用 AI 驱动的静态与动态分析把代码过一遍，其中提到这种方式能在几分钟内处理数百万行 Solidity 和 Rust 代码。

文章作者在文中判断，到 2026 年，Web3 安全的格局已经发生显著变化：传统的人工审计已经跟不上 DeFi 协议、Layer 2 扩容方案和跨链桥的复杂度，AI 驱动的静态与动态分析因此成为标准的第一道防线。

目前这件事停在这篇文章所描述的流程与判断上。报道中没有给出具体的工具、厂商或版本号，也没有给出实测数据，除该文之外没有提到其他后续进展。