一个计算漏洞，让Truebit被盗8535枚ETH

2026 年 1 月 8 日，Truebit Protocol 协议被黑客攻击，损失 8,535.36 ETH（约 2644 万美元），Truebit Protocol 官方于次日凌晨发文证实。ExVul 安全团队对本次攻击事件进行了详细的漏洞分析，分析结果如下：

攻击者地址：

攻击交易 hash:

通过比较两个函数的共同点，我们可以发现 0x1446 函数的用于获取购买指定数量的 TRU 需要多少 ETH。显然 0x1446 函数逻辑存在问题，导致 ETH 计算错误。下面详细分析 0x1446 函数中的逻辑。

观察 0x1446 函数中的逻辑，因为最后的计算结果 v13  == 0，所以一定是上文中的计算逻辑出现了问题。需要了解的是 0x18ef 功能与_SafeMul 相同，因此问题出在使用原生加分 v12 + v9（合约版本为  ^0.6.10，因此无溢出检查）。

v12 与 v9，分别表示：

通过上述分析，攻击者的攻击思路是通过输入巨大的 _amountIn，使 v12 + v9 溢出成一个很小的值，最后使 (v12 + v9) / v6 == 0。

Truebit Protocol 本次被攻击事件的根本原因在于其代币购买价格计算逻辑存在严重的整数溢出漏洞。由于合约使用的是 Solidity ^0.6.10 版本且未对关键算术运算进行安全检查，最终造成 8,535.36 ETH 的重大损失。目前新版本的 Solidity 本身已经缓解了溢出漏洞。这起攻击事件应该是黑客在利用 AI 自动化地去扫描一些已经上线的老的 DeFi 协议发现的漏洞（包括前一段时间的 Balancer 以及 yETH 攻击），我们认为此类利用 AI 攻击一些老 DeFi 协议的攻击事件近期会越来越多，所以建议项目方对合约代码能进行新的安全审计，如果发现漏洞，需尽快升级合约或者进行资产转移，并且做好链上监控，及时发现异常，把损失降到最低。