建议用作凭证代币的合约地址需要填加白名单功能，以免被恶意操控。

撰文：Beosin

2023 年 8 月 18 日，据 Beosin-Eagle Eye 态势感知平台消息，Optimistic 链的DeFi 借贷协议Exactly Protocol 遭受黑客攻击，黑客获利超 700 万美元。

攻击发生之后，Exactly Protocol 在社交媒体上表示，正在尝试与攻击者沟通，以归还被盗资产，已向警方提交报告。

三天之后的 8 月 21 日，Exactly Protocol 发文表示协议现已解除，用户可以执行所有操作，也没有发生任何清算。为了明确起见，黑客攻击只影响到使用外围合约（DebtManager）的用户。没有使用该合约的用户没有任何损失，协议仍在正常运行。 

Beosin 安全团队第一时间对本次事件进行了分析，结果如下。

事件相关信息

●攻击交易

0x3d6367de5c191204b44b8a5cf975f257472087a9aadc59b5d744ffdef33a520e

0x1526acfb7062090bd5fed1b3821d1691c87f6c4fb294f56b5b921f0edf0cfad6

0xe8999fb57684856d637504f1f0082b69a3f7b34dd4e7597bea376c9466813585

●攻击者地址

0x3747dbbcb5c07786a4c59883e473a2e38f571af9

●攻击合约

0x6dd61c69415c8ecab3fefd80d079435ead1a5b4d

0x995a24c99ea2fd6c87421d516216d9bdc7fa72b4

●被攻击合约

0x16748cb753a68329ca2117a7647aa590317ebf41

漏洞分析

漏洞合约中的多个 Market 地址参数可被操控。攻击者通过传入恶意的 Market 合约地址，成功绕过 permit 检查，执行了恶意的 deposit 函数，窃取了用户的抵押品 USDC 并清算用户资产，最终实现了攻击者的盈利目的。

攻击流程

我们以 0x3d6367…这笔交易为例

攻击准备阶段:

1.攻击者创建了多个恶意 Market 合约

攻击阶段

1.攻击者调用漏洞合约的 leverage 函数（杠杠函数）传入伪造的 market 合约地址，由于 market 地址未校验合法性，permit 检查被绕过并将_msgSender 更改为受害者地址，这里为步骤 3 窃取受害者资产做了准备。

2.leverage 函数会继续调用恶意 market 合约中的 deposit 函数，进而执行攻击者的恶意代码

3.deposit 函数中的恶意代码会先创建一个 V3 恶意 token/USDC 的池子，然后再重入进漏洞合约的 crossDeleverage 函数。由于 marketIn 和 marketOut 同样可控，导致 crossDeleverage 函数计算的 V3 池子最终为攻击者创建的 V3 池子。

4.此时由于_msgSender 已经修改为了受害者，crossDeleverage 函数进一步调用攻击者创建的 V3 池子的 swap 函数用作闪电贷，并在回调函数 uniswapV3callback 中将受害者的资金转入至 V3 池子中。

5.攻击者移除流动性将受害者资金从 V3 池子中窃取出来。

6.由于受害者抵押资金被转走，满足清算条件，攻击者进一步清算了受害者的头寸而获得了更多的收益。

资金追踪

截止发文时，被盗资金已通过 Optimism bridge 和 Across Protoco 跨链至以太坊。

总结

针对本次事件，Beosin 安全团队建议：

建议用作凭证代币的合约地址需要填加白名单功能，以免被恶意操控。目前，Beosin 已对 Optimism 链上多个项目诸如 DIPX 等进行过安全审计，因此 Beosin 建议项目上线前，选择专业的安全审计公司进行全面的安全审计，规避安全风险。