2021 年 5 月 8 日，据链闻消息，以太坊收益聚合协议 Rari Capital 因集成了 Alpha Finance 产生了漏洞，损失近 1500 万美元。事后，Rari Capital 官方发布了事故分析报告，分析了此次事故的主要原因。慢雾安全团队在官方分析的基础上，结合慢雾安全团队对此次事件的深入分析，进一步解读本次安全事故的原因。
本次攻击发生在 Rari Capital 的 RariManger 合约中，整个过程下来就是攻击者首先通过闪电贷从 dYdX 中借出巨量资金，然后不停的重复调用 RariManger 合约中的 deposit 和 withdraw 函数，完成获利。如下图：
LooksRare进行数据库维护，预计持续约6小时:11月8日消息，据官方消息，NFT 交易市场 LooksRare 在北京时间 18 时进行数据库维护，预计持续大约 6 小时[2022/11/8 12:34:03]
那么用户是如何通过 deposit 和 withdraw 这两个操作获利的呢？我们需要分析对应的函数：
利物浦：将NFT体育游戏开发商Sorare升级为官方全球合作伙伴:9月22日消息，利物浦足球俱乐部官方网站发布公告，这家英超豪门已扩大与 NFT 体育游戏开发商 Sorare 合作，将 Sorare 升级为红军的官方全球合作伙伴。利物浦足球俱乐部去年首次与 Sorare 联手，在 Sorare 的平台上推出了包括 Trent Alexander-Arnold 和 Virgil van Dijk 在内的一线球员数字球星卡，后续双方将在多媒体球迷内容方面进行深度合作。[2022/9/23 7:15:22]
以上是 deposit 函数的部分逻辑，首先 deposit 函数本身会调用内部的 _depositTo 函数，然后会再次调用 getFundBalance 函数来获取合约的余额。getFundBalance 函数最终是会调用到 Rari Controller 合约的 getBalance 函数去获取余额。最后是通过 Rari Controller 合约中的 AlphaPoolController 库的 getBalance 函数获取余额。如下图：
NFT市场LooksRare预计将于5月12日进入代币释放第3阶段:5月11日消息，NFT市场LooksRare宣布将于区块14757012开始（预计北京时间5月12日4:51）进入代币释放第3阶段，每个区块进入流通的总LOOKS将从每个区块的380个减少到150个LOOKS。这将影响质押奖励、交易量奖励（上架和交易奖励）以及团队和财务管理的LOOKS。
LooksRare财政部将增加额外的每日奖励，调整后第三阶段每日总奖励为：上架奖励20万LOOKS至6月11日，稍后进一步调整；交易奖励约为43.7万LOOKS；质押奖励约为23万LOOKS+100%的WETH平台费用。[2022/5/11 3:05:54]
拉脱维亚街头艺术家KIWIE将在Rarible发布NFT艺术品:拉脱维亚街头艺术家KIWIE计划在未来五年内在195个国家或地区发布1001个独家NFT和真实世界艺术品。首批独家NFT将在4月13日通过Rarible推出。此次发布之后，KIWIE计划在未来几个月内发行另外四个系列。（Cryptoslate）[2021/4/7 19:52:28]
流程上略微复杂，用图来展示大概就是下面这样：
从上面的分析不难发现，Rari 合约最终是用到了 Alpha Finance 项目的 ibETH 合约的 totalETH 函数获取合约的余额，目的是为了根据 totalETH 和 totalSupply 的比值计算出 Rari 合约真正的 ETH 余额。deposit 函数是根据用户的充值 ETH 的数量和比值计算要发放给用户的 REPT 数量，而 withdraw 函数的公式也大同小异，同样需要通过 getBalance 函数获取合约的 ETH 余额并计算比值，然后根据用户的 REPT 代币的余额和比值计算需要返还给用户的 ETH 的数量。但是问题恰恰出在这个获取 ETH 余额的公式上。
法国足球运动员姆巴佩NFT在Sorare平台以65000美元价格售出:著名法国足球运动员基利安·姆巴佩（Kylian Mbappé）的NFT在区块链足球平台Sorare上以65000美元价格售出。Sorare允许足球迷以NFT的形式收集和交易数字卡，以组成“梦之队”并与其他玩家对抗。（Decrypt）[2020/12/7 14:30:13]
根据官方描述，从 ibETH 合约获取的 totalETH 函数获取的值是可以被用户操控的。以下是官方原文：
根据官方的描述，用户可通过 ibETH 合约的 work 函数操控 totalETH 函数返回的值，导致 Rari 整个价值计算公式崩溃。我们分别分析 ibETH 的 work 函数和 totalETH 函数：
totalETH 函数：
work 函数：
以上分别是 ibETH 合约中的 totalETH 函数和 work 函数的部分实现。不难发现 totalETH 函数其实就是获取合约的总的 ETH 的数量。而 work 函数，本身是一个 payable 函数，也就是说，用户是可以通过 work 函数来控制 ibETH 合约中的 ETH 数量从而来改变 totalETH 返回的值的。更糟糕的是，work 函数同时还支持调用其他的任意合约。那么整个思路就很清晰了。
1、从 dYdX 中进行闪电贷，借出大量的 ETH；
2、使用一部分的 ETH 充值到 Rari Capital 合约中，此时从 ibETH 获取的比值还是正常的；
3、使用剩余的 ETH 充值到 ibETH 合约中，调用 ibETH 合约的 work 函数，为后续推高 ibETH 合约的 totalETH 的返回值做准备；
4、在 work 函数中同时对 Rari Capital 合约发起提现，由于上一步已经推高 totalETH 值，但是计算的 totalETH()/totalSupply() 的值相对于充值时被拉高，从而使攻击者能从 Rari Capital 中使用等量的 REPT 获取到更多的 ETH。
本次分析下来，主要的原因是协议的不兼容问题，攻击者通过闪电贷和重入的方式，攻击了 Rari Capital，造成了巨大的损失。慢雾安全团队建议在 DeFi 逐渐趋于复杂的情况下，各 DeFi 项目在进行协议间交互时，需要做好协议之间的兼容性，避免因协议兼容问题导致的损失。
【参考链接】
Rari Capital 官方分析：
https://medium.com/rari-capital/5-8-2021-rari-ethereum-pool-post-mortem-60aab6a6f8f9
攻击交易(其中一笔)：
https://etherscan.io/tx/0x171072422efb5cd461546bfe986017d9b5aa427ff1c07ebe8acc064b13a7b7be
By：yudan@慢雾安全团队
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。