继6月29日凌晨2点CertiK捕获Balancer攻击事件后《空手套以太:Balancer攻击解析》, 北京时间6月29日下午8点整与11点23分,CertiK天网系统(Skynet) 再次检查到两起类似原理的Balancer DeFi合约异常,两起异常分别发生在区块数10360609与区块数10361515。与29日单纯利用合约漏洞的攻击不同,这次黑客巧妙利用了Compund金融模型,无中生有了大量COMP代币。明星DeFi项目,一日内连遭三次攻击,让支持者不禁担忧起整个DeFi市场的未来。
天网扫描
事件概述
6月29日,攻击者从dYdX闪电贷中借到代币并铸币后,通过uniswap闪贷获得cWBTC和cBAT代币,然后将借得的代币在Balancer代币池中大量交易,从而触发Compound协议的空投机制,获得空投的COMP代币,再使用Balancer有漏洞的gulp()函数更新代币池数量后,取走所有代币并归还闪电贷。攻击者相当于利用了Compound协议的金融模型、闪电贷和Balancer代码漏洞,无中生有了COMP,总获利约为11.5ETH。
CertiK攻击者心理画像
6月29日下午8点与11点的两起攻击使用了相同的手法并且使用了同一个收款地址,确认为一个团队。虽然这两次攻击与29日凌晨2点的攻击均利用了Balancer合约的gulp(),但是攻击手段不同,后两次攻击利用了Compound的金融模型的漏洞而不是单纯的代码漏洞。另外,后两次攻击的获利远小于首次攻击获利,实施首次攻击的黑客没有再次攻击的动机。
CertiK判断后两次攻击是在首次攻击14小时后,利用类似原理实施的模仿攻击。
DeFi安全新挑战
BTC跌破41000美元关口 日内跌幅为1.15%:火币全球站数据显示,BTC短线下跌,跌破41000美元关口,现报40975.07美元,日内跌幅达到1.15%,行情波动较大,请做好风险控制。[2021/9/29 17:13:47]
这次的攻击事件主要利用了金融模型设计上的漏洞,而不是代码层面的漏洞。这种由DeFi市场孕育出的新型攻击模式,让大部分区块链安全公司仅有的“代码审计”服务变得毫无用处。
只针对代码层面而不能对抽象模型进行分析的、传统的安全技术完全应对不了DeFi带来的新挑战。而没有模型层面保护的DeFi,只能沦为熟知DeFi金融模型的黑客的提款机。
DeFi安全预警是弊大于利吗?
这次的模仿攻击,让很多人对区块链安全公司产生了质疑:安全公司的分析文章会不会教会更多人攻击的方法?为什么各种安全预警没有改善安全环境?我们真的还需要安全预警吗?
CertiK的观点是,不仅需要安全预警,还要做到更快更深入!
不同于传统软件系统,区块链所有的交易、所有的合约调用都是公开透明的。攻击事件发生后,区块链上的交易记录对于黑客而言就是最直白的教科书,区块链安全公司要抢在模仿攻击之前发布预警,保护相关公司。但是最近频繁的攻击事件,再一次证明安全预警是远远不够的,并不能改变当前DeFi乃至整个区块链的安全现状。
DeFi安全还有机会吗?
为了根本性改变DeFi的安全现状,我们必须针对新型智能合约(比如DeFi、IoT) 引入全新的安全机制。
这种安全机制必须要能进行模型层的分析,必须能够适应新型合约的发展,尽量做到在攻击时拦截,而非在攻击后预警。CertiK团队正在研发基于CertiK Chain的新型安全DeFi机制 —— CeDeFi (Certified DeFi)—— 即可信DeFi,相信可以在未来彻底改变当前被动的安全现状。
攻击还原
以下午11点对Balancer的攻击为例:
步骤1:从dYdX处通过闪电贷形式借得WETH、DAI和USDC三种代币,数额分别是103067.20640667767、5410318.972365872和5737595.813492。
步骤2:使用步骤1中得到的代币,对三种代币 (cETH、cDAI和cUSDC) 进行铸币操作 (mint)。
步骤3:使用uniswap通过闪电贷形式,借得 (borrow) 并铸造 (mint) cWBTC,cBAT代币。
步骤4:携带获得的cWBTC与cBAT加入代币池,此时攻击者拥有的cWBTC和cBAT的数目分别为4955.85562685和55144155.96523628。
步骤5:分别用cWBTC和cBAT在该代币池中进行大量的交易,从而触发Airdrop操作,将无归属的COMP分发到该代币池中。
步骤6:调用gulp()函数将当前的COMP数目同步到Balancer智能合约中,并将cWBTC、cBAT以及额外被加入代币池中的COMP取出。退出代币池时,攻击者拥有的cWBTC和cBAT的数目同样为4955.85562685和55144155.96523628。但是由于在代币池中通过大量交易产生的额外COMP,攻击者获得了额外的COMP代币。 此处攻击者还可以选择直接进入其他代币池中,复用步骤1到步骤6的攻击方法,获得额外COMP代币。
步骤7:偿还uniswap和dYdX的闪电贷,离场。
步骤8:攻击者仍旧可以采用同样的方法(步骤1到步骤7),对其他代币池发动攻击。攻击的机制类似,但是通过闪电贷借得和用来进行攻击的代币种类略有不同。
参考链接:
新闻:
https://cointelegraph.com/news/hacker-steals-balancers-comp-allowance-in-second-attack-within-24-hours
中文新闻:
https://www.chaindd.com/3330102.html
原始分析:
https://twitter.com/frenzy_hao/status/1277597671847411712
29日下午8点攻击交易历史记录:
https://ethtx.info/mainnet/0xa519835c366bc77d93c9d3e433e653bfc46120688ad146b383f4dd93342cad29
29日下午11点攻击交易历史记录:
https://ethtx.info/mainnet/0x70959fef9d7cc4643a0e885f66ec21732e9243ffd3773e4a9ea9b5ab669bab4d
了解更多
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
头条 ▌以太坊开发人员决定推迟柏林硬分叉 金色财经报道,许多用户仍依赖于以太坊客户端Geth,因此如果出现漏洞,则可能会使网络暂时冻结。有鉴于此,以太坊核心开发者上周五决定将柏林(Berlin)硬分叉的开发工作至少推迟到八月,以使其他客户端有机会增加其网络份额。
上图为2010-2020目前BTC历史价格走势,与持币超一年未发生移动钱包数量波动曲线之间的关系,研究可以发现,每轮牛市周期BTC价格一路上涨,而未动钱包地址数却走出了负相关的走势,一路逐渐下滑的态势,而真正到了各轮牛市的最顶部区域,相对应的未动地址数已下滑至相对低点位置。
近年来,数字经济不断成为驱动经济增长、吸纳就业、释放消费潜力的新引擎。无论是日常生活中的网购、刷脸支付、共享单车等数字经济模式,还是工业、能源、汽车等传统实体产业积极拥抱数字经济,都彰显了数字经济强大增长潜力。
大盘延续震荡走势,以9100-9300美金区间展开,量能同步萎缩。短时关注9000-9100美金区间的底部支撑,9300美金的区间压力。日线级别则是整体走势偏空,币价跌破了MA60日均线的支撑,同时MACD死叉,开始逐步跌破0轴,此时继续多头量能,否则空头形态一旦正式形成,后续风险较大。
金色财经 区块链6月27日讯 北京时间2020年6月26日晚9点半,亿邦国际(EBON)正式登陆美股纳斯达克,成为继嘉楠后第二个美股上市的中国矿机制造商。
26日美国矿机托管商Core Scientific在官网宣布,将购买17595台蚂蚁矿机S19。Core Scientific称这是关于S19的最大一笔订单。吴说区块链估算,该订单总价值超过2亿人民币。这批机器将在未来四个月内在Core Scientific位于美国的655,000平方英尺的数据中心内得到全面部署。