ETH:首发|空手套以太:Balancer攻击解析

6月29日北京时间凌晨2点03分,CertiK天网系统 (Skynet) 检查到在区块10355807处Balancer DeFi合约异常,安全研究员迅速介入调查,攻击过程浮出水面。

6月29日凌晨2点03分,攻击者利用从dYdX闪电贷中借到的WETH,大量买进STA代币,使得STA与其他代币的兑换价格急剧上升。然后使用最小量的STA(数值为1e-18)不断回购WETH,并在每次回购后,利用Balancer的合约漏洞重置其内部STA的数量(数值为1e-18),以此稳住STA的高价位。

攻击者不断利用漏洞,用高价的STA将某一种代币完全买空(WETH,WBTC, LINK和SNX),最终用WETH偿还闪电贷,并剩余大量STA,WETH,WBTC, LINK和SNX,并通过uniswap将非法所得转移到自己账户中。此次攻击约获利90万人民币。

天津杨柳青画社首发数字版权藏品:3月25日消息,3月26日中午12时,由天津杨柳青画社收藏的《仕女游春》将在中国搜索“时藏”数字版权藏品平台公开发行,限量9999份,每份价格9.9元。这也是天津杨柳青画社首次发行数字版权藏品,是“时藏”对科技赋能非遗文化领域的一次新尝试。据了解,杨柳青年画是中国天津著名的民间木版年画,起源于千年古镇杨柳青。《仕女游春》是天津杨柳青木版年画博物馆的馆藏经典。2006年,杨柳青木版年画被列入第一批国家级非物质文化遗产名录。本次发行的《仕女游春》是一套“对楼”画形式的数字版权藏品,由两幅仕女人物图组成。(中国日报)[2022/3/25 14:17:29]

CertiK分析的此次事件攻击者心理画像:

攻击者在调取STA余额后,快速调用swapExactAmountIn函数购买STA,并在第24次交易使用了另一个函数swapExactAmountOut精准的将STA的数目买到了最小值(1e-18),从而最大化后续攻击的效率。最开始的6笔交易,在没有必要的情况下,3次买入后卖出,损失了4个WETH,故布疑云。并且能够做到隐匿自己的闪电贷阶段痕迹来看,有黑客特性。

Huobi 将于5月11日凌晨0时首发上线ICP:据官方消息,Huobi Global 即将于新加坡时间5月11日星期二凌晨0点(GMT+8)或者之后开启ICP(Internet Computer,DFINITY)充币,等流动性条件成熟后会第一时间开启交易。请注意关注Huobi 后续公告。据悉,Huobi Global 与Coinbase 为ICP官方合作的首发上线交易平台。[2021/5/10 21:41:42]

CertiK判断攻击者是有经验的黑客团队在充分准备后的一次攻击尝试,有很大可能还会继续攻击其他DeFi合约。

阶段0:攻击者从dYdX闪电贷处借款,获得初始WETH资金。

阶段1:攻击者使用WETH将Balancer中的STA尽可能买空,最大程度提高STA价格。

阶段2:攻击者用获得的STA多次买回WETH。每一次都用最小量的STA(数值为1e-18)进行购买,并利用Balancer内部漏洞函数gulp(),锁定STA的数目,控制STA对WETH的价格。重复多次该种买回操作,直到将Balancer中的WETH取空。

Gate.io将于明日2点上线 Startup首发项目ORAO交易:据官方公告,Gate.io将于5月4日(明日)02:00上线 Startup首发项目Orao.Network (ORAO) 。风险提示:请务必注意价格变化,提前调整市场挂单,切勿追高。[2021/5/3 21:20:09]

阶段3:换一种代币,用STA重复阶段2直到取空该种代币。阶段三重复了三次,一共有4种代币受到了损失WETH,WBTC, LINK和SNX。

阶段4:偿还dYdX闪电贷,离场。

阶段1: 从Balancer中取光所有的STA

前24笔交易将从闪电贷中借到的WETH交易为STA,尽可能降低Balancer中的STA数目,从而提升STA对其他代币的价格。 

动态 | 海南三亚马拉松2月开跑,首发区块链数字认证奖牌:1月17日,2020海南三亚马拉松发布会在海南省新闻发布厅举行。会议发布了2020海南三亚马拉松赛事信息、赛事亮点,发布了全球首款区块链数字认证奖牌,赛事数字化管理平台以及全新优化的比赛路线和起跑时间。(人民网)[2020/1/18]

阶段2:将STA交易为WETH,利用gulp函数漏洞控制价格

在阶段2开始时候,STA的总数目始终被gulp函数重置为之前的1e-18。在第一次通过swapExactAmountIn函数将STA交易为WETH时,攻击者故意将STA交易的数目设为1e-18,由于在交易模型中,STA的数目极小,因此STA的价格相对其他代币会极高。在完成第一次交易后,在Balancer中STA的数目应为2e-18。

全球首条大出行生态链ZatGo承云首发登陆COINEGG:ZAT将于北京时间2018年2月9日15:00登陆COINEGG,并于当日15:00开放交易。“ZAT/BTC”和“ZAT/USC”两个交易对也将同时开放。充值通道将于2月8日15:00提前开放。为ZAT首发交易所预热,ZatGo承云宣布在ZatGo官方电报群开启百万糖果空投活动。ZatGo承云打破了目前大出行行业的数据垄断壁垒,解决了行业信任问题,提升出行效率、降低出行成本,是一个集数据、产品和使用为一体的大出行生态联盟。ZatGo承云近期将登陆各大顶尖交易所,敬请期待![2018/2/9]

在第二次通过swapExactAmountIn将STA交易为WETH之前,攻击者通过调用gulp函数,将在Balancer中的STA数目使用内部记录的1e-18来覆盖当前STA的真实数目(2e-18)。因此在购买WETH时,STA依然可以保持高价。但是因为购买WETH后,WETH的数量减少,每次攻击的非法所得逐渐减小,18次攻击后,Balancer中的WETH被完全盗取。

阶段3:转移目标

当Balancer中的WETH被完全盗取后,攻击者利用相同漏洞,对Balacner的其他代币(WBTC, LINK和SNX)重演攻击,盗光了4种代币后隐遁。

攻击者获利

攻击者攻击地址:

0x81D73c55458f024CDC82BbF27468A2dEAA631407

攻击者最终收款地址:

0xbf675c80540111a310b06e1482f9127ef4e7469a

攻击者最终获利:565.5326240837032 ETH, 约合90万人民币(北京时间20200630早9点30分价格)

Balancer合约的gulp()函数作用为将某一种代币的内部记录数值覆盖到当前该种代币的真实数目,但是错误的把他设置成没有限制的external函数。gulp()函数不应该为external,或者应该加入对于特定使用者或者智能合约拥有者的验证或者防护限制条件。

参考资料:

1. Balancer Github:

https://github.com/balancer-labs/balancer-core/blob/140df49361a58e6c79b395964be98387702a7c0d/contracts/BPool.sol#L334

https://github.com/balancer-labs/balancer-core/blob/140df49361a58e6c79b395964be98387702a7c0d/contracts/BMath.sol#L28

https://github.com/balancer-labs/balancer-core/blob/140df49361a58e6c79b395964be98387702a7c0d/contracts/BPool.sol#L423

2. 攻击交易历史记录:

https://ethtx.info/mainnet/0x013be97768b702fe8eccef1a40544d5ecb3c1961ad5f87fee4d16fdc08c78106

3. 官方攻击报告:

https://medium.com/balancer-protocol/incident-with-non-standard-erc20-deflationary-tokens-95a0f6d46dea

了解更多

General Information: info@certik.org

Audit & Partnerships: bd@certik.org

Website: certik.org

Twitter: @certik.org

Telegram: t.me/certik.org

Medium:medium.com/certik

币乎:bihu.com/people/1093109

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

金星链

[0:15ms0-0:996ms