背景

Blast是由Blur的创始人Pacman(Tieshun Roquerre、aka.铁顺)推出的Ethereum Layer2网络，在2月29日启动主网，目前约有19500 ETH和640000 stETH质押在Blast主网。

被攻击的项目Munchables是Blast举办的Bigbang竞赛胜出的优质项目。

Blast官方对质押ETH在Blast主网的用户会发放普通积分：

为了鼓励用户参与Blast生态上的DeFi项目，Blast官方会挑选出优质项目进行推荐，并鼓励用户将ETH二次质押到DeFi里，可以获得更快的积分增加速度以及黄金积分，因此有相当多的用户将质押在Blast主网的ETH质押到了新创建的DeFi项目。

而这些DeFi项目的成熟度、安全性还有待考察，这些合约是否具有足够的安全考虑来保管用户的数千万、甚至上亿美元。

事件概述

Blast主网上线不到一个月，在2024年3月21日就发生了针对SSS Token（Super Sushi Samurai）的攻击，Token合约中存在一个转账逻辑错误，导致攻击者可以凭空增加指定账户的SSS Token余额，最终项目损失了超过1310 ETH（约460万美元）。

而在SSS Token攻击事件过去不到一周的时间，Blast上又发生了一起更大的攻击事件，Munchables项目被攻击者一把卷走了17413.96 ETH，共约6250万美元。

在这笔攻击交易发生的半小时后，项目方合约里的73.49 WETH也被黑客盗取到的另外一个地址。

此时项目方的合约地址上，还存着7276个WETH、7758267个USDB、4个ETH，随时会落入黑客手里，而黑客拥有拿走整个项目的所有资金的权限，共计约9700万美元暴露于风险之中。

在事件后发生的第一时间，X（Twitter）的知名链上侦探zachXBT指出本次攻击的根本原因是由于雇佣了某国黑客所致。

让我们深入看看，“某国黑客”是如何完成一次接近一亿美元的攻击。

现场还原

受害者发声

[UTC+0]2024年3月26日21点37分（攻击发生5分钟后），Munchables官方在X（Twitter）发文表示遭到攻击。

按链上侦探ZachXBT的调查，是因为他们有一位开发者是“某国黑客”，aavegotchi的创始人coderdannn也在X（Twitter）上表示：“Aavegotchi的开发团队Pixelcraft Studios在2022时曾短期雇用过Munchables攻击者来进行一些游戏开发工作，他技术很糙，感觉确实像一名某国黑客，我们在一个月内解雇了他。他还试图让我们雇用他的一位朋友，那个人很可能也是一名黑客。”

由于这次攻击让社区的用户损失巨大，我们立即启动了链上调查，让我们深入看看这个“某国黑客”的攻击细节。

第一现场

[UTC+0]2024年3月26日21点32分，涉及17413.96 ETH的攻击发生了。

通过Blastscan我们可以看到这笔攻击交易：https://blastscan.io/tx/0x9a7e4d16ed15b0367b8ad677eaf1db6a2a54663610696d69e1b4aa1a08f55c95

受损合约（0x29..1F）是一个代理合约，存放了用户质押的资金，我们可以看到，攻击者调用了质押合约的unlock函数，并通过了所有的权限校验，转走了合约中所有的ETH到攻击者地址1（0x6E..c5）。

看上去攻击者调用了一个类似withdraw行为的unlock函数，取走了受损合约（0x29..1F）上大部分ETH。

是项目方的金库忘了上锁吗？

受损合约（0x29..1F）中的unlock存在两个相关校验，我们一个一个来看。

首先，我们发现在校验权限的流程中，调用了合约（0x16..A0）的isRegistered方法来查看当前的msg.sender，也即是黑客地址1（0x6E..c5）是否已经被注册过：

答案是：通过了验证。

这里涉及到了合约（0x16..A0）以及其对应的最新的逻辑合约（0xe7..f1）

[UTC+0]2024年3月24日08点39分（攻击发生的2天前），合约（0x16..A0）对应的逻辑合约被升级了。

逻辑合约升级交易：

https://blastscan.io/tx/0x9c431e09a80d2942319853ccfdaae24c5de23cedfcef0022815fdae42a7e2ab6

逻辑合约被更新至0xe7..f1。

最初的逻辑合约地址在这里能看到，为0x9e..CD。

https://blastscan.io/tx/0x7ad050d84c89833aa1398fb8e5d179ddfae6d48e8ce964f6d5b71484cc06d003

此时，我们怀疑黑客是更新代理合约的逻辑实现合约，将为0x9e..CD变成恶意的0xe7..f1，完成了验证权限的绕过。

真的是这样吗？

在Web3.0从来不需要猜测和听信别人，你只需要掌握技术就能自己得到答案。

我们通过对比两份合约（未开源合约），最初的0x9e..CD合约与更新后0xe7..f1存在一些明显的区别:

0xe7..f1的initialize函数部分实现如下：

0x9e..CD的initialize函数部分实现如下：

可以看到，攻击者在最初的逻辑合约（0x9e..CD）中，将攻击者地址（0x6e..c5）设置为register，同时还有其他两个攻击者地址0xc5..0d、0xbf..87也被register了，并且它们的field0被设置为初始化时的区块时间，field0后面会解释用处。

实际上，和我们猜测的恰好相反，真正的藏有后门的逻辑合约，反而是最初就存在，而后面更新的反而是正常的！

等等，这个更新出现在[UTC+0]2024年3月24日08点39分（攻击发生的2天前），也就是在这个事件之前，逻辑合约已经变成没有后门的合约了，为什么后面攻击者还可以完成攻击？

这是因为delegatecall的原因，所以实际的状态存储更新是在合约（0x16..A0）中，这也就导致了即使之后逻辑合约被更新至没有后门的逻辑合约0xe7..f1，合约（0x16..A0）中被更改的slot依然不会恢复。

我们来验证一下：

可以看到，合约（0x16.....A0）中对应的slot是有数值的。

这使得攻击者能够通过isRegistered方法的校验：

攻击者之后再将后门合约更换为正常合约掩人耳目，其实此时后门早已种下。

另外，在unlock的流程中，还涉及到第二个校验：

对于lock时间的检查，这一部分是保证锁定的资产不会在未到期就被转走。

攻击者需要保证当unlock被调用时的区块时间大于要求的锁定过期时间(field3)。

这一部分校验就涉及到受损合约(0x29..1F)以及对应的逻辑合约0xf5..cd。

在[UTC+0]2024年3月21日11点54分（攻击发生的5天前）的交易中，

https://blastscan.io/tx/0x3d08f2fcfe51cf5758f4e9ba057c51543b0ff386ba53e0b4f267850871b88170

我们可以看到受损合约(0x29..1F)合约最初的逻辑合约是0x91..11，而在仅仅四分钟后，就在

https://blastscan.io/tx/0xea1d9c0d8de4280b538b6fe6dbc3636602075184651dfeb837cb03f8a19ffc4f

被升级为了0xf5..cd。

我们同样来对比两份合约，可以发现攻击者和之前一样，也在initialize函数做了手脚，

0xf5..cd的initialize函数部分实现：

0x91..11的initialize函数部分实现：

可以看到，很明显的，又是运用了同样的手法，将自己持有的ETH数量&解锁时间都进行了篡改，之后再替换回正常合约掩人耳目，当项目方和安全研究人员在Debug的时候，看到的逻辑合约全是正常的，而且由于合约均为未开源合约，更难以看清问题的核心。

至此，我们了解了这笔涉及17413 ETH的交易，攻击者是如何做到的，但是这个事件背后的信息，只有这么多吗？

我们上面的分析中，其实看到黑客在合约内部内置了3个地址：

0x6e..c5（攻击者地址1）

0xc5..0d（攻击者地址2）

0xbf..87（攻击者地址3）

而我们上面发现的攻击交易中只看到0x6e..c5，其他两个地址都做了什么？而且里面的address(0)、_dodoApproveAddress、_uniswapV3Factorty到底还隐藏着什么秘密？

第二现场

我们先来看看攻击者地址3（0xbf..87），通过同样的手法盗取了73.49 WETH：

https://blastscan.io/tx/0xfc7bfbc38662b659bf6af032bf20ef224de0ef20a4fd8418db87f78f9370f233

并且攻击gas的来源地址（0x97..de），同时给0xc5..0d（攻击者地址2）和0xbf..87（攻击者地址3）都提供了手续费。

而攻击gas来源地址（0x97..de）的0.1 ETH的资金源头来自owlto.finance（跨链桥）。

0xc5..0d（攻击者地址2）收到手续费后，并未进行任何攻击，但它其实肩负了一个隐藏的计划，我们继续看下去。

实际上，根据官方的事后救援交易，原来受损合约(0x29..1F)地址上并不止73.49枚weth，直到攻击结束，也仍有7276.5 WETH & 7758267 USDB。

救援交易：

https://blastscan.io/tx/0x1969f10af9d0d8f80ee3e3c88d358a6f668a7bf4da6e598e5be7a3407dc6d5bb

原本攻击者是打算盗取这些资产的，可以看到0xc5..0d（攻击者地址2）这个地址原本是用来偷取USDB的。

这里的_dodoApproveAddress为0x0000000000000000000000004300000000000000000000000000000000000003

为usdb的address

0xbf..87（攻击者地址3）这个地址是用来偷取weth的：

这里的_uniswapV3Factory为0x0000000000000000000000004300000000000000000000000000000000000004

为weth的address

而0x6e..c5（攻击者地址1）负责盗取的是address(0)，即是原生资产ETH。

攻击者通过设置field0，即可通过如下逻辑对对应资产进行盗取：

问题

为什么攻击者没有盗走所有资产？

理论上他可以盗取所有的资产，即剩下的WETH和USDB。

0xbf..87（攻击者地址3）只盗取了73.49 WETH，0xbf..87（攻击者地址3）其实完全可以把所有的7350 WETH拿走，也可以借助0xc5..0d（攻击者地址2）把7758267 USDB全部拿走，为什么只拿了一点点WETH就停下来了，我们不得而知，可能需要知名链上侦探深入内部的调查了。

https://blastscan.io/tx/0xfc7bfbc38662b659bf6af032bf20ef224de0ef20a4fd8418db87f78f9370f233