比特币:我竟了我自己？—— BurgerSwap 被黑分析

By：慢雾安全团队

据慢雾区消息，2021年05月28日，币安智能链(BSC)DeFi项目BurgerSwap被黑，损失达330万美元。慢雾安全团队第一时间介入分析，并将结果分享如下：

攻击细节分析

BurgerSwap是一个仿UniswapAMM项目，但是和Uniswap架构有所区别。BurgerSwap架构总体分成。其中Delegate层管理了所有的Pair的信息，并负责创建lpPlatForm层。然后lpPlatForm层再往下创建对应的Pair合约。在整个架构中，lpPlatForm层充当了Uniswap中Router的角色，负责将计算交易数据和要兑换的代币转发到Pair合约中，完成兑换。

本次事件的根本正是出在这种架构的问题上。通过一步步分析攻击者的交易行为，我们来还原整个攻击过程的核心：

Ordinals推出后比特币平均区块大小升至3.0-3.5 MB，与该协议发布前相比几乎翻倍:金色财经报道，据Glassnode 数据显示，自 Ordinals 推出以来，比特币的平均区块大小上限显着增加，几周内从 1.5-2.0 MB 增加到 3.0-3.5 MB。这种增加不仅与图像相关，而且与更大的文件（如音频和视频）开始存储为 Ordinals 相关。值得注意的是，2 月 1 日 Taproot Wizards 系列铸造第一件 NFT 作品 Inscription 652 创下了比特币历史上最大区块和交易的新纪录，大小达到 4 MB。Glassnode 表明，虽然 Ordinal 网络对比特币交易哈希大小和成本产生了重大影响，交易的平均大小增加了 100% 以上，从 600 字节增加到 1100 字节。另据Dune Analytics最新数据显示，当前 Ordinals 协议在比特币网络上的 NFT 铸造数量已接近 15 万枚（142,735枚）。（cryptoslate）[2023/2/19 12:15:55]

本次攻击开始于Pancake的闪电贷，攻击者从Pancake中借出了大量的WBNB，然后将这些WBNB通过BurgerSwap兑换成Burger代币。在完成以上的操作后，攻击者使用自己控制的代币(攻击合约本身)和Burger代币通过Delegate层创建了一个交易对并添加流动性，为后续攻击做准备。

Osprey创始人：OBTC的比特币由Coinbase Custody持有:金色财经报道，加密资产管理公司Osprey创始人兼首席执行官Greg King在社交媒体上表示，Osprey Bitcoin Trust (OBTC) 的比特币由Coinbase Custody持有，King并公布了该钱包地址，据悉，Osprey信托的管理资产 (AUM) 约为 4600 万美元。[2022/11/22 7:54:10]

在完成代币的创建和准备之后，攻击者立马通过PaltForm层的swapExactTokensForTokens函数发起了兑换，兑换路径为

接下来进行了最关键的一次操作。

由于先前攻击者在创建交易对的时候使用的是自己控制的代币，在代币兑换过程中，_innerTransferFrom函数会调用攻击者控制的代币合约，于是攻击者可以_innerTransferFrom函数中重入swapExactTokensForTokens函数。为什么攻击者要这样做呢？

报告：多家上市加密矿企资产负债表流动性不佳:9月9日消息，Arcane Research发布报告称，由于比特币价格暴跌、增长困难和能源价格上涨的综合影响，比特币挖矿公司目前处境艰难。在其分析的8家上市矿企的速动比率（企业速动资产与流动负债的比率）中有6家自3月31日以来大幅下降，这表明多家上市加密矿企资产负债表流动性不佳。其中Marathon的跌幅最大，从3月31日的17.4降至3.1，而Stronghold速动比率现仅为0.3。仅Riot和CleanSpark是正增长，Riot从3月31日的2.1增至3.9。

报告称，虽然公开的比特币矿企处境艰难，被迫出售大量比特币，但迄今为止还没有一家破产。 上市矿企能够目前安然无恙的主要原因是，他们在今年夏初持有大量现金和比特币。整个夏天，这些公司都在抛售比特币，用部分现金储备支付矿工运输和其他费用。[2022/9/9 13:19:19]

通过对PlatForm层的swapExactTokensForTokens函数进行代码分析，我们不难发现，合约在调用_innerTransferFrom函数时首先计算了用户的兑换数据，然后在_innerTransferFrom函数的操作后使用预先计算的数据来转发到底层进行真正的代币兑换。从这个函数层面来看，就算攻击者重入了swapExactTokensForTokens函数，底层调用的swap函数也是独立的，咋一看并没有什么问题，但是链上的一个行为引起了慢雾安全团队的注意：

安全团队：P2E视频游戏Haunted Space的Discord服务器遭入侵:7月1日消息，据CertiK预警显示，P2E视频游戏Haunted Space的Discord服务器已被黑客入侵，黑客已锁定所有聊天频道并发布网络钓鱼链接，提醒用户请勿点击。[2022/7/1 1:44:33]

我们惊讶地发现，在重入的兑换过程中，兑换的数量竟然没有因为滑点的关系而导致兑换数量的减少。这究竟是什么原因呢？看来关键是底层的Pair合约的问题了。我们又进一步分析了底层调用的Pair合约，代码如下：

通过分析Pair的代码，我们再次惊讶地发现在swap的过程中，合约竟然没有在兑换后根据恒定乘积公式检查兑换后的数值！！也就是说，Pair合约完全依赖了PlatForm层的数据进行兑换，导致了本次事件的发生。由于Pair层本身并不做恒定乘积的检查，在重入的过程中，PlatForm层的兑换数据预先进行了计算，在_innerTransferFrom函数完成后，Pair的更新数据也没有反映到PlatForm层中，导致重入交易中的兑换产生的滑点并不影响下一次的兑换，从而造成了损失。用图来看的话大概如下：

当前加密货币总市值为1.3万亿美元:金色财经报道，据CoinGecko数据显示，当前加密货币市值为1.3万亿美元，24小时增长1.3%，24小时交易量为427亿美元。当前比特币市值占比为44.2%，以太坊市值占比为17%。[2022/6/6 4:04:03]

总结

本次攻击属于BurgerSwap架构上的问题，由于Pair层完全信任PaltForm层的数据，并没有自己再做一次检查，导致攻击的发生。最近DeFi安全事件频发，针对越来越密集的DApp攻击事件，慢雾安全团队建议DApp开发者在移植其他协议的代码时，需充分了解移植协议的架构，并充分考虑移植协议和自身项目的兼容性，且需通过专业安全审计机构的审计后才上线，防止资金损失情况的发生。

攻击交易参考：

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

往期回顾

代币闪崩，差点归零-PancakeBunny被黑简析

慢雾科技xFireEye，赋能区块链安全

慢雾科技与虎符智能链HSC达成战略合作

CoinEx入驻慢雾区，发布「安全漏洞与威胁情报赏金计划」

开心做聚合，无奈被攻击——Rari被黑事故分析

慢雾导航

慢雾科技官网

https://www.slowmist.com/

慢雾区官网

https://slowmist.io/

慢雾GitHub

https://github.com/slowmist

Telegram

https://t.me/slowmistteam

Twitter

https://twitter.com/@slowmist_team

Medium

https://medium.com/@slowmist

币乎

https://bihu.com/people/586104

知识星球

https://t.zsxq.com/Q3zNvvF

火星号

http://t.cn/AiRkv4Gz

链闻号

https://www.chainnews.com/u/958260692213.htm

免责声明：作为区块链信息平台，本站所发布文章仅代表作者个人观点，与链闻ChainNews立场无关。文章内的信息、意见等均仅供参考，并非作为或被视为实际投资建议。

本文来源于非小号媒体平台：

慢雾科技

现已在非小号资讯平台发布68篇作品，

非小号开放平台欢迎币圈作者入驻

入驻指南：

/apply_guide/

本文网址：

/news/10021896.html

免责声明：

1.资讯内容不构成投资建议，投资者应独立决策并自行承担风险

2.本文版权归属原作所有，仅代表作者本人观点，不代表非小号的观点或立场

上一篇：

1700是以太坊主要的压力位、短期可以突破吗？

标签：比特币SWAPFORHTT比特币从开始到现在的走势图YodeSwapWrapped AmpleforthCHTT

MATIC热门资讯