慢雾:Furucombo被黑分析

著名 DeFi 项目 Furucombo 被黑,损失超 1500 万美元。慢雾安全团队第一时间介入分析,并将攻击细节分享给大家。

本次发生问题的合约在 Furucombo 本身的代理合约当中。整个攻击流程很简单。攻击者通过设置了 Furucombo 的 AaveV2 Proxy 的逻辑地址导致后续通过 Furucombo 代理合约调用的逻辑全部转发到攻击者自己的恶意合约上,导致任意资金被盗。

但是如果事情那么简单,那么本次分析不值一提。问题远比想象的复杂得多。

如上图所示攻击者的入口在 Furucombo 的 batchExec 函数,我们先对 batchExec 函数进行分析:

以上是 Furucombo Proxy 合约的 batchExec 函数的具体实现,其中 _preProcess 和 _postProcess 合约分别是对调用前后做一些数据上的处理,不涉及具体的调用逻辑,这边可以先忽略。我们主要观察核心的 _execs 函数:

虎符Hoo Labs开启幼虎基金第二期:12月2日,虎符官方宣布,将于2021年12月2日16:00-12月5日16:00(UTC+8)在Hoo Labs开启幼虎基金(HooCubFund)二期。幼虎基金二期规模为5000万美元,本次募集开放规模为500万美元,完成虎符KYC认证及VIP1以上的用户都有机会参投。

虎符交易所作为最早关注DeFi生态的交易所,启动至今,幼虎基金参投项目超过20个,包括Space、PixelVerse、MetaverseX、Soldex、ClearDao等知名项目。[2021/12/2 12:46:18]

通过对 execs 代码的分析不难发现,函数的主要逻辑是对 configs 数组的数据做检查,并根据 configs 数组的数据对 data 进行一些处理。但是回顾上文中攻击者的调用数据,不难发现攻击者的调用数据中,configs 的数据是一个 0 地址:

这里有一个 trick,由于 0 地址是一个 EOA 地址,所有对 EOA 地址的函数调用都会成功,但是不会返回任何结果。结合这个 trick,execs 函数中的关于 configs 数据的部分可以先暂时忽略。直接看到最后的核心 _exec 函数:

_exec 函数的逻辑也很简单,在校验了 _to 地址后,直接就将 data 转发到指定的 _to 地址上了。而通过对攻击交易的分析,我们能发现这个 _to 地址确实是官方指定的合法地址。

最后一步,便是调用 _to 地址,也就是官方指定的 AaveV2 Proxy 合约的 initialize 函数,将攻击者自己的恶意地址设置成 AaveV2 Proxy 合约的逻辑地址。通过对 Furucombo 合约的分析,可以发现整个调用流程上没有出现严重的安全点,对调用的地址也进行了白名单的检查。那么问题只能是出在了对应要调用的代理逻辑上,也就是 AaveV2 Proxy 合约。

我们直接分析 AaveV2 Proxy 合约的 initialize 函数的逻辑:

可以看到 initialize 函数是一个 public 函数,并在开头就检查了 _implementation 是否是 0 地址,如果是 0 地址,则抛出错误。这个检查的目的其实就是检查了 _implementation 是否被设置了,如果被设置了,就无法再次设置。根据这个设置,不难想出 initialize 这个函数只能调用一次。除非 AaveV2 Proxy 从来没有设置过 _implementation,否则这个调用是不会成功的。难道 Furucombo 真的没有设置过对应的 _implementation 吗?带着这样的疑问,我们检查了交易内的状态变化。如下:

可以看到,交易中改变了存储位置为 0x360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc 的内容,而写入的内容正是攻击者自己的恶意合约地址 0x86765dde9304bea32f65330d266155c4fa0c4f04。

而 0x360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc 这个位置,正是 _implementation 数据的存储地址。

也就是说,官方从来没有设置过  AaveV2 Proxy 合约的 _implementation 地址,导致攻击者钻了这个空子,造成了 Furucombo 资产损失。

通过对整个事件的分析来看,Furucombo 此次事故并不在安全漏洞的范畴内,主要的原因在于官方将未启用的  AaveV2 Proxy 合约添加进了自己的白名单中,并且未对 AaveV2 Proxy 合约进行初始化,导致攻击者有机可乘。

目前,由于 Furucombo 遭受攻击,导致任何将代币授权过给 Furucombo 合约 (0x17e8ca1b4798b97602895f63206afcd1fc90ca5f) 的用户都将面临资金损失的风险。

慢雾安全团队建议与 Furucombo 交互过的用户检查是否有将相关代币授权给 Furucombo 合约。如有授权,应及时撤销相关授权,避免进一步损失。

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

链杂谈

XRP为什么美国传统投资机构和企业要配置比特币?

原标题:为什么美国企业要配置比特币? 比特币在2月19日突破总市值1万亿美元的里程碑,主要有两个驱动因素:一个是加拿大在18日推出了北美第一支比特币交易基金ETF;第二是微策略(MicroStrategy)在三个月内第二度利用可转债券融资加仓比特币。 社交媒体新宠Clubhouse里,有专场鼓捣听众“闪购”比特币,狂欢庆祝比特币持续狂涨。

XMR加密先驱Nick Szabo:货币的起源

编者注:这次我们校对了阿剑在 2019 年 7 月翻译的 Nick Szabo 名作《The origins of Money》。主要是修正了其中的错字并将参考文献补充完整,翻译本身并无大的改动。校对完成后,原来分章刊载的文章得以合为一篇;然而,完整的译文有两万四千字,并不适合在公众号里阅读。于是我们按章节节选了一些段落,发布于此。

UNIETH 质押者需要面对的残酷真相

编者注:本文的内容,某种意义上算是老生常谈。每周以太坊的作者收录这篇文章时还作了个评价 “those truths didn't seem that hard to me”,意思是,“我反正不觉得有什么难接受的”。其实,与验证者运营有关的风险不难接受,难接受的长期的不确定性。 如果你打算在信标链上质押 ETH,你得先搞明白这个事情的全貌。

OKB网格交易 震荡行情下的投资利器

上世纪四十年代的某一天,信息论之父Claude Shannon在黑板上给大家演示:任何一个价位买进资金的50%,也就是说资金数量:股票市值=50%:50%。股票价格上涨一定幅度就卖出一部分股票,保持剩余的资金数量:剩余股票市值=50%:50%;反之股票价格下跌一定幅度,就用剩余资金买进一部分股票,始终保持剩余资金数量:剩余股票市值=50%:50%。

[0:15ms0-0:484ms