近日,CertiK监测到两起针对FETA以及BEVO反射机制的通缩币项目的闪电贷攻击事件。为帮助读者对此类攻击事件有更全面的了解,本文将对此类通缩币项目的背景、攻击过程、攻击原理以及防范方法进行具体分析并总结,期望各位读者能对该类型攻击有较为深入的理解和启发。
背景
通缩币是一种随着交易进行不断有token被销毁,发行总量因此不断减少进而实现潜在升值的数字货币。
随着2021年Safemoon项目的一炮而红,通缩币项目在当时几乎横扫主流的ERC20项目,备受瞩目。
对于通缩机制本身,大部分项目都使用了Reflect这一最经典的通缩奖励分配机制。Reflect机制即“反射”机制,可以将通缩产生的收益让所有的持币者根据持币量平均分配。在该机制下,用户手里的token有了两种计量方式,即:“反射”前的实际token数量,和“反射”后的反射token数量。
链游平台WEMIX将实施回购销毁和代币通缩策略:12月9日消息,韩国游戏公司Wemade旗下链游平台WEMIX宣布立即实施回购销毁活动,将在2022年12月9日至2023年3月8日的90天内将回购并销毁价值1000万美元的WEMIX代币。此外,基金会还将采用并实施WEMIX通缩政策,所有WEMIX3.0平台和基金会产生的投资收入的25%将按季度销毁。
此前报道,11月24日,韩国数字资产交易平台联合协会(DAXA)决定对韩国游戏巨头 WeMade旗下链游平台代币WEMIX停止交易支持,以保护投资者。受此影响,Bithumb、Upbit等多家韩国交易所宣布将下架WEMIX。[2022/12/9 21:33:37]
该机制中,通缩的来源是对于token交易者的惩罚性税收,在每次交易时对交易账户“反射”后的token数量进行一定比例的收税和销毁,从而改变了“反射”的比率,使得每个普通持币者都可以获得更多的“反射”前的token作为奖励。
数据:ETH代币供应趋于通缩至合并前的水平:10月22日消息,链上数据显示,ETH代币供应趋于通缩至合并前的水平。自10月8日以来,XEN的引入与围绕新memecoins的大量交易促成了交易量的扩大和交易费用的增加,进而导致了销毁的ETH的增加。(The Block)[2022/10/23 16:35:40]
由此可见,Reflect是一种静态奖励机制,为了鼓励长期持币者而惩罚频繁交易者,使得更多用户愿意持有和参与,最终促使币价趋于稳中有升的态势。
有趣的是,包含Reflect机制的智能合约很多都会加入一个函数,即`deliver()`。该函数的作用是调用者以“牺牲自我”的方式,直接销毁自己的token,从而改变“反射”机制的比率,使每一位持币者得到奖励。
这种牺牲自我利益为所有持币者谋福利的做法不失为一种“慈善捐赠”,调用这个函数的人就好像“天使”一般。然而,天使的背后也有可能是魔鬼。CertiK最近监测到的两起攻击事件,正是利用了`deliver()`函数改变“反射”机制的比率,对通缩币在去中心化交易所的交易对地址发起了闪电贷攻击,盗走交易对中的大额WBNB。
ARK基金创始人:通缩是比通胀更大的风险:11月24日消息,ARK基金创始人Cathie?Wood重申,通缩是比通胀更大的风险。(金十)[2021/11/24 7:07:37]
攻击案例分析
2023年1月31日,CertiK监测到通缩币项目FETA遭受到闪电贷攻击。攻击者通过闪电贷借到18.5个WBNB后,通过调用FETA的`deliver()`函数以及去中心化交易所中FETA-WBNB交易对合约的`skim()`函数,在归还闪电贷借款之后仍获利10.34个WBNB。
无独有偶,在前一日,CertiK还监测到另外一起类似的闪电贷攻击事件,被攻击对象是通缩币项目BEVO,攻击者通过类似的方法获利144个WBNB。
这两起攻击事件看上去仿佛只需调用两个十分普通的函数就可以攻击成功,那么这种“魔法”究竟是怎么施展的呢?
EDCS代币决定通缩至6.5亿枚:据官方消息,EDCS项目官方将对EDCS 的100亿代币进行极限通缩,数量缩减至6.5亿枚。
分配规则如下:5.5亿枚属于通过挖矿产出,1500万枚属于社区采用合约封存并通过DAO治理的方式管理,8500万枚属于初期贡献者获取并采用线性释放方式,释放规则不变。[2021/10/10 20:17:45]
我们不难发现,对于普通用户地址而言,反射机制的逻辑以及`deliver()`函数的逻辑都是没有问题的,甚至是非常高明的奖励机制,否则通缩币项目也不可能如此受到认可。问题恰恰在于“不那么普通”的地址——下面我们看看如果对去中心化交易所的交易对地址使用了“反射”机制究竟会发生什么。
首先,根据“反射”机制的代码可知,在“反射”前后,用户的token数量是通过乘以一个比率rate来相互转化的,若我们设“反射”前的token数量为tAmount,“反射”后的token数量为rAmount,则有
加拿大企业家Kevin O'Leary支持以太坊通缩:8月10日消息,加拿大企业家、投资者及电视真人秀主持人Kevin O'Leary在名人个性化视频信息网站Cameo上宣扬以太坊8月5日伦敦升级的好处,他认为,一旦以太坊发生链式合并,它注定会成为“ultrasound money”。
此前消息,EIP-1559实施之后,ETH销毁总量达到20000枚。(Cointelegraph)[2021/8/10 1:45:49]
其中rate系两种计量方式的总量之比,即
把rate带入,我们可以得到用户的实际token数量
对于所有加入“反射”机制的地址,由于每次有交易者在交易时都会交税并通过销毁减少一些rTotal,根据公式,在rAmount、tTotal不变的情况下,tAmount将会增加,即实现了静态持有时的增值。
`deliver()`函数可以直接减少rTotal,同时保持tTotal不变,此时rate将会极具下降。若此时关注该token在去中心化交易所的交易对地址pair,则pair对应的balance,即用tAmount衡量的token数量会大幅增长。
而去中心化交易所的交易对智能合约作为数字货币的交换池,存储了大量该交易对的两种token,例如BEVO-WBNB。该智能合约提供了一个函数`skim()`,可以让用户把合约中token的balance数值和交换池中实际存储的token数量reserve的差值取出来,正是这个方法让攻击者发现了套利空间。
根据上文所述,当调用`deliver()`函数时,rTotal减少会带动pair的balance,即用tAmount衡量的token数量的大幅增长,然而pair里面实际存储的token数量reserve并没有发生变化,此时,两部分的差值全部会被攻击者调用`skim()`全部取出来。
然而想要调用`deliver()`函数,即完成初始的“捐款”,是需要启动资金的。对于攻击者来说,方法总比困难多——方法即为我们平时经常听说的闪电贷。
也就是说,攻击者只需在一个区块之内将钱还上,就可以借到大量的钱用`deliver()`函数操纵交易对的balance。最终,只要通过`skim()`取出来并换成WBNB的钱比借到的钱多,攻击者就完成了一次无风险套利。
总攻击过程如下图所示:
攻击防御
知道了原理,那又该怎么预防呢?
能够带来严重损失的漏洞,或许在事情发生前就进行预防,并不十分复杂。根据CertiK安全专家的分析,攻击者要想钻空子,需要能够改变合约中rTotal的数量,进而操纵合约中交易对的balance。
在此,CertiK专家建议:
要么在设计合约的时候直接剔除有风险的`deliver()`函数,要么直接将交易对地址剔除Reflect机制,即在代码中或合约部署后,调用`excludeFromReward()`将pair地址填入,使其剔除反射奖励机制即可。此时pair的balance将无法被攻击者通过`deliver()`函数所操纵。
写在最后
CertiK通过两起最近发生的通缩币闪电贷攻击事件,详细讲述了包含Reflect机制的通缩币被攻击的原理和预防方法,希望能给各位读者有所启示。
通缩币作为最常见也是最经典的数字货币类型之一,至今仍然能被攻击者抓住漏洞进行攻击,主要原因也是项目方在智能合约设计时仅考虑到数字货币自身的智能合约逻辑,却并未深入研究与去中心化交易所合约交互的过程,才酿成了如此的损失。
21:00-7:00关键词:美联储、Tether、Uniswap、PayPal1.PayPal暂停稳定币项目;2.纽约法院驳回Tether试图阻止CoinDesk索取稳定币储备信息的请求;3.
1900/1/1 0:00:00金色财经报道,破产的加密货币贷款机构Celsius寻求通过出售比特大陆优惠券筹集1400万美元,该交易包括为矿机购买者提供未来从比特大陆购买Antminer系列矿机10%-30%折扣的优惠券.
1900/1/1 0:00:00柴犬(SHIB)价格从下行阻力线突破。它在0.0000120美元的支撑区域内交易。柴犬(SHIB)价格完成了五波上行运动。柴犬(SHIB)价格在可能引发反弹的重要支撑区域内交易.
1900/1/1 0:00:00根据加密分析公司Glassnode的数据,2月9日星期四,所有比特币之间的盈亏比在两周多以来首次跌破1.
1900/1/1 0:00:00ForesightNews消息,据CoinDesk报道,加密交易所Bitzlato联合创始人AntonShkurenko于2月6日在莫斯科被短暂拘留审问后获释.
1900/1/1 0:00:00尊敬的唯客用户您好!为了提升服务质量,进一步优化您的交易体验,唯客于2023年02月12日21:00夜间至隔日清晨钱包系统因网络节点临时升级故造成部份时段钱包系统网络拥塞?;优化升级范围如下:升.
1900/1/1 0:00:00