近期Beosin安全团队研究发现，通缩代币引起的安全事件依然频发，造成众多项目方资金的损失，因此，Beosin安全团队准备了这篇详解通缩代币的文章，与大家分享。
本文将对通缩代币与pair结合过程中容易出现的问题以及历史发生的真实通缩代币安全事件两个方面进行介绍，通过本文，我们将彻底搞清楚通缩代币是什么意思以及通缩代币发生安全问题所涉及的原理，使我们在之后的项目中避坑。
1 通缩代币是哪种类型的币？
通缩代币是一种在交易过程中会进行相关比例销毁的代币，这是一种很好的激励用户持有代币的方式。
在代币交易过程中，会扣除部分代币用于手续费、奖励以及销毁，而随着代币的销毁，总供应量便会不断减少，就能使得用户持有代币所占比例增加，从而使得用户更愿意持有代币来被动获取更高的收益。
看似完美的金融方案，但在代码实现上并不像预想的那么完美。代码中存在销毁过程，此过程将绕过swap过程直接修改地址余额，这种情况与pair相结合，便会出现一些意想不到的问题。
2 通缩代币存在哪些问题？
波场TRON主网代币TRX完成历史首次通缩:据官方消息，2021年3月30日到4月5日的一周时间内，波场TRON主网代币TRX完成历史首次通缩，根据波场区块链浏览器TRONSCAN数据显示，总流通量由101,678,790,175枚减少至101,673,029,723枚，累计通缩总量高达：576万TRX，价值78万美金（据 Binance 4月6日10:20 （UTC+8）最新价格），至此宣告TRX正式进入通缩时代，完成了由通胀到通缩历史进程。[2021/4/6 19:50:07]
（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。
聚币9月JT回购月通缩率达1.3170%:据官方消息，聚币Jubi已于2020年9月16日（UTC+8）完成JT的9月HRP溢价回购。9月JT总计回购数量为1,282,638.9437 JT，其中二级市场挂单回购700,206.0630 JT，场外回购池回购582,432.8807 JT；所有回购JT（共计1,282,638.9437 JT）已转入官方公示销毁地址（0x0000000000000000000000000000000000000000）并全数销毁。
聚币平台通证JT 9月溢价回购总量占总流通量的1.3170%，JT月通缩率达1.3170%。[2020/9/18]
最后，用户再调用mint函数，会导致TokenA的balance和reserve是相等的，结果将导致该笔交易失败。
Mint函数代码如下：
整个调用过程如下：
过程详情图
（2）Skim问题
Pair合约拥有一个skim函数（下方详情），该函数会将pair合约中超出储备量的代币发送到调用者指定地址，数量计算方式是根据pair合约所拥有的代币数量与储备量之间的差值来实现的，这本身是一个平衡pair供应量的功能，但遇到其中一个代币为通缩代币，便可能出现问题。
维珍银河董事长：美国将面临严重通缩，比特币或从中受益:维珍银河（Virgin Galactic）董事长、Social Capital首席执行官Chamath Palihapitiya是硅谷最早的比特币支持者之一。最近，他分享了Foreign Policy杂志上的一篇文章，指出终端通缩（Terminal Deflation）已成必然。这篇文章指出，尽管许多人预计由于美联储不断膨胀的资产负债表和大量的刺激计划将导致通货膨胀，但通货紧缩可能会随之而来。其核心观点是，美联储的刺激计划实际上加剧了贫富差距，这意味着大多数美国人，即中产阶级，将无法达到消费水准。
尽管比特币投资的主要论点是通胀，但通缩事件也可能会让其获益匪浅。Palihapitiya在接受Morgan Creek Digital联合创始人Anthony Pompliano采访时表示，如果经济是一辆汽车，那么它就像从悬崖上滚下来，而悬崖的底部有一堵砖墙。也就是说，现在的形势非常严峻。在这样的环境中，你会看到投资者开始放弃这辆汽车，转而寻找能够经受住任何不确定性的稳定投资产品，而这种投资越来越接近比特币。（Bitcoinist）[2020/5/15]
通缩代币在交易过程中会扣取一部分的费用，那么如果在skim函数中代币转账过程扣取的费用是由from“买单”，会出现什么问题呢？
此时扣取的费用将会是pair的供应量，这样就能提前向pair中转入代币，通过不断的skim函数与sync函数消耗掉pair的供应量，使得该种代币在pair中的价格不断飙升，最终使用少部分该通缩代币就能兑换出大量的另一种代币（一般为usdt、eth等价值币）。
共识实验室吴少康：全球货币贬值能够反衬出比特币的通缩价值:4月14日 20:00，共识实验室首席分析师吴少康做客MXC抹茶社区，就《减半利好已尽？比特币能否带动加密市场走出独立行情》阐述精彩观点。
吴少康认为：“美国进行无限量QE政策，实质上就是通过国债、MBS和商业票据三个渠道进行发钱，对全球各个国家进行一波收割，因为各个国家的美元储备都不值钱了。那么各个国家也通过印钞的方式，来抵御美元的贬值。全球货币贬值能够反衬出比特币的通缩价值，但价值并不等于价格，长期来看，比特币的价值是提高的，而短期价格取决于现在人为操纵性较高的市场。“[2020/4/14]
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));}整个调用过程如下：
声音 | Thomas Lee：比特币的通缩经济模型或促使其价格上涨:Fundstrat Global Advisers联合创始人Thomas Lee发推文表示，降息=比特币上涨，这看似古怪却持续发生。其认为这是比特币通缩经济模型产生的结果。[2019/8/8]
（3）销毁问题
该问题主要出现在使用“映射”机制的通缩代币中，这种代币的机制是存在两种代币余额存储变量，分别为tOwned和rOwned，而tOwned存储的是实际代币数量，rOwned存储的是通过currentRate变量放大映射之后的值。
rOwned的作用是什么呢？在文章开始说过，通缩代币能激励用户持有代币，这种激励目的使用的方式便是对交易者扣除rOwned值，同时扣除rTotal，这样其他用户rOwned所占rTotal的比例就会被动增加，实现被动收益。（rOwned与rTotal可理解为用户的股份以及总股份）
用户查询余额的方式有两种情况，一种是除外地址，直接返回tOwned的值，另一种是非除外地址，返回rOwned/currentRate，而currentRate计算方式为rTotal/tTotal。如果有办法使得rTotal减小，那么用户查询出的实际余额将变大，而如果pair查询余额变大，则可以通过skim函数将多余的代币转移出去。
而该类通缩代币存在一个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
澎湃新闻
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。