6 月 15 日，去中心化期权协议 Thetanuts Finance 在以太坊网络的旧版金库合约（0xC2C3AE0a7b405058558C9b4a63b373486CB86Ac7）被攻击，攻击者获利约 10.5 万美元。随后有白帽黑客根据攻击原理对 Thetanuts Finance 的其它旧版金库合约（0x95C59DAf5950101d6afa6875091B48f5A36278c2）进行救援，约 200 万美元的资产被救出。

漏洞解析

对被攻击合约 0xC2C3AE0a7b405058558C9b4a63b373486CB86Ac7 反编译后可以发现，根本漏洞在于其 mint 函数对于 token 铸造 / 赎回数量的计算：

从以上代码可以看到 mint 函数在计算 index token 的铸造 / 赎回时的公式为 (_vaults[v0].balance * amount) / totalSupply，当通过 claim 函数将 index token 的 totalSupply 提取到接近 0 时，由于除法截断的方式，只需简单地控制需铸造的 index token 数量使得每次 transferFrom 函数计算结果为 0，此时无需向 vault 转入代币也可铸造 index token，从而获利。

攻击流程分析

以攻击交易（0xbba9f138fe39503bfd1aa62932dbd6ab35d37d23d48e4b7bf2988a9d5dc39fec）为例：

（1）攻击者部署攻击合约并通过闪电贷借出 153,054.600569 TN-IDX-USDC-PUT (index token)

（2）攻击合约调用 claim(153054600569)，销毁了借贷的 index token，totalSupply 降为 3

（3）循环调用 37 次 mint 函数，利用除法运算的截断结果，控制每次的数量，使得每次需要存入的 underlying token 都是 0

（4）重新铸造的期权代币用于偿还了闪电贷，金库中的资金被以 USDC 的形式提取，获利约 105,471 USDC。

白帽黑客（0x03ab37CbD9aEaC17B1d8c53517F7D01E5E889130）的救援交易与这笔交易的流程类似，不再重复说明。

资金流向分析

本次事件中白帽黑客地址持有 19.54 TN-CSCCv1-BTCUSD 与 19.65 TN-CSCCv1-BTCUSD 代币，价值约 200 万美元。攻击者地址（0x30498e4466789e534c72e03b52a16c978655b41e）在攻击完成后将 USDC 发送至地址 0xAf3a0FdBFB0e3127247B66a042310e09C32F2299，随后 USDC 被兑换成 57.91 ETH，未有进一步的转移。其资金流向图如下所示：

结语

本次 Thetanuts Finance 金库合约漏洞主要在于未考虑代币数额计算结果的截断方式，对于边缘情况如 totalSupply 接近于 0 没有足够的测试。后续修复时，项目方应考虑增加对 totalSupply 的校验，设置 totalSupply 的最小阈值，并且对算术运算、位运算等操作进行全面测试。

Beosin 作为全球最早一批从事形式化验证的区块链安全公司，主打”安全 + 合规“全生态业务，在全球 10 多个国家和地区设立了分部，业务涵盖项目上线前的代码安全审计、项目运行时的安全风险监控与阻断、被盗追回、虚拟资产反洗钱（AML）以及符合各地监管要求的合规评估等“一站式”区块链合规产品 + 安全服务。欢迎点击公众号留言框，与我们联系。