5月20日，CertiK安全技术团队发现币安智能链DeFi收益聚合器PancakeBunny遭到闪电贷攻击，发生代币闪崩事件。
此次事件共损失114,631枚BNB和697,245枚BUNNY，按当时价格计算约合约4200万美元。?
经CertiK安全团队调查得出，由于该协议是使用PancakeSwapAMM来进行资产价格计算的，因此黑客恶意利用了闪电贷来操纵AMM池的价格，并利用Bunny在铸造代币的时候计算上的问题成功完成攻击。
攻击是如何发生的？
本次攻击，攻击者总共进行了8笔闪电贷。其中7笔闪电贷来自PancakeSwap流动性池的BNB，另外一笔则来自ForTubeBank的USDT。
技术细节分析
在文中，CertiK安全专家添加了地址标签，使代币的流向更加清晰。
LBank蓝贝壳于5月3日20:00首发 CSPR(Casper)，开放USDT交易:据官方公告，5月3日20:00，LBank蓝贝壳上线 CSPR(Casper)，开放USDT交易，同时并开放充值，资料显示，Casper网络是基于CasperCBC规范构建的第一个实时权益证明区块链。Casper旨在加速当今企业和开发人员对区块链技术的采用，同时确保随着网络参与者需求的发展，其在未来仍能保持高性能。[2021/5/3 21:19:51]
攻击者的地址：https://bscscan.com/address/0xa0acc61547f6bd066f7c9663c17a312b6ad7e187
攻击者使用的合约地址：https://bscscan.com/address/0xcc598232a75fb1b361510bce4ca39d7bc39cf498
交易一：?
https://bscscan.com/tx/0x88fcffc3256faac76cde4bbd0df6ea3603b1438a5a0409b2e2b91e7c2ba3371a
在第一笔交易中，攻击者完成了两件事：
①将BNB转换成"USDT-BNBFLIP"。
②将"USDT-BNBFLIP"存入BUNNY的池子。
攻击者将FLIP存入资金池，这样当其在后期调用VaultFlipToFlip合约中的Withdraw()或getReward()函数时，资金池将铸造BUNNY代币。
首发 | 嘉楠耘智宣布与Northern Data在AI、区块链等高性能计算领域达成战略合作:据官方消息，2020年2月17日，嘉楠耘智宣布与区块链解决方案及数据中心服务提供商Northern Data AG达成战略合作。本次合作的内容涵盖AI、区块链及数据中心运维等高性能计算领域。
嘉楠耘智拥有丰富的高性能计算专用ASIC芯片研发经验。Northern Data AG则专注于区块链和数据中心等高性能计算基础设施的建设。通过本次战略合作，双方将在AI、区块链等新兴领域进一步释放增长潜能。[2020/2/19]
①"Zap"所做的是将所提供的代币的一半换成一对中的另一个代币，并将两个代币提供给相应的PancakeSwap池。这也可以通过BUNNY的Dapp前端来完成。
②将USDT-BNBFLIP存入池中。
首发 | 此前18000枚BTC转账是交易所Bithumb内部整理:北京链安链上监测系统发现，北京时间10月24日，17:07分发生了一笔18000枚BTC的转账，经分析，这实际上是交易所Bithumb的内部整理工作，将大量100到200枚BTC为单位的UTXO打包成了18笔1000枚BTC的UTXO后转入其内部地址。通常，对各种“面值”的UTXO进行整数级别的整理，属于交易所的规律性操作。[2019/10/24]
交易二：?
https://bscscan.com/tx/0x897c2de73dd55d7701e1b69ffb3a17b0f4801ced88b0c75fe1551c5fcce6a979
在完成第一笔交易将"USDT-BNBFLIP"存入BUNNY资金池之后，攻击者进行了第二笔交易，这也是大多数人最关注的交易。
接下来把第二笔交易中的发生的所有代币的转移分解成多个部分：
①攻击者从7个不同的PancakeSwap流动性池中利用闪电贷共借了232万BNB，从ForTube用闪电贷款借了296万USDT。
然后攻击者向"USDT-BNB''池提供了7700枚BNB和296万USDT的流动性，获得了14.4万LP代币。
首发 | DVP: Bitstamp交易所存在漏洞 可导致大量KYC等信息被泄露:金色财经讯，近日，DVP收到安全人员提交的全球知名交易所Bitstamp的漏洞，攻击者可以利用该漏洞查看大量用户ID、银行卡等敏感信息，严重威胁用户信息安全。为避免发生KYC泄露的恶性事件，DVP安全团队在收到该漏洞后，第一时间通知该平台进行修复，但未收到回应。DVP提醒相关用户关注个人信息安全，以免造成损失。[2019/8/13]
②攻击者将从闪电贷中获得的232万BNB在PancakeSwapV1池中换取了383万USDT。
由于V1池的BNB和USDT储备远少于V2池，V1池的价格更容易被操纵，在将BNB换成USDT后，BNB价格急剧下降。
③上文提到攻击者在"交易一?"中把"USDT-BNBFLIP"存到BUNNY池，现在攻击者可以调用"getReward()"函数来铸造BUNNY。
在调用"VaultFlipToFlip"合约中的"getReward()"函数时产生了大量代币转移记录，如截图所示。
首发 | 蚂蚁矿机S17真机图首次曝光 采用双筒风扇及一体机设计 ?:继正式宣布在4月9日现货销售后，比特大陆即将发布的新品蚂蚁矿机S17又有了新动态。据悉，蚂蚁矿机S17真机图今天在网上首次曝光。
从曝光的图片来看，蚂蚁矿机S17延续上一代产品S15的双筒风扇设计，且采用一体机的机身设计。有业内人士认为，采用双筒设计可有效缩短风程，矿机出入风口的温差变小，机器性能将得到很大改善。
此前比特大陆产品负责人在接受媒体采访时表示，新品S17较上一代产品相比，无论是在能效比还是单位体积的算力等方面，均有较大提升。[2019/4/3]
上图中这个函数发生的细节如下：
?BUNNYMinterV2从USDT-BNBv2池中取出流动性——从池中取出296万USDT和7744枚BNB。
?将USDT换成BNB。在ZapBSC合约中使用的是V1PancakeSwapRouter而不是V2。
由于V1池的价格已经被操纵，攻击者能够将296万USDT换成231万BNB。
然后，一半的BNB被换成BUNNY，另一半的BNB和换来的BUNNY被添加到BNB-BUNNY池中。
现在，大量的BNB被加入到BNB-BUNNY池中，这增加了BNB(reserve0)的数量。
当之后计算要铸造的BUNNY数量时，这将被用来操纵"valueInBNB"变量。
ZapBSC合约地址https://bscscan.com/address/0xf4c17e321a8c566d21cf8a9f090ef38f727913d5#code
?把标记?中移除流动性获得的7700BNB交换一半到BUNNY，并将另一半BNB与BUNNY配对，以提供"BNB-BUNNY"池中的流动性。
注意标记?、?和?发生在"BUNNYMinterV2"合约的"mintForV2"函数中的"_zapAssetsToBUNNYBNB"函数调用。
BunnyMinterV2合约地址：https://bscscan.com/address/0x819eea71d3f93bb604816f1797d4828c90219b5d#code
?从标记?和?产生的所有LP代币都被送到PancakeSwap的BUNNY池中，这是BunnyMinterV2合约中"mintForV2"函数中的这行代码所执行的结果：
"IBEP20(BUNNY_BNB).safeTransfer(BUNNY_POOL,bunnyBNBAmount);"?
如标记?所示，该合约继续执行，铸造了700万的BUNNY。
那么，是什么原因导致合约铸造了这么多的BUNNY?呢？
在bunnyMinterV2合约中，要铸造的BUNNY数量与"valueInBNB"变量有关，该变量是通过`priceCalculator.valueOfAsset(BUNNY_BNB,bunnyBNBAmount)`函数计算得出的。
在函数`valueOfAsset`中，valueInBNB的计算方法是：`valueInBNB=amount.mul(reserve0).mul(2).div(IPancakePair(asset).totalSupply())`
因为在BNB-BUNNY池中有大量的BNB，变量"reserve0"是一个非常大的值，使"valueInBNB"变得很大，所以它最终会增加铸造的BUNNY数量。
④在收到700万的BUNNY后，攻击者在PancakeSwapBNB-BUNNYV1池和V2池中将BUNNY换成BNB。
⑤最后，攻击者向ForTube和PancakeSwap的7个流动性池偿还闪电贷，并将69.7万枚BUNNY和11.4万枚BNB转移到攻击者的地址。
这种攻击奏效的原因之一是"ZapBSC"合约使用PancakeSwapV1流动性池，通过V1PancakeSwapRouter进行代币交换。
很多DeFi项目无法从PancakeSwapV1过渡到V2，因为它们在合约中把PancakeSwapRouter和池子的地址写死为V1的地址。
由于V1流动性池已经被放弃，它们的池子中代币的储备量很低，这使得攻击者更容易操纵其中的代币价格。
写在最后
当前的加密世界中，这样的闪电贷攻击和恶意价格操纵必然不会是最后一次。
CertiK建议DeFi项目将其PancakeSwap集成从V1迁移到V2。
同时也可使用时间加权平均价格来避免价格异常波动所带来的损失，以此防范黑客利用闪电贷攻击价格预言机。
迄今为止，CertiK已进行了超过700次的审计，保护了超过300亿美元的数字资产与软件系统免受安全损失。
欢迎搜索点击CertiK公众号底部对话框，留言免费获取咨询及报价！
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。