Anthropic Mythos 与 DeFi 安全：审计体系已然崩坏

本周，DeFi 生态系统在一系列协议遭黑后又蒸发了逾 7.5 亿美元。表面上看，这不过是老套剧情——访问控制配置错误、重入漏洞、跨链桥逻辑缺陷。但攻击向量正变得愈发精准，从漏洞发现到资金抽空之间的窗口期正在收缩，而攻击者手中的工具箱即将迎来一次重大升级。

Anthropic 的 Mythos 是其内部专为自动化漏洞研究而打造的 AI 系统，它的能力远不止是更快地找到漏洞。它能够跨整个代码库进行推理，将漏洞利用原语串联成完整攻击链，其运行速度让 DeFi 现有的防御体系不只是显得迟缓，而是在结构上根本无从应对。这不是对现有攻击工具的边际改良，而是一次质的跃迁。

这个损失 7.5 亿美元的一周绝非时间上的巧合，它预示着当 DeFi 安全领域攻防之间的不对称性持续扩大而非收窄时，将会发生什么。

为何 DeFi 的摩擦防线从来就不是真正的安全

DeFi 主流安全模型本质上是一场摩擦剧场。其逻辑如下：让漏洞利用麻烦到足以让大多数攻击者望而却步，代价高昂到足以在资金被彻底抽空之前识别出那些执意为之的人。

这套机制的具体形式包括：

• 多签机制，要求 M-of-N 名持钥方共同签署，增加协调成本
• 时间锁，将升级操作和大额转账的执行延迟 24 至 72 小时
• 审计，由 Trail of Bits、Certik、OpenZeppelin 等机构定期进行代码审查

这套体系能够对付技术能力一般的机会型攻击者，却无法应对一个 AI 系统——它可以在数秒内读完一个五万行的 Solidity 代码库，识别跨合约之间不易察觉的状态交互，并在任何人类分析师完成第一轮梳理之前，就生成一条可用的漏洞利用链。

这套摩擦防线是围绕人类攻击者的经济学逻辑设计的，而 Mythos 彻底改变了成本函数。

Mythos 对攻击面的实际影响

正如 Anthropic 的 Mythos 技术预览 所详述，该系统能够分析 TLS 实现、标记 AES-GCM 随机数重用模式，并在复杂软件栈中追踪依赖链——这类 Mythos TLS 与 AES-GCM 分析此前需要一位资深密码学家耗费数周才能完成。

对于 DeFi 而言，这转化为几个具体的威胁向量：

1. 跨合约漏洞链式利用，2024-2025 年的大多数重大黑客事件利用的是合约之间的交互，而非单一合约的漏洞。Mythos 级别的 AI 能够从整体上对这些交互建模。我此前报道的 Kelp DAO 事件——LayerZero DVN 配置错误造成 2.92 亿美元损失——正是 Mythos 所针对的那类多系统交互场景。

2. 以机器速度进行零日漏洞链式利用，AI 在加密领域发现零日漏洞并非纸上谈兵。真正令人担忧的是：某个 AI 系统识别出三个各自严重程度较低的问题，并将它们组合成一条人工审计员根本不会察觉的关键利用路径。

3. 预言机与跨链桥攻击面，跨链桥逻辑复杂晦涩、规范不清，且涉及多个外部系统。这正是人工审计员屡屡遗漏的地方，也是自动化推理系统最具优势的领域。

以上这些都不需要 Mythos 被恶意部署。Anthropic 研究人员所能使用的相同能力，将在 18 到 24 个月内以某种形式向所有人开放。

DeFi 智能合约审计已显老态

审计行业正在被时代甩在身后。一次顶级审计的费用在 5 万至 30 万美元之间，耗时 4 到 8 周，且仅覆盖固定的代码库快照。而协议在持续不断地迭代更新。往往是审计报告墨迹未干，结论便已过时。

更糟糕的是，审计会制造虚假的安全感。正如Olympix对智能合约审计为何失败的分析所记录的，Euler Finance经过了审计，Ronin经过了审计，Nomad也经过了审计。2022年Ronin跨链桥6.25亿美元的黑客攻击事件之所以得逞，恰恰是因为审计人员孤立地审查合约，而忽视了合约所依赖的验证者密钥管理流程。

在2026年声称"我们已经过审计"，其安全意义大约等同于2015年说"我们使用HTTPS"。这只是最基本的卫生措施，而非真正的防御态势。

DeFi智能合约审计的失效并非遥远的未来，对于规模化运营的协议而言，这一趋势早已到来。Olympix关于Web3安全现状的研究也证实了这一规律：大多数漏洞利用事件均源自已审计的合约。问题在于，团队究竟是主动应对，还是继续花重金购买同样昂贵却远远不够的保障。

Project Glasswing 与应运而生的AI风险框架

并非所有人都在袖手旁观。Project Glasswing是一个面向加密原生生态的AI安全研究项目，正致力于构建持续性的AI辅助监控框架，以期跟上AI生成威胁的演变速度。其核心洞察是正确的：如果AI能够实时发现漏洞，那么检测与响应层也必须实时运作。

这意味着要从周期性审计转向：

• 不变量监控，即链上检查机制，一旦合约状态违反预期条件即触发告警
• 形式化验证，对核心协议逻辑进行数学层面的正确性证明，而非仅依赖非正式审查
• 持续模糊测试流水线，针对每次提交自动生成测试用例，而非仅在审计时运行

一些协议已经走在前面。Uniswap v4 的钩子架构在设计之初就将形式化验证纳入考量。MakerDAO 在经济安全建模上投入了大量资源。但这些只是少数例外。2025 年，绝大多数 DeFi 协议仍然只做一次审计、配一个 48 小时时间锁，就宣告安全工作完成。

时间锁的逻辑已经失效

时间锁的结构性问题在于：它的整个设计前提是，人类分析师有足够的时间审查待执行的交易、识别恶意行为，并在交易执行前协调响应。

在 48 到 72 小时的窗口内，这或许还行得通。一支称职的安全团队可以快速集结、评估并作出反应。

但现在设想一个攻击者借助 AI 漏洞链式利用来识别漏洞、构造攻击载荷、提交一个看似合规的治理提案，而其恶意逻辑隐藏在条件执行路径中，只在时间锁到期后才会激活。时间锁本身并没有失效，失效的是它所依赖的"分析速度"这一假设。

治理攻击面是下一个重大战场。我预计 2026 年将出现至少一起重大的治理层漏洞利用事件，届时这一缺口将被彻底暴露。

防御体系究竟应该是什么样的

基于摩擦的安全机制必须让位于基于正确性的安全机制。实际可行的路径分三个层次：

第一层：协议核心的形式化验证。 不必覆盖全部，但结算逻辑、会计不变量、访问控制模式必须纳入。Certora 和 Halmos 均已具备生产可用性。一个 TVL 达 5 亿美元的协议没有理由不使用它们。

第二层：持续的 AI 辅助监控。 Forta Network、Hexagate 和 Hypernative 等工具已在这一领域取得实质性进展。它们能在异常链上行为完成之前将其捕获。这一检测层需要持续扩展，以匹配 AI 速度的威胁。

Layer 3，事件响应速度必须超过 DAO 投票。 基于自动化检测触发的暂停机制，而非等待治理提案通过后才启动。配备预授权响应手册的紧急多签机制。Euler 团队在 2023 年的快速响应，通过谈判追回了 1.97 亿美元，部分原因在于他们有一位能够迅速拍板的明确负责人。大多数协议做不到这一点。

我在 x402 与自主支付通道 一文中介绍的 AI 智能体支付基础设施同样与此相关——随着 AI 智能体在链上自主完成交易，AI 辅助攻击的攻击面将随交易量增长而扩大，而不仅仅取决于协议数量。

真正的问题是谁先适应

Anthropic 的 Mythos 代表着一项公开声明：AI 系统如今正运行于漏洞研究的前沿领域。同样的分析能力将会广泛扩散，这是必然的。

在未来两年内存活下来的 DeFi 协议，将是那些把安全视为持续工程课题而非合规清单的协议。做不到这一点的，将成为反面教材。

单周 7.5 亿美元的损失并非最坏的情形，而是在工具变得更廉价、更易获取之前，我们已经视为常态的基准线。重建防御体系的窗口仍然敞开，但不会持续太久。

您好！我看到您提供了一些参考来源链接，但没有包含需要翻译的具体文本内容。请问您希望我翻译哪些内容？