比特币:“不可思议” 的被黑之旅： Impossible Finance 被黑分析

据慢雾区消息，币安智能链(BSC)DeFi项目ImpossibleFinance遭遇闪电贷攻击。慢雾安全团队第一时间介入分析，并将结果分享如下：

攻击细节分析

ImpossibleFinance的DEX架构参考了Uniswapv2，但在Pair的实现上有所不同。ImpossiblePair分别实现了cheapSwap与swap两个接口。cheapSwap函数限制了只由Router合约可进行调用，swap函数则是任意用户都可调用进行代币兑换操作。本次攻击事件的根本原因正是出在这种特殊的代币兑换架构上，接下来我们对此次攻击进行具体分析：

首先攻击者利用闪电贷从PancakeSwap中借出大量WBNB，并最终将其兑换成IF(ImpossibleFinance代币)?。

灰度创始人Barry Silbert预测，本周将是市场“不稳定的一周”:灰度创始人Barry Silbert预测，本周将是市场“不稳定的一周”。上周，BarrySilbert在推特上透露已经通过UVXY做多了VIX指数，并认为99%的加密货币价格过高。（金十）[2021/6/21 23:53:03]

随后攻击者创建了一个由自己控制的代币AAA(BBB)，并与上一步骤中获得的IF代币添加流动性。

萨尔瓦多财政部长：IMF“不反对”将比特币作为法币:萨尔瓦多财政部长表示，国际货币基金组织告诉萨尔瓦多，国际货币基金组织“不反对”将比特币作为法定货币。 （金十）[2021/6/17 23:42:50]

之后攻击者通过Router传入自定的兑换路径(AAA->IF->BUSD)将AAA代币兑换成BUSD代币，而问题正是出现在此兑换过程中。通过链上记录我们可以很容易的发现攻击者在将AAA代币兑换成IF代币的过程中进行了两次兑换操作：

杨海坡“分叉”BCH起因：“不是分叉，而是赶走ABC”:在杨海坡拉起的“Bitcoin Cat”群中，不少群友表示，“不是分叉BCH，是赶走ABC”。

据了解，本次反对ABC及其首席开发者Amuary Sechet的声浪，起源于社区对将于今年11月份实施的BCH硬分叉方案的分歧。

本次升级的一个核心在于，改进难度调整算法（DAA）。

此前，开发者Jonathan Toomim提出了一项经过充分测试的“aserti3-2d”提案，但遭到Amuary的反对。Amuary 继而提出一项名为Grasberg的提案，社区中的General Protocols项目认为，该提案尚未通过大多数Bitcoin Cash节点的评审，Bitcoin ABC也没有提供进一步的测试数据来支撑它，因此号召社区反对Amuary的提议。[2020/8/5]

声音 | BitPay CCO：“不可预见的“因素将助力比特币2020年底达到2万美元:加密支付公司BitPay CCO Sonny Singh近期在接受采访时被问及“加密货币市场有可能在2020年上涨的原因”，即在未来12个月推动比特币走高的基本因素。有趣的是，Singh并没有把目光放在即将到来的减半事件。相反，他认为加密货币领域“不可预见的事情”可能是比特币在今年年底达到2万美元的催化剂，这意味着它将比目前的8000美元价格高出约150%。作为一个例子，他提到了之前所谓的“黑天鹅事件”，例如Libra的启动等。他表示，当时正是Libra计划的公布推高了比特币的价格。Singh还表示，如果中国或印度等国让比特币合法化，如果其他与Facebook实力相当的公司进入加密领域，或者如果我们看到更多的宏观经济事件，BTC可能会朝着历史新高大步迈进。谈到可能推高比特币价格的辅助趋势时，Singh列举了以下两点：1.富达为其机构客户推出了机构级别的加密货币投资和托管服务，这可能成为大量资金涌入比特币市场的门户；2. Square聘请了大量以加密为中心的工程师，以让比特币变得更有用、适应性更强。随着时间的推移，这可能会增加对数字资产的需求。（CryptoSlate）[2020/1/9]

为什么在一次兑换过程中会进行两次兑换操作呢？

NEM董事长：加密货币的价格操纵“不可避免”:据美国财经网站CNBC报道，加密货币公司NEM的负责人周二说，在加密货币的世界里，操纵价格是“不可避免的”，但一旦市场成熟，价格操纵就会消失。“操纵价格并不是什么新鲜事。你也可以在主流市场看到它。我们的行业正处在一个刚刚起步的发展阶段，这些事情是不可避免的。”NEM的董事长Lon Wong告诉CNBC。NEM旗下的加密货币新经币（XEM）最近卷入了一场巨大的加密货币盗窃事件，黑客从日本的加密货币交易所Coincheck窃取了价值5.3亿美元的数字资产。Wong告诉CNBC，监管机构应努力对数字货币交易所形成统一监管。[2018/2/14]

通过分析具体的内部调用流程我们可以发现，攻击者在Router合约调用AAA合约的transferFrom函数将AAA代币转入Pair合约的过程中，同时调用了一次Pair合约的swap函数(即在transferFrom函数实现了正常转账与swap调用的逻辑)。然后再通过项目设计预期的cheapSwap再进行一次正常的代币兑换操作。

通过以上分析我们可以知道攻击者在一次代币兑换过程中分别通过调用swap函数与cheapSwap函数进行两次代币兑换操作，最终收到了额外的BUSD代币。那么既然是进行兑换操作，理论上每次兑换操作都将导致K值的变化，最终使得用户无法获得预期的代币。

但通过分析ImpossiblePair的swap函数与cheapSwap函数的具体逻辑，我们发现一个惊人的情况：在swap函数中进行了K值检查，而在cheapSwap函数却未进行K值检查而直接进行了update操作。这就导致了攻击者进行了多次兑换操作获得了额外的BUSD。

攻击流程

1、攻击者先通过PancakeSwap闪电贷借出WBNB，并将WBNB兑换成IF代币。

2、创建恶意的代币合约AAA(BBB)，并在Impossible中添加了AAA代币与IF代币流动性。

3、通过AAA->IF->BUSD路径进行AAA代币到BUSD代币的兑换，并在AAA代币转入Pair合约兑换成IF代币的过程中进行了一次IF代币与BUSD的兑换操作，随后再进行正常的cheapSwap操作。最终获得了额外的BUSD代币。

4、之后重复以上操作进行获利。

总结

本次攻击的核心在于cheapSwap函数中未进行K值检查，导致攻击者可以通过在一次兑换过程中进行多次兑换操作以获得额外的代币。慢雾安全团队建议DeFi协议在参考其他项目的基础上进行创新的过程中应该充分的对其新的模型进行检查验证以避免此类安全事故的发生。

参考交易：

https://bscscan.com/tx/0x0220704a99ddfb982d26e65cc337f26b77dc057930b7aa1d848cc48ec77984a8

标签：SWAPAAA比特币加密货币FenixSwap TokenAAA币玩比特币的都是什么人群啊加密货币有哪几种形态

USDC热门资讯