KEN:Uniswap和Lendf.Me遭攻击始末:DeFi乐高组合下的“多米诺”式崩塌_TREND币

编者按:本文来自PeckShield,Odaily星球日报经授权转载。04月18日上午08:58开始,一DeFi平台Uniswap被黑客利用重入漏洞实施了攻击。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多种资产。

Web3初创公司Airchains与西孟加拉邦政府机构合作:7月5日消息,Web3初创公司Airchain与印度西孟加拉邦新城加尔各答发展局(NKDA)达成合作,将帮助通过使用区块链以数字方式记录和跟踪土地所有权变更和跟踪。Airchains将推出部署在Polygon Supernets上的50万个NFT,相关NFT可作为NKDA管辖范围内所有房产的土地所有权证明,以及对相关所有权的跟踪。[2023/7/5 22:18:19]

PeckShield安全团队认为这是自年初bZx遭攻击之后,又两起黑客利用DeFi系统性风控漏洞实施的攻击。一个不容忽视的问题是,DeFi市场的风险可能不仅仅局限于平台本身,单个平台的模式创新很可能在与其他平台业务接轨时产生漏洞风险。详细漏洞攻击细节,我们将在文章后面做详细介绍。

Figure1:ERC777transferFrom()ERC777标准的业务组合兼容性问题

动态 | 委内瑞拉UNETI大学推出旨在加强石油币和加密货币经济的新课程计划:金色财经报道,委内瑞拉国家电信和信息实验大学(UNETI)开设了新课程计划,旨在加强石油币和委内瑞拉的加密货币经济建设。该大学的校长Carlos Berbeci表示,今年的特殊之处在于新推出了“加密经济文凭”(Diploma in Crypto economy)。[2020/2/13]

我们首先介绍下ERC777标准,ERC777出现的目的是对ERC20标准进行改进。其不但实现了功能扩展,还有ERC20标准一样良好的兼容性,愿景是成为ERC20标准的有效继承者。该标准扩展的功能之一是提供了“hook”机制,可以使普通地址或合约通过注册一个tokensToSend()hook函数来控制或拒绝发送Token。这原本是在ERC20基础上加强了对Token的风险控制接口,是一次有益的改进。不过由于DeFi项目的可组合特性,一个合约在不同产品之间相互调用时,其业务逻辑复杂度也会大大增加,这就给注入代码攻击提供了可能性。其中最关键的部分是,攻击者可以通过注册from的tokensToSend()来实行回调。我们从下面的代码片段可以看到,ERC777标准中可以通过getInterfaceImplementer()获得攻击者的tokensToSend()接口,并在第1,056行调用此函数。而此处正是黑客劫持交易实施攻击的入口。

CME比特币期货8月合约收报46045美元:金色财经报道,成交量最高的CME比特币期货2021年8月合约今日收涨3075美元,收报46045美元。2021年9月、10月及11月合约分别收报46090美元、46180美元和46400元。[2021/8/10 1:44:56]

Figure2:ERC777-CompatibletokensToSend()Hijacking如2019年4月OpenZeppelin发布的帖子以及2019年7月发布的漏洞利用演示中所述,攻击者可以自己定义函数tokensToSend(),并通过setInterfaceImplementer()来设置合约中的hook函数。

Figure3:OpenZeppelin'sExploitDemo(HookSetup)之后攻击者就可以像传统PC上的hook函数一样,在tokensToSend()做任何事情。如下图所示,攻击者可以对同一笔交易进行多次交易。

声音 | SEC主席:离比特币ETF更近了,托管是主要问题:美国证券交易委员会(SEC)主席Jay Clayton在接受CNBC的采访时表示,我们离比特币ETF更近了,但还有很多工作要做。托管是主要问题,SEC如何能够真正知道投资者持有数字资产。在这方面,它显然不同于黄金或咖啡等有形资产。Clayton还表示,随着加密货币在海外/不受监管的交易所进行交易,我们如何能确定其价格不被操纵。 Clayton最后表示,虽然已经取得了进展,但在人们对这些问题得到解决感到满意之前无法继续前进。[2019/9/10]

Figure4:OpenZeppelin'sExploitDemo(HookFunction)Uniswap攻击分析

Uniswap被率先发现利用ERC777的兼容性问题实施了攻击。就如此恶意交易在Bloxy中的截图所示(hash:0x9cb1d93d6859883361e8c2f9941f13d6156a1e8daa0ebe801b5d0b5a612723c1),函数内部进行了一次tokenToEthSwapInput()调用。这意味着攻击者可以先通过操纵交易汇率,然后再用另一笔imBTC以较低价格兑换更多的ETH。

Figure5:UniswapHackLendf.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市场的入口。PS:此次黑客对Lendf.Me的攻击对DeFi社区来说无疑是一场灾难,在此建议广大DeFi开发者务必注意业务存在的系统性风控风险,应尽可能和第三方安全公司合作排查一切潜在的安全风险。

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

大币网

[0:15ms0-13:140ms