04月18日上午08:58开始,?一DeFi平台?被黑客利用重入漏洞实施了攻击。PeckShield安全团队迅速定位到问题,发现黑客利用了Uniswap和ERC777标准的兼容性问题缺陷实施了重入攻击。
糟糕的是,仅仅在24小时后,于04月19日上午08:45,又一知名DeFi平台?Lendf.Me也被黑客以类似的手段实施了攻击。
黑客攻击的原理是:攻击者利用以太坊ERC777标准的transferFrom()回调机制,在内部调用?_callTokensToSend()?回调函数时劫持交易,并在真正更新余额的_move()函数之前进行恶意攻击。
在Uniswap的攻击案例中,攻击者利用此漏洞消耗尽UniswapETH-imBTC池约1,278个ETH。而在Lendf.Me中,攻击者则利用它来任意增加内部imBTC抵押金额,并通过从其他可用的Lendf.Me交易中借入10多种资产。
PeckShield安全团队认为这是自年初bZx遭攻击之后,又两起黑客利用DeFi系统性风控漏洞实施的攻击。一个不容忽视的问题是,DeFi?市场的风险可能不仅仅局限于平台本身,单个平台的模式创新很可能在与其他平台业务接轨时产生漏洞风险。
过去24小时Symbolic Capital合伙人利用Uniswap完成近10亿美元交易量:金色财经报道,Arkham监测显示,链上套利者的活动往往揭示了他们利用无效市场,Symbolic Capital合伙人通过链上套利策略运行了大量的资金。仅在过去 24 小时内,他们就利用 Uniswap 完成了近 10 亿美元的交易量。
截止目前,Binance交易所24小时BTC交易量9.26亿美元。[2023/5/16 15:05:56]
详细漏洞攻击细节,我们将在文章后面做详细介绍。
Figure1:ERC777transferFrom()
ERC777标准的业务组合兼容性问题
我们首先介绍下ERC777标准,ERC777出现的目的是对ERC20标准进行改进。其不但实现了功能扩展,还有ERC20标准一样良好的兼容性,愿景是成为ERC20?标准的有效继承者。
该标准扩展的功能之一是提供了“hook”机制,可以使普通地址或合约通过注册一个tokensToSend()hook函数来控制或拒绝发送Token。这原本是在ERC20?基础上加强了对Token的风险控制接口,是一次有益的改进。不过由于DeFi项目的可组合特性,一个合约在不同产品之间相互调用时,其业务逻辑复杂度也会大大增加,这就给注入代码攻击提供了可能性。
Coinbase正将UniSwap和Aave引入Base:金色财经报道,Coinbase 正着手将去中心化金融 (DeFi) 应用程序 UniSwap 和 Aave 引入 Base。一位知情人士表示,Coinbase 正在为 Base 招募很多协议。UniSwap 和 Aave 就是其中的两个,UniSwap 可能会在几个月内集成至 Base。
此前报道,2 月 23 日,Coinbase 发布以太坊 L2 网络Base,Base 是一个安全、低成本、开发人员友好的以太坊 L2,旨在为 Web3 引入下一代十亿用户。Base 将定位为 Coinbase 的链上产品家园,同时也是任何人都可以构建的开放生态系统。据悉,Base 的开发将基于 OP Stack 构建,并与 Optimism 合作,目前测试网已经上线,主网将稍后发布。[2023/3/15 13:04:13]
其中最关键的部分是,攻击者可以通过注册from的tokensToSend()?来实行回调。我们从下面的代码片段可以看到,ERC777标准中可以通过getInterfaceImplementer()获得攻击者的tokensToSend()接口,并在第1,056行调用此函数。而此处正是黑客劫持交易实施攻击的入口。
比特币开发者Jeff Garzik:Uniswap V3的资金效率更高:早期比特币开发人员Jeff Garzik在推特表示:“Uniswap V3的资金效率更高。对TVL有什么影响?代币需要的流动性远低于V2。这似乎对用户和生态系统有好处,但对Uniswap TVL却不是。”[2021/5/8 21:36:46]
Figure2:ERC777-CompatibletokensToSend()Hijacking
如2019年4月OpenZeppelin发布的帖子以及2019年7月发布的漏洞利用演示中所述,攻击者可以自己定义函数tokensToSend(),并通过setInterfaceImplementer()来设置合约中的hook函数。
Figure3:OpenZeppelin'sExploitDemo(HookSetup)
之后攻击者就可以像传统PC上的hook函数一样,在tokensToSend()?做任何事情。如下图所示,攻击者可以对同一笔交易进行多次交易。
DEX聚合器1inch宣布集成UniSwap V3:5月7日消息,DEX聚合器1inch发推宣布集成UniSwap V3。[2021/5/7 21:34:52]
Figure4:OpenZeppelin'sExploitDemo(HookFunction)
Uniswap?攻击分析
Uniswap被率先发现利用ERC777的兼容性问题实施了攻击。就如此恶意交易在Bloxy中的截图所示(hash:0x9cb1d93d6859883361e8c2f9941f13d6156a1e8daa0ebe801b5d0b5a612723c1),函数内部进行了一次tokenToEthSwapInput()?调用。
这意味着攻击者可以先通过操纵交易汇率,然后再用另一笔imBTC以较低价格兑换更多的ETH。
Uniswap V1近24小时交易量上升354%:据欧科云链OKLink数据显示,截至今日11时30分, 近24小时以太坊上去中心化交易所总交易量约合4.87亿美元。其中交易量排名前五的分别是Uniswap V2 2.48亿美元,环比下降22.89%;;Curve 0.53亿美元,环比下降14.47%;0x协议 0.47亿美元,环比下降12.52%;Tokenlon 0.41亿美元,环比上升 2.21%以及Uniswap V1 0.4亿美元,环比上升354.86%。[2020/10/14]
Figure5:UniswapHack
Lendf.Me?攻击分析
在Uniswap遭攻击约24小时后,又一DeFi平台Lendf.Me也遭到了黑客攻击。下面是其中一个攻击交易的截图。如图所示,
supply()函数中调用真实转账函数transferFrom()?时,被hook的攻击者合约里嵌入了盗用Lendf.Me的withdraw()的提币操作。
Figure6:Lendf.MeHack
在这个交易例子中,攻击者第一次supply()时确实向Lendf.Me存放了289.99999999个imBTC,而在第二个supply()中,攻击者只存放0.00000001个imBTC,但由于攻击者注册了tokensToSend(),所以在执行doTransferIn()->IMBTC::transferFrom()时,调用了攻击者函数tokensToSend(),攻击者函数通过调用Lendf.Me的withdraw()函数把290个imBTC直接全部提走。
需要注意的是,正常的业务逻辑应该是项目合约中的Balance会减去被攻击者提走的290个imBTC,然而当supply()?执行返回时,余额并未被重置,仍然为290imBTC。攻击者就是通过控制修改Lendf.Me中攻击者的imBTC抵押金额,有了足够大的imBTC抵押,攻击就可以从各种流动交易对中借出所有可用的10多种资产。
Figure7:Lendf.MeHackDetails
资产流向
攻击者0x538359共计从Lendf.Me获利25,236,849.44美元,其中各个Token分布如下:?
如上图,攻击者在获利之后,马上将各个Token转移至其关联账号0xa9bf70之中,之后攻击者数十次通过1inch.exchange,ParaSwap等平台将其中比较抢手的WETH,PAX,BUSD等Token换成ETH,DAI,BAT代币,另外将其中的TUSD,USDT代币存入Aave借贷平台。至此为止,攻击者及其关联账号的余额如上所示。
修复建议
PeckShield安全团队在此建议开发者,可以采用“Checks-Effects-Interactions”方法来防止这类重入攻击。举个例子,Lendf.Me的supply()里如果是先更新token余额,再调用?doTransferIn()。这将会让攻击在withdraw()?之后没有重置余额的可能性。
另一方面,ERC777标准特性会不可避免地启用hook机制,因此我们需要检测并防止所有交易功能产生可以重入的风险。例如,如果supply()?和withdraw()?同时运行时加个互斥锁,那么攻击者就无法在supply()??函数内部执行withdraw()?操作。
最后并不能被忽视的一点是,我们需要认真思考下DeFi业务组合可能存在的系统性风险问题,平台方不仅要确保在产品上线前有过硬的代码审计和漏洞排查,还要在不同产品做业务组合时考虑因各自不同业务逻辑而潜在的系统性风控问题。
可能一个新创新,在原平台一点问题都没有,但组合接入另一个产品后就可能存在业务逻辑缺陷,进而成为黑客攻击整个DeFi市场的入口。
郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。