老调重弹,浅谈 “通缩型代币” 兼容性问题_DEFI:去中心化金融defi是干什么的

By:flush@慢雾安全团队

据慢雾区情报,MDEX的XSquid和HT代币池子中HT代币在没有进行swap的情况下被频繁抽取,慢雾安全团队对此介入分析,并将简要分析分享如下。

攻击核心

本次攻击的核心在于利用XSquid映射通缩型代币的模型,在转账后会发生通缩,自身合约所获取的balanceOf与通过Mdexpair池所获取到的reserve不匹配的问题,使得攻击者可以抽取池中的HT代币。

攻击细节

FSB:全球标准制定者将联手应对DeFi监管:金色财经报道,金融稳定委员会(FSB)发布报告表示,将与其他国际标准制定者合作,确定应如何在不同的司法管辖区监管去中心化金融(DeFi)活动。报告称,金融稳定委员会还将探讨在多大程度上加强其针对加密领域的拟议政策建议,以应对DeFi的特定风险。此外,它还计划与其他国际标准制定者合作,探讨如何填补衡量和监测DeFi与传统金融的相互联系方面的数据空白。

FSB表示,DeFi在其履行的职能或面临的脆弱性方面与传统金融没有本质区别。尽管其研究结果显示,DeFi、实体经济和传统金融之间的相互联系是有限的,但“如果DeFi生态系统大幅增长,那么外溢效应的范围将增加。它将开展额外的工作,分析资产代币化的影响,因为这可能增加DeFi市场和实体经济之间的联系。

金色财经此前报道,金融稳定委员会拟于2023年7月发布加密国际监管框架的最终报告。[2023/2/16 12:11:16]

由链上分析工具我们可以看到,这笔交易中Mdexpair池最终向攻击者转移了0.003枚WHT代币,而链上的交易记录显示还有很多笔这样的交易与之相同。

Valor宣布将在法兰克福证券交易所推出比特币碳中和ETP:金色财经报道,金融科技公司Valor宣布将在法兰克福证券交易所推出其新的比特币碳中和交易所交易产品(ETP)。这些ETP的交易于9月23日开始。(PR Newswire)[2022/9/23 7:16:43]

接下来我们仔细观察这笔交易的细节,这是一个XSquid和HT的MdexPair池,在对XSquid进行swap转账前pair合约通过getReserves接口所获取到池子中_reserve0为1010.505640800917497232。但在下一步通过XSquid合约的balanceOf获取pair余额后我们却发现结果为1010.5060773394782,数量上存在明显的差异。

亿万富翁Carl Eric Martin:现在应立即购入BTC和ETH:8月14日消息,亿万富翁Carl Eric Martin发推表示,现在应该立即购入BTC和ETH。据悉,Carl此前曾发布推文表示,其所投资的价值200万美元的LUNA已跌至仅价值7美元。[2022/8/14 12:24:44]

但是在最后一次更新reserve之后并没有用户向合约中进行转账。于是我们就可以定位到,是在balancOf获取时造成的误差。于是我们开始查看XSquid合约,并定位到balanceOf函数合约的715行。通过函数的一步步跟踪balanceOf。

其中balanceOf调用了tokenFromReflection来获取。而tokenFromReflection函数中传入的是所映射的rAmount.div(currentRate)。currentRate又是由_getRate函数决定的。通过_getRate我们接着跟踪到?_getCurrentSupply函数。

根据一步步的定位我们发现,合约中代币的_tTotal总量是不会发生变化的,最终影响_getCurrentSupply输出结果的是由于_rTotal值的变化而造成的。从合约我们发现XSquid是映射通缩型代币,而在每一次转账时计算_rTotal都会由?_reflectFee产生通缩使得_rTotal值减少,而造成currentRate因此减少,而?rAmount.div(currentRate)增大,最终造成所获取到的balanceOf大于getReserves所获取到的值。

这样就造成了一种假象,使得池子认为外部又多打入了XSquid进来。这时攻击者只需要调用MdexPair合约的swap函数根据上诉计算的差额来抽取代币,或者是调用skim函数直接转走代币。由此,可从池子中抽离这一小部分“多余”而不属于他的HT。对此,我们可以在每次转账最后通过调用sync函数强制准备金与余额匹配同步更新,来避免以上不匹配的问题。

总结

此次抽池的核心问题在于“通缩映射型代币”与项目合约不兼容所导致的。而代币与DeFi项目合约代码不兼容所导致的安全问题已是重复出现的老问题了,慢雾安全团队再次提醒:由于DeFi项目需要多个合约间进行交互,在进行设计时项目方应充分考虑不同合约间交互的兼容性问题,并确保交易对与项?是相互兼容的。

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

水星链

POL币最新价格三元×Cyber CatAMA 实录_CAT:BERC

感谢大家关注三元社区最新一期的AMA,今晚我们有幸请来SamLin,CyberCat游戏制作人大家欢迎!感谢:Odaily星球日报、金色财经、火星财经、PANews、Tokenview、三元资本.

[0:31ms0-1:32ms