By:flush@慢雾安全团队
据慢雾区情报,MDEX的XSquid和HT代币池子中HT代币在没有进行swap的情况下被频繁抽取,慢雾安全团队对此介入分析,并将简要分析分享如下。
攻击核心
本次攻击的核心在于利用XSquid映射通缩型代币的模型,在转账后会发生通缩,自身合约所获取的balanceOf与通过Mdexpair池所获取到的reserve不匹配的问题,使得攻击者可以抽取池中的HT代币。
攻击细节
安全团队:MetaPoint(POT)宣布因遭黑客攻击而暂停运营:金色财经报道,据CertiK监测,MetaPoint(POT)项目在其Telegram宣布因遭到黑客攻击而暂停运营,其币价已下跌78%以上。
BSC合约地址:0x3b5e381130673f794a5cf67fbba48688386bea86[2023/4/12 13:58:13]
由链上分析工具我们可以看到,这笔交易中Mdexpair池最终向攻击者转移了0.003枚WHT代币,而链上的交易记录显示还有很多笔这样的交易与之相同。
Helio Protocol:原定回购销毁计划已推迟,HAY重新挂钩需要更多时间:12月6日消息,BSC生态稳定币项目Helio Protocol在社交平台发文表示,其已经开启第一批HAY的回购销毁流程;但原计划将于12月6日完成的回购计划可能无法按时完成,要使HAY价格完全重新挂钩至1美元需要更多时间;Helio向社区保证,重新挂钩HAY仍然是当务之急和首要任务;一旦恢复计划完成,Helio将与社区共享所有相关信息和地址。[2022/12/6 21:25:38]
接下来我们仔细观察这笔交易的细节,这是一个XSquid和HT的MdexPair池,在对XSquid进行swap转账前pair合约通过getReserves接口所获取到池子中_reserve0为1010.505640800917497232。但在下一步通过XSquid合约的balanceOf获取pair余额后我们却发现结果为1010.5060773394782,数量上存在明显的差异。
快餐连锁品牌Chipotle将通过数字支付平台Flexa接受加密货币支付:6月2日消息,在全美有近3000家门店的快餐连锁品牌 Chipotle 将通过数字支付平台 Flexa 接受加密货币支付。用户需下载 Gemini 或 SPEDN 储存数字资产并通过 Flexa 支付。(The Block)[2022/6/2 3:57:47]
但是在最后一次更新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项目需要多个合约间进行交互,在进行设计时项目方应充分考虑不同合约间交互的兼容性问题,并确保交易对与项?是相互兼容的。
HSC虎符智能链首发项目PuddingSwap布丁美食帝国NFT卡牌质押功能将于11月26日22时正式上线.
1900/1/1 0:00:00与现在常见的组织管理形式相比,DAO存在明显的去中心化特点。但中心化与去中心不是非此即彼的,许多的DAO组织也或多或少的依靠中心化开启或者维持,并未做到绝对的去中心化.
1900/1/1 0:00:00公链赛道已经进入多链发展的时代。虽然大多数公链的推出都是为了解决以太坊昂贵和可扩展性的问题,承接来自以太坊的外溢流量,但是也有创新者希望通过使用全新的叙事逻辑构建一条更为实用、想象力更为广阔的区.
1900/1/1 0:00:00一、《脑细胞大作战》题材和玩法分析CellBattle的题材来自于2018年王思聪投资的现象级产品《冲顶大会》.
1900/1/1 0:00:00作者:FareemChagla以太坊2.0:简介以太坊区块链目前正在进行多阶段升级。此次升级名为Ethereum2.0,旨在解决网络的可扩展性、安全性和可持续性.
1900/1/1 0:00:00以技术力量推动企业碳管理数字化升级。12月2日,国网广汇电动汽车服务有限公司与蚂蚁链签署合作协议,共同探索车场景下的碳管理技术路径.
1900/1/1 0:00:00