近期Beosin安全团队研究发现,通缩代币引起的安全事件依然频发,造成众多项目方资金的损失,因此,Beosin安全团队准备了这篇详解通缩代币的文章,与大家分享。
本文将对通缩代币与pair结合过程中容易出现的问题以及历史发生的真实通缩代币安全事件两个方面进行介绍,通过本文,我们将彻底搞清楚通缩代币是什么意思以及通缩代币发生安全问题所涉及的原理,使我们在之后的项目中避坑。
1 通缩代币是哪种类型的币?
通缩代币是一种在交易过程中会进行相关比例销毁的代币,这是一种很好的激励用户持有代币的方式。
在代币交易过程中,会扣除部分代币用于手续费、奖励以及销毁,而随着代币的销毁,总供应量便会不断减少,就能使得用户持有代币所占比例增加,从而使得用户更愿意持有代币来被动获取更高的收益。
看似完美的金融方案,但在代码实现上并不像预想的那么完美。代码中存在销毁过程,此过程将绕过swap过程直接修改地址余额,这种情况与pair相结合,便会出现一些意想不到的问题。
2 通缩代币存在哪些问题?
EDCS代币决定通缩至6.5亿枚:据官方消息,EDCS项目官方将对EDCS 的100亿代币进行极限通缩,数量缩减至6.5亿枚。
分配规则如下:5.5亿枚属于通过挖矿产出,1500万枚属于社区采用合约封存并通过DAO治理的方式管理,8500万枚属于初期贡献者获取并采用线性释放方式,释放规则不变。[2021/10/10 20:17:45]
(1)添加流动性问题
通缩代币在转账时会收取一定比例的手续费给当前合约,并在手续费达到某个阈值(当前代币数量大于等于合约设置的某个变量)时会调用pair合约进行swap、addLiquidity或sync等操作。
如果在通缩代币交易过程中,没有排除to地址等于pair合约地址,并且该通缩代币在pair中为TokenB时,那么在进行TokenA与TokenB添加流动性的操作中可能导致失败。
为什么会出现交易失败的问题呢?添加流动性是将TokenA与TokenB两种代币打入pair合约,然后调用pair合约的mint函数(下方详情),该函数会根据本合约的当前余额与储备量的差值来判断用户传入了多少代币。
用户将TokenA的代币发送至pair后,进行TokenB代币转账,当收取的手续费正好达到上述的阈值时,代币合约调用pair的swap、mint或sync函数,这几个函数都会调用pair的_update函数,从而将用户最开始发送至pair的TokenA更新为reserve。
SilkSwap已通过SLK通缩销毁提案:据官方消息,为推进了SilkSwap去中心化发展进程,SilkSwap-DAO自治委员会通过了SLK销毁提案,将于8月11日开启SLK第一次通缩销毁。[2021/7/31 1:26:36]
最后,用户再调用mint函数,会导致TokenA的balance和reserve是相等的,结果将导致该笔交易失败。
Mint函数代码如下:
整个调用过程如下:
过程详情图
(2)Skim问题
Pair合约拥有一个skim函数(下方详情),该函数会将pair合约中超出储备量的代币发送到调用者指定地址,数量计算方式是根据pair合约所拥有的代币数量与储备量之间的差值来实现的,这本身是一个平衡pair供应量的功能,但遇到其中一个代币为通缩代币,便可能出现问题。
通缩代币在交易过程中会扣取一部分的费用,那么如果在skim函数中代币转账过程扣取的费用是由from“买单”,会出现什么问题呢?
此时扣取的费用将会是pair的供应量,这样就能提前向pair中转入代币,通过不断的skim函数与sync函数消耗掉pair的供应量,使得该种代币在pair中的价格不断飙升,最终使用少部分该通缩代币就能兑换出大量的另一种代币(一般为usdt、eth等价值币)。
彭博社:通缩前景或将对一些比特币投资者造成打击:4月20日,彭博社发布的一份新报告显示,由于通缩的持续作用,大宗商品价格和美国国债收益率的下降可能会持续下去。通缩前景可能会对一些将比特币视为对冲通胀和货币贬值的对冲工具的加密货币投资者造成打击。(CoinDesk)[2021/4/20 20:38:33]
Skim函数代码如下:
function skim(address to) external lock {address _token0 = token0; address _token1 = token1; _safeTransfer(_token0,to,IERC20(_token0).balanceOf(address(this)).sub(reserve0)); _safeTransfer(_token1, to, IERC20(_token1).balanceOf(address(this)).sub(reserve1));}整个调用过程如下:
(3)销毁问题
OKEx徐坤:随着机构囤币,比特币已进入通缩状态:OKEx首席战略官徐坤表示,比特币这一轮上涨是海外机构投资者入场带动的。在徐坤看来,比特币走向主流已经是必然的趋势。但她同时也表示,比特币现在整体体量还是很小,要达到和黄金同等量级的规模,还需要有10倍的增长空间,伴随着大量以资产配置为目的的机构开始“囤币”,比特币实际上已经进入通缩状态。(21世纪经济报道)[2020/12/30 16:02:36]
该问题主要出现在使用“映射”机制的通缩代币中,这种代币的机制是存在两种代币余额存储变量,分别为tOwned和rOwned,而tOwned存储的是实际代币数量,rOwned存储的是通过currentRate变量放大映射之后的值。
rOwned的作用是什么呢?在文章开始说过,通缩代币能激励用户持有代币,这种激励目的使用的方式便是对交易者扣除rOwned值,同时扣除rTotal,这样其他用户rOwned所占rTotal的比例就会被动增加,实现被动收益。(rOwned与rTotal可理解为用户的股份以及总股份)
用户查询余额的方式有两种情况,一种是除外地址,直接返回tOwned的值,另一种是非除外地址,返回rOwned/currentRate,而currentRate计算方式为rTotal/tTotal。如果有办法使得rTotal减小,那么用户查询出的实际余额将变大,而如果pair查询余额变大,则可以通过skim函数将多余的代币转移出去。
Balancer回应闪电贷攻击:计划将通缩代币添至黑名单:Balancer两个流动性矿池今晨被爆出遭到闪电贷攻击,被转移资产价值约为50万美元。Balancer官方随即对此事发布博客进行回应。此次攻击让攻击者从STA和STONK两个代币池中获取资金,遭遇攻击的两个代币均为带有转账费的代币,也称通缩代币。Balancer还还原了此次攻击的流程,黑客将通过闪电贷从dYdX借出ETH并转换为WETH,不断交易WETH和STA,在每笔交易中,STA都需要支付一笔转账费,该资金池将会在不收取费用的情况下获得余额。调用足够次数后,攻击者调用gulp(),该操作会将代币余额的内部池记帐同步到代币追踪合约中存储的实际余额。最后由于STA的余额接近于零,因此其相对于其他代币的价格非常高,此时攻击者可使用STA以极低价交换代币池中的其他资产。由于此类攻击只限于通缩代币,Balancer称下一步会将通缩代币添加到UI黑名单中。目前Balancer已经通过两次全面审核,即将开始第三次协议审核。[2020/6/29]
而该类通缩代币存在一个deliver()函数,非除外地址可调用,该函数会将调用者的rOwned销毁,并销毁相同数量的_rTotal,使得所有非除外地址的余额查询增加,pair如果非除外的话,便可使用上述方式套利攻击。
3 通缩代币相关安全事件剖析
(1)AES安全事件
北京时间2023年1月30日,Beosin旗下Beosin EagleEye安全风险监控、预警与阻断平台监测到,AES遭受到黑客攻击,该项目便存在上述的Skim问题。
AES-USDT pair合约有一个skim函数,该函数可以强制平衡pair的供应量,将多余资金发送给指定地址。
攻击者在本次攻击过程中,首先向pair里面直接转入了部分AES代币,导致供应量不平衡,从而攻击者调用skim函数时,会将多余的这部分代币转到攻击者指定地址,而攻击者在此处指定了pair合约为接收地址,使得多余的AES又发送到了pair合约,导致强制平衡之后pair合约依然处于不平衡状态,攻击者便可重复调用强制平衡函数,而AES发送过程会调用到AES合约的transfer函数,如下图。
另外一点,当调用AES代币合约的transfer函数时,若发送者为合约设置的pair合约时,会将一部分费用记录在swapFeeTotal之中(如上图过程),在最后的时候可以统一调用distributeFee函数(如下图)将swapFeeTotal记录的费用从pair中转出,这里相比上述的过程,攻击者可以不用做sync函数调用操作,而是在最后将费用转移出去之后调用一次sync函数即可。
攻击者经过反复的强制平衡操作,费用记录变得异常大,基本接近pair的总余额,最后攻击者调用distributeFee函数将pair里面的AES转出,pair的AES余额变得非常少,导致攻击者利用少量AES兑换了大量的USDT。
(2)BevoToken安全事件
北京时间2023年1月30日,Beosin旗下Beosin EagleEye安全风险监控、预警与阻断平台监测到,BevoToken遭受到闪电贷攻击,该项目便是上面所说的“映射”机制通缩代币。
由于BevoToken合约的balanceOf函数(如下图)并非ERC20标准的函数,该函数在经过一些计算处理后再返回余额,而转账或其他操作可能使前后计算返回的余额不一致,当攻击者在swap操作前后可凭借这个问题来操控pair合约的余额,从而skim出多余的代币。
攻击者首先在pancake贷出192.5个BNB,之后换成约302,877个BEVO代币,再调用被攻击合约的deliver函数(如下图),此时_rTotal的值减小,_rTotal的值减小会导致_getRate中计算的值偏小,此时balanceOf返回的余额则会偏大,导致攻击者能skim出多余的BEVO。
之后,攻击者再将skim出的代币进行deliver,此时_rTotal的值已经很小了,在进行_getRate计算时,会减去除外地址的rOwned(如下图),此值固定且被攻击者在之前通过burn异常放大的,在最开始_rTotal正常的时候,减去该值对结果的影响不大,但是现在_rTotal被攻击者操控得异常小,再减去这个异常放大的固定值后,对结果产生了巨大的影响,第一次deliver导致pair计算结果偏大3倍,而第二次deliver之后,pair计算结果则偏大了数百倍,这也是为什么攻击者获得的代币要比自己销毁的代币多得多的原因。
通缩项目在业务设计的时候一定要考虑到与pair交互的情况,自身的通缩机制是否会对pair产生影响。我们也建议相关项目上线前寻找专业的安全审计机构进行全面的代码以及业务的安全审计工作。
Beosin
企业专栏
阅读更多
金色财经 善欧巴
金色早8点
Odaily星球日报
欧科云链
Arcane Labs
深潮TechFlow
MarsBit
BTCStudy
澎湃新闻
郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。