藏在 EOA 地址里的魔法 — Qubit Finance 被黑分析



相关报道:PeckShield:去中心化借贷项目Qubit遭黑客攻击,损失约8000万美元

作者:yudan(蛋蛋的区块链笔记)

来源:藏在 EOA 地址里的魔法 — Qubit Finance 被黑分析

前言

2022 年 1 月 28 日,一大早醒来就看见 ps 那边预警了 Qubit Finance 被黑了。有点惨,这是印象中 pancake bunny 项目不知道第几次被黑了(这里默哀。。)。然后顺着 Qubit Finance 官方的推特,不难找到这次的攻击者地址为

https://bscscan.com/address/0xd01ae1a708614948b2b5e0b7ab5be6afa01325c7

既然知道了地址,那么老样子,话不多说,直接开始分析吧 😀

攻击细节分析

由于通过 Qubit Finance 我已经拿到了攻击者的具体地址,所以我就直接对 BSC 上的攻击者地址进行查询,看看是做了什么操作。

通过追查攻击者在 BSC 链上的操作,发现攻击者根本没有什么准备资金啊,部署攻击合约之类的操作,直接上来就是borrow, 这种操作很陌生,只有两种可能,要不就是这个borrow有问题,直接就是通过borrow就借空所有资产,还有一种可能就是,这里不是第一案发现场。为了验证这种想法,就需要先看看对应的borrow函数是什么鬼。

简单一看这个borrow函数,明显是属于Compound的架构,是有抵押品才能进行对应的抵押的,同时#238的borrowAllowed函数我也检查过确实是有正确实现对代币价值的检查的。那就说明第一种假设不成立,也就是说,这里确实不是第一案发现场。那么如果借贷的逻辑是正确的,那么攻击者理论上来说,会收到由于第一案发现场弄过来的钱来进行借贷。那么攻击者的钱又是怎么来的呢?带着这个疑问,不妨看下攻击者地址的代币转移情况。

通过追查攻击者的代币转移情况,发现攻击者在对 Qubit Finance 进行借贷之前,就已经在其他地方神秘的收到了好几笔大额的qXETH代币,那么这也验证了我们的想法,说明借贷操作已经是攻击后行为了,并不是第一案发现场,为了弄明白这些神秘的资金是怎么来的,我们需要选取其中的一笔交易进行分析(https://bscscan.com/tx/0x8c5877d1b618f29f6a3622cb610ace08ca96e04d8218f587072a3f91e8545bdc)

通过分析这笔交易,发现这笔交易其实是调用了Qubit Finance的Qbridge合约的voteProposal函数。

但是问题是这个voteProposal其实是只有合约指定的relayer才能进行调用的,难道是Relayer的私钥泄漏了吗?正常来说如果不了解Qubit Bridge的架构的话,得出这个结论是显而易见的。

但是似乎事实并不是这么简单。有一种神秘的感觉告诉我事情并不是这样的。正常来说,对于这种relayer架构的跨链,如果是通过relayer进行的操作的话,那么一定会有一步在其他链进行的跨链操作,声明了一个event,然后才有relayer同步到这个event然后开始对应代币的跨链,就像anySwap一样,那么基于这种假设,同时攻击者跨链的又是ETH, 那么攻击者是大概率在ETH链上进行了一次跨链操作的。为了验证这个想法,我去查了一下ETH链上的攻击者的行为,果不其然。。。

可以看到攻击者确实进行了很多笔跨链操作,调用了QBridge在以太坊上的合约进行代币的跨链,看来这里就是第一案发现场了,选取其中的一笔交易进行分析,发现更加异常的地方。

理论上攻击者应该跨链ETH到BSC链上,但是这笔交易里既没有ETH的转账,也没有WETH的转移,是怎么回事呢?这需要我们追踪对应合约的deposit函数来进行分析

通过查看这个代码,我们不难发现,如果要跨链接ETH,根据代码的函数命名来看,应该是要调用depositETH函数的,但是攻击者却调用了deposit函数来进行ETH的跨链?为什么可以这样?回顾上文说的架构,我们知道,Relayer架构是依赖event消息进行进行跨链的,而这depositETH和deposit这两个函数,是声明同一个event的,那么就是说,如果有机会能让deposit函数声明的event的参数就是ETH代币跨链的参数的话,depositETH和deposit这两个函数实现的效果其实是一样的,那么问题到这里就简化了,由于这两个函数的传参都是一样的,只要按调用depositETH的参数来调用deposit不就好啦?

思路是对的,但是这里还有一个问题,别忽略了 #208 行的handler检查,这个检查是deposit函数和depositETH函数都有的,按上面的这个思路,能通过检查吗?为了验证这个想法,我们要去看对应handler合约的的代码

通过分析handler合约的代码,发现handler同样存在deposit函数和depositETH函数,同时,deposit函数是在 #128行有白名单检查的,配合图中标注的 #135 行的safeTransferFrom调用也就是说,攻击者理论上是要转移代币的,而攻击者的的攻击交易中,没有出现代币的转移,理论上这里应该要报错才对?为什么成功了呢?回看代码,tokenAddress的获取是通过resourceIDToTokenContractAddress进行获取的,那么这个地址是啥呢?通过查询合约,我们得到了ETH代币对应的resourceID的代币合约地址是0x0000000000000000000000000000000000000000

哎,这里就有同学想来问啦,0地址不就是没有设置过的意思吗?为什么一个没有设置过的地址能通过检查呢?于是我们就不死心的去查这个地址是不是真的是在白名单里,结果一查,哎?结果还真是,芭比Q了

为什么会有这个操作呢?回顾刚才的代码,由于QBirdgeHandler的depositETH函数同样是包含白名单检查的,但是充值native ETH它没有代币合约哇,怎么做白名单检查呢?QBridge采用了一个大多数项目都会采用的办法,那就是如果你充值的是native ETH代币,那么我在合约里就当你是充值 0 地址的代币,也就是说,你充值 0 地址的代币,就认为你充的是ETH啦。

那第二个问题来啦,0 地址的调用是怎么成功的?哎?这就是一个有趣的问题啦,我们知道,0地址其实是一个EOA地址,那么EOA地址中是没有合约代码的,那么在evm的实现中,对EOA地址的调用是不会报错的,同时也不会执行任何操作。一个老trick:D, 这个trick在19年的 0x protocol 上出现过

也就是说, 0 地址直接就成功调用safeTransferFrom函数而没有报错啦,但是,handler的检查和调用结束后,对应的在QBridge合约声明出来的event,却是和转入了ETH是一模一样的哦。但是relayer哪知道这么多,它只是一个执行event捕获的云服务器而已 😀

总结

这次Qubit Fiance的被黑其实同时存在了好几个问题

最大的问题,自然是EOA调用的问题,其实是不会报错的,这个问题没有被意识到

但是除了这个问题之外,还需要结合depositETH和deposit函数本身声明的是同一个类型的事件,不然也是不会出问题的

彩蛋

经过查询,deposit函数以前是用来充值WETH的,而且用的resourceID和这次攻击用的ID是一样的,那么以前的调用是正常的,那么为什么现在就不正常呢?肯定是有人改过嘛 😀

然后果不其然,我还真的找到了

而这个函数,只有owner才能调用,为什么要这样搞呢?细节请大家发挥联想,我的分析之旅到这里就结束了 😉

聯系郵箱:0xniumao@gmail.com