观点作者：Jesus Rodriguez，Sentora联合创始人
编程AI已经实现了产品市场契合。Web3也不例外。在AI将永久改变的领域中，智能合约审计特别成熟，亟待颠覆。
当今的审计是间歇性的、时点快照，在可组合、对抗性市场中难以应对，经常错过经济失效模式。
重心正在从手工PDF转向持续的、基于工具的保障：模型与求解器、模糊测试器、模拟和实时遥测相结合。采用这种方法的团队将更快交付，覆盖面更广；不采用的团队面临无法上市和无法投保的风险。
审计并不像你想象的那么常见
审计成为Web3事实上的尽职调查仪式——可见的证明，表明有人在市场之前试图破解你的系统。然而，这种仪式是前DevOps时代的产物。
传统软件将保障融入管道：测试、持续集成/持续部署门控、静态和动态分析、金丝雀、功能标志和深度可观测性。安全性在每次合并时都像微审计一样发挥作用。Web3重新引入了明确的里程碑，因为不可变性和对抗性经济学移除了回滚逃生舱。显而易见的下一步是将平台实践与AI集成，确保保障始终开启，而不是一次性事件。
智能合约审计的局限性
审计争取时间和信息。它们迫使团队阐明不变量（价值守恒、访问控制、排序），测试假设（预言机完整性、升级权限），并在资本到位前压力测试失效边界。好的审计会留下资产：跨版本持续的威胁模型、成为回归测试的可执行属性，以及使事故变得无聊的运行手册。这个领域必须发展。
局限性是结构性的。审计冻结了一个活跃的、可组合的机器。上游变化、流动性转移、最大可提取价值（MEV）策略和治理行动可能使昨天的保障失效。范围受时间和预算限制，使努力偏向已知漏洞类别，而新兴行为（桥接、反射性激励和跨去中心化自治组织交互）隐藏在尾部。报告可能产生虚假的结束感，因为发布日期压缩了分类过程。最具破坏性的失效往往是经济性的，而非语法性的，因此需要模拟、代理建模和运行时遥测。
AI在智能合约编码方面还不够出色
现代AI在数据和反馈丰富的环境中表现出色。编译器提供代币级指导，模型现在可以搭建项目、翻译语言和重构代码。智能合约工程更加困难。正确性是时间性和对抗性的。在Solidity中，安全性取决于执行顺序，以及攻击者的存在（如重入、MEV和抢跑）、升级路径（包括代理布局和delegatecall上下文）以及gas/退款动态。
许多不变量跨越交易和协议。在Solana上，账户模型和并行运行时增加了约束（PDA派生、CPI图、计算预算、免租余额和序列化布局）。这些属性在训练数据中稀缺，仅靠单元测试难以捕获。当前模型在这方面不足，但通过更好的数据、更强的标签和基于工具的反馈，这个差距是可以工程化解决的。
通向AI审计师的实用路径
实用的构建路径包含三个关键要素。
首先，审计模型，将大语言模型与符号和模拟后端混合。让模型提取意图、提出不变量并从习语中概括；让求解器/模型检查器通过证明或反例提供保障。检索应该将建议建立在已审计模式的基础上。输出产物应该是携带证明的规范和可重现的漏洞轨迹——而不是有说服力的散文。
接下来，代理流程协调专门的代理：属性挖掘器；构建跨桥接/预言机/金库风险图的依赖爬虫；搜索最小资本漏洞的内存池感知红队；压力测试激励的经济代理；排练金丝雀、时间锁和紧急开关演练的升级主管；加上产生治理就绪简报的总结器。系统表现得像神经系统——持续感知、推理和行动。
最后，评估，我们衡量重要的事情。除了单元测试，还要跟踪属性覆盖率、反例产出、状态空间新颖性、发现经济失效的时间、最小漏洞资本和运行时警报精度。公共的、事故衍生的基准应该对漏洞族（重入、代理漂移、预言机偏斜、CPI滥用）和分类质量进行评分，而不仅仅是检测。保障成为具有明确服务级别协议和保险公司、交易所和治理可以依赖的产物的服务。
为通用AI审计师留些空间
混合路径很有吸引力，但规模趋势表明另一种选择。在相邻领域，端到端协调工具的通用模型已经匹配或超越了专门的管道。
对于审计，一个足够强大的模型——具有长上下文、强大的工具API和可验证的输出——可以内化安全习语，对长轨迹进行推理，并将求解器/模糊测试器视为隐式子程序。与长期记忆配对，单个循环可以起草属性、提出漏洞、驱动搜索并解释修复。即便如此，锚点很重要——证明、反例和监控的不变量——所以现在追求混合稳健性，同时观察通用模型明天是否会压缩管道的部分。
AI智能合约审计师不可避免
Web3结合了不可变性、可组合性和对抗性市场——在这种环境中，间歇性的手工审计无法跟上每个区块都在变化的状态空间。AI在代码丰富、反馈密集、验证机械化的地方表现出色。这些曲线正在收敛。无论获胜形式是今天的混合还是明天的通用模型，端到端协调工具，保障正在从里程碑迁移到平台：持续的、机器增强的，并由证明、反例和监控的不变量锚定。
将审计视为产品，而不是交付物。启动混合循环——CI中的可执行属性、求解器感知助手、内存池感知模拟、依赖风险图、不变量哨兵——并让通用模型在成熟时压缩管道。
AI增强的保障不仅仅是勾选一个框；它复合成为可组合、对抗性生态系统的运营能力。
观点作者：Jesus Rodriguez，Sentora联合创始人。
相关推荐：英伟达发家史：从游戏巨头、加密矿霸到 AI 军火商
本文仅供一般信息目的，不旨在成为也不应被视为法律或投资建议。此处表达的观点、想法和意见仅为作者个人观点，不一定反映或代表Cointelegraph的观点和意见。