Euler Finance donateToReserves 缺失健康检查事件复盘

公开事件复盘。 本页基于公开披露资料对一起真实安全事故做事后分析，用于安全研究与方法论说明， 并非 umibit 受托审计。文中数据请以「核验来源」所列公开资料为准。

事件概览

Euler 是部署于以太坊主网的无许可借贷协议。2023-03-13，攻击者在多个市场反复套利，造成约 $1.97 亿 损失， 是 2023 年最大的一起。由于赃款以 ETH 持有、后续 ETH 升值，最终在链上协商归还时按价值计约 $2.4 亿—— $1.97 亿是损失、$2.4 亿是追回价值，二者不应混为一谈。

根因：一个本该有、却缺失的健康检查

Euler 中所有会改变账户余额、可能危及偿付能力的函数，都应调用 checkLiquidity 校验账户「健康度」。 但 EToken 模块的 donateToReserves() 漏掉了这道检查。攻击者据此构造闭环：

1. 从 Aave 闪电贷 约 3000 万 DAI；
2. 存入并用 mint() 递归自我抵押、放大杠杆；
3. 调用 donateToReserves() 主动把自己的头寸做成资不抵债——因为没有健康检查拦截；
4. 用第二个受控账户 自我清算：Euler 的 动态「软清算」折扣 让清算人能折价吃下抵押品，于是低价拿走抵押、 留下坏账、净赚一笔；
5. 偿还闪电贷，跨市场重复，累计约 $1.97 亿。

根因是 业务逻辑缺陷（缺失的健康检查），并与「自我抵押 + 动态清算折扣」共同放大——不是重入、预言机或溢出。 该缺陷由治理升级 eIP-14（2022-07） 引入，已在主网存活约 8 个月，期间经过多家审计。

影响与处置

• 攻击者在约三周内 通过链上消息协商，分批归还了几乎全部可追回资金。
• 此案也凸显：多家审计 + 形式化验证 + 漏洞赏金，仍可能放过一个「少调用一个检查」的逻辑缺口—— 覆盖面与不变量的完整性，比「审过几家」更关键。

AI 视角 · 为什么这类风险只会更多

Euler 最扎心之处在于：漏洞不深奥，就是 「同类函数都做了健康检查，唯独这一个忘了」。这种「缺失的检查 / 被打破的不变量」是最难靠人工通读发现、却最适合自动化大规模比对的一类——可以系统性地枚举「所有改变偿付能力的路径 是否都过了 checkLiquidity」。

随着协议组合度与升级频率升高，这类逻辑缺口只会更多，而 AI 正让攻击者能更快地在海量代码里定位它们。防御的答案不是 「再多审一家」，而是把 关键不变量做成可机检的规则、对全量路径求覆盖，并在每次升级时重新求证——这正是 「AI 全覆盖 + 专家研判」要解决的问题。