被空手套白狼，损失近2100万美元——跨链收益率平台Popsicle遭遇了什么？

慢雾科技 view 13752 2021-8-5 09:21

2021 年 08 月 04 日，据慢雾区消息，跨链收益率平台 Popsicle Finance 的 Sorbetto Fragola 产品遭受黑客攻击，慢雾安全团队第一时间介入分析，并将结果分享如下。

攻击背景

在本次攻击中，攻击者通过创建 3 个攻击合约来完成对 Sorbetto Fragola 的攻击，以下是本次攻击涉及的具体地址：

攻击者：

H1：0x3A9D90eD069021057d9d11E78F142F2C4267934A

H2：0xf9E3D08196F76f5078882d98941b71C0884BEa52

攻击合约：

C1：0xdFb6faB7f4bc9512d5620e679E90D1C91C4EAdE6

C2：0x576cf5f8ba98e1643a2c93103881d8356c3550cf

C3：0xd282f740bb0ff5d9e0a861df024fcbd3c0bd0dc8

Sorbetto Fragola：

0xc4ff55a4329f84f9Bf0F5619998aB570481EBB48

攻击对象

通过官方的介绍我们可以知道被攻击的 Sorbetto Fragola 产品主要是用于帮助用户管理 Uniswap V3 头寸，以避免用户在 Uniswap V3 做市的头寸超出所选定的价格范围。用户可以在 Sorbetto Fragola 中存入提供流动性对应的两种代币，Sorbetto Fragola 会给到用户 Popsicle LP (PLP) 凭证，用户使用此凭证可以获取奖励并取回抵押的流动性资金，同时此凭证也是可以随意转移给其他用户的。

攻击核心

此次攻击的核心在于，Sorbetto Fragola 中通过用户持有的 PLP 凭证数量来参与计算用户所能获得的奖励，但 PLP 凭证是可以随意转移给其他用户的，但其凭证转移的过程中没有进行奖励结算转移等操作。这就导致了只要持有 PLP 凭证就可以立即获取奖励。最终造成同个 PLP 凭证却能在同个时间节点给多个持有者带来收益。接下来我们对整个攻击细节进行详细分析。

攻击细节

攻击首先通过 H1 地址创建了攻击合约 C1、C2 与 C3，随后攻击者通过 H2 地址调用了攻击合约 C1 开始进行具体的攻击，交易为：

0xcd7dae143a4c0223349c16237ce4cd7696b1638d116a72755231ede872ab70fc。

通过分析此交易我们可以发现，其先从 AAVE 中利用闪电贷借出了 30,000,000 个 USDT、13,000 个 WETH、1,400 个 WBTC、30,000,000 个 USDC、3,000,000 个 DAI、200,000 个 UNI，为后续在 Sorbetto Fragola 中提供流动性获得 PLP 凭证做准备。

被空手套白狼，损失近2100万美元——跨链收益率平台Popsicle遭遇了什么？

随后攻击者调用 Sorbetto Fragola 合约的 deposit 函数存入提供流动性对应的两种代币 (这里以攻击者首次存入的 WETH 与 USDT 代币为例)，其会先通过 checkDeviation 与 updateVault 修饰器分别检查价格与更新奖励。价格检查主要是针对价格是否出现大波动被操控等情况，这里不做展开。而奖励更新就与本次攻击密切相关了，我们切入分析：

被空手套白狼，损失近2100万美元——跨链收益率平台Popsicle遭遇了什么？

可以看到其调用了 _updateFeesReward 函数进行具体的更新操作，我们跟进此函数：

被空手套白狼，损失近2100万美元——跨链收益率平台Popsicle遭遇了什么？

从上图我们可以很容易的发现其先通过 positionLiquidity 函数获取 tickLower 与 tickUpper 范围内合约所持有的流动性数量。然后通过 _earnFees 函数从 Uniswap V3 Pool 中收取提供流动性奖励。之后再通过 _tokenPerShare 函数计算每个 PLP 凭证所能分得的流动性奖励。最后通过 _fee0Earned 与 _fee1Earned 函数来计算用户所持有的 PLP 凭证数量可以获得多少奖励，并使用

user.token0Rewards 与 user.token1Rewards 变量进行记录，如下图所示：

被空手套白狼，损失近2100万美元——跨链收益率平台Popsicle遭遇了什么？

但由于此时攻击者刚进行充值操作，还未获得 PLP 凭证，因此其 user.token0Rewards 与 user.token1Rewards 变量最终记录的自然是 0。

看到这里你可能已经意识到问题所在了，既然 user.token0Rewards 与 user.token1Rewards 变量记录的奖励是根据用户持有的 PLP 凭证进行计算的，且 PLP 凭证是可以转移的，那么是否只要持有 PLP 凭证再去触发此变量记录奖励就可以让我们获得奖励。答案自然是肯定的。我们继续看 deposit 函数：

被空手套白狼，损失近2100万美元——跨链收益率平台Popsicle遭遇了什么？

在奖励更新之后通过 liquidityForAmounts 函数计算出在目标价格区间内用户提供资金所占的流动性然后调用 Uniswap V3 Pool mint 函数注入流动性。随后通过 _calcShare 计算出 Sorbetto Fragola 所需要铸造给用户的 PLP 凭证数量。

在攻击者获得 PLP 凭着后也正如我们所想的那样将 PLP 凭证转移给其他地址，并调用 Sorbetto Fragola 合约 collectFees 函数来进行奖励记录。

被空手套白狼，损失近2100万美元——跨链收益率平台Popsicle遭遇了什么？

通过上图的 PLP 凭证链上转移记录我们可以看到，在攻击合约 C1 获得 PLP 凭证后，将其转移给了攻击合约 C2，随后调用了 collectFees 函数。之后攻击合约 C2 再将 PLP 凭证转移给攻击合约 C3 再次调用了 collectFees。最后攻击合约 C3 将 PLP 凭证转移回攻击合约 C1。我们切入 collectFees 函数进行分析：

被空手套白狼，损失近2100万美元——跨链收益率平台Popsicle遭遇了什么？

通过上图我们可以很容易的看出此函数也有 updateVault 修饰器，而经过上面的分析我们可以知道 updateVault 修饰器用于奖励更新，因此在攻击合约 C2 持有 PLP 凭证的情况下调用 collectFees 函数触发 updateVault 修饰器则会根据其持有的 PLP 凭证数量来计算应分得的奖励，并记入用户的 token0Rewards 与 token1Rewards 变量。需要注意的是此时对于此类 PLP 凭证持有者缓存的 tokenPerSharePaid 变量是 0，这直接导致了用户可以获得 PLP 凭证持有奖励。

被空手套白狼，损失近2100万美元——跨链收益率平台Popsicle遭遇了什么？

我们从链上状态的变化也可以看出：

被空手套白狼，损失近2100万美元——跨链收益率平台Popsicle遭遇了什么？

随后攻击合约 C2 也如法炮制即可获得奖励记录。

最后 PLP 凭证转移回到攻击合约 C1，并调用了 Sorbetto Fragola 合约的 withdraw 函数燃烧掉 PLP 凭证取回先前存入的 WETH 与 USDT 流动性。并且攻击合约 C2、C3 分别调用 collectFees 函数传入所要领取的奖励数量以领取奖励。这样攻击者在同个区块中不仅拿回了存入的流动性还额外获得多份流动性提供奖励。

被空手套白狼，损失近2100万美元——跨链收益率平台Popsicle遭遇了什么？