假币的换脸戏法：技术拆解THORChain跨链系统“假充值”漏洞

慢雾科技｜2021-07-01 15:10

2021 年 6 月 29 日，去中心化跨链交易协议 THORChain 发推称发现一个针对 THORChain 的恶意攻击，THORChain 节点已作出反应并进行隔离和防御。慢雾安全团队第一时间介入分析，经分析发现，这是一起针对跨链系统的“假充值”攻击。

By：Johan@慢雾安全团队

据慢雾区消息，2021 年 6 月 29 日，去中心化跨链交易协议 THORChain 发推称发现一个针对 THORChain 的恶意攻击，THORChain 节点已作出反应并进行隔离和防御。慢雾安全团队第一时间介入分析，经分析发现，这是一起针对跨链系统的“假充值”攻击，结果分享如下：

什么是“假充值”？

当我们在谈论“假充值”攻击时，我们通常谈的是攻击者利用公链的某些特性，绕过交易所的充值入账程序，进行虚假充值，并真实入账。

慢雾在早期已经披露过多起“假充值”攻击事件：

☟

【1】USDT 假充值：USDT 虚假转账安全⻛险分析 | 2345 新科技研究院区块链实验室

【2】EOS 假充值：EOS 假充值(hard_fail 状态攻击)红色预警细节披露与修复方案【3】以太坊代币假充值：以太坊代币“假充值”漏洞细节披露及修复方案

【4】比特币 RBF 假充值风险：比特币 RBF 假充值风险分析

随着 RenVM、THORChain 等跨链服务的兴起，跨链节点充当起了交易所的角色，通过扫描另一条公链的资产转移情况，在本地公链上生成资产映射。THORChain 正是通过这种机制，将以太坊上的代币转移到其它公链。

漏洞分析

我们从业务逻辑入口去追踪分析此漏洞的成因。

首先看到在处理跨链充值事件时，调用了 getAssetFromTokenAddress 方法去获取代币信息，并传入了资产合约地址作为参数：

- bifrost/pkg/chainclients/ethereum/ethereum_block_scanner.go

‍

在 getAssetFromTokenAddress 方法里，我们看到它调用了 getTokenMeta 去获取代币元数据，此时也传入了资产合约地址作为参数，但在此处有一个定义引起我们的警觉，在初始化代币时，默认赋予了代币符号为 ETH，这就是漏洞的关键点之一：asset := common.ETHAsset，如果传入合约地址对应的代币符号为 ETH，那么此处关于 symbol 的验证将被绕过。

- bifrost/pkg/chainclients/ethereum/ethereum_block_scanner.go

继续验证我们的猜测，我们看到当代币地址在系统中不存在时，会从以太坊主链上去获取合约信息，并以获取到的 symbol 构建出新的代币，此时所有的漏洞成因都已经显现：

- bifrost/pkg/chainclients/ethereum/ethereum_block_scanner.go

- bifrost/pkg/chainclients/ethereum/tokens_db.go

- bifrost/pkg/chainclients/ethereum/ethereum_block_scanner.go

总结一下，首先是由于错误的定义，如果跨链充值的 ERC20 代币符号为 ETH，那么将会出现逻辑错误，导致充值的代币被识别为真正的以太币 ETH。

还原攻击真相

我们来看一笔攻击交易的执行过程，可以提取出充值的代币合约地址：

我们在 Etherscan 上查看这个代币合约地址：

发现这个地址对应的合约的代币符号正是 ETH，攻击者正是通过部署了假币合约，完成了这次跨链假充值。

漏洞修复

漏洞补丁：

项目方在发现攻击后快速对代码进行了修复，删除了默认的代币类型，使用 common.EmptyAsset 进行空代币定义，并在后续逻辑中使用 asset.IsEmpty() 进行判断，过滤了没有进行赋值的假充值代币。

总结

幸运的是项目方及时发现了本次攻击，未造成巨额财产损失，但作为跨链系统，未来可能聚集巨额的多链资金，安全性不容忽视，因此慢雾安全团队建议在进行跨链系统设计时应充分考虑不同公链不同代币的特性，充分进行“假充值”测试，做好状态监控和预警，必要时可联系专业安全公司进行安全审计。

往期回顾

强扭的瓜不甜 —— SafeDollar 被黑分析

“不可思议” 的被黑之旅 —— Impossible Finance 被黑分析

走过最长的路，竟是自己的套路 —— Alchemix 事件分析

HPOOL 入驻慢雾区，发布「安全漏洞与威胁情报赏金计划」

重磅！慢雾的安全审计结果已集成到 CoinMarketCap

强扭的瓜不甜 —— SafeDollar 被黑分析“不可思议” 的被黑之旅 —— Impossible Finance 被黑分析走过最长的路，竟是自己的套路 —— Alchemix 事件分析HPOOL 入驻慢雾区，发布「安全漏洞与威胁情报赏金计划」重磅！慢雾的安全审计结果已集成到 CoinMarketCap