前言
北京时间11月7日,知道创宇区块链安全实验室监测到跨链协议SynapseProtocol推出的资产跨链桥被攻击,攻击者设法降低了nUSDMetapool虚拟价格并从中获利约800万美元。
知道创宇区块链安全实验室第一时间对本次事件深入跟踪并进行分析。
分析
攻击事件如下图所示,该次攻击事件的问题点并不在Synapse跨链桥本身,而是在Saddle开发的Metapool合约上。
在具体分析攻击事件之前,我们先来介绍一下什么是Metapool。Curve开发的stableswap实现中有两类池子,分别是Standardstableswappools和Metapools。
Standardstableswappools:包括了多个基础资产,它们在一个小范围内彼此相互定价。
Metapools:实现了相同的stableswap不变量,但将资产D与资产A、B、C的LP代币进行定价时会导致池的理想平衡权重变为资产D的50%以及资产A、B、C的各16.66%,这既隔离了资产D的风险,又允许基础池用于额外的Metapools,这种池子虽然很好,但实现起来也会更加的复杂。
基础信息
攻击者:
0x3ab92d06f5f2a33d8f45f836607f8da68cab81e8
攻击tx:0xe2f66358873553990911c15d2bbe8ffea72ddba86dfa64e32cde7ae998f09f350x415d4ad8c6237b6d110fc0ea66f0d1b4a3f13ac196ac5b708b037c07c83d69f2
漏洞合约:
https://github.com/saddle-finance/saddle-contract/blob/master/contracts/meta/MetaSwapUtils.so
流程
1、首先攻击者通过FirebirdRouter在Metaswap.sol上调用swap()函数和removeLiquidityOneToken()函数,先将nUSD兑换成nUSD-LP代币,再移除nUSD-LP获取USDC。
2、攻击者通过MetaswapDeposit合约中的addLiquidity()函数用USDC添加流动性换取nUSD-LP。
3、攻击者通过MetaswapDeposit合约中的removeLiquidityOneToken()函数用nUSD-LP移除流动性换取nUSD,然后依次循环,不断套利。
细节
在Metapool中当用户可以直接用资产D去兑换A、B或C,但在兑换到A、B、C的LP代币时,需要计算LP代码基本虚拟价格,而SaddleMetaswap合约中忽略计算LP代币基本虚拟价格的检查,详情代码见Metaswap合约的第424行。
因为增加流动性和从池中移除一个代币实际上和兑换是相同的,所以与此对应的是MetaSwapUtils合约的第277行,276行代码是在判断代币是否为LP代币,在检查到兑换的是LP代币时就进行LP代币基本虚拟价格的计算。
由于检查的忽略允许了攻击者0x3ab92d06f5f2a33d8f45f836607f8da68cab81e8进行不断的循环交易,上面提到的攻击流程是最后一次循环交易,从而使得nUSD-LP代币数量增加,降低了Metapool虚拟价格并从nUSD-LP中兑换走更多的nUSD代币。
在事件发生后官方更新了跨链桥受攻击事件进展,由于官方一直在线且反应迅速,没有给黑客跨链转移资金的机会,官方将不会处理黑客的交易,损失的SynapsenUSD也将全额返回给受影响的流动性提供者们。
截止目前,SynapseProtocol网络已经恢复正常活动并处理完了之前积压的交易,针对此次事件官方将Stableswap合约代替Metapool合约成为为新的nUSD资金池,以保证安全性,而未受影响的流动性提供者将需要解除抵押并从旧资金池中提取流动性以方便后续正常操作。
总结
Synapse跨链桥遭遇的攻击的核心原因在于外部的AMM计算合约Metapool中未对LP代币基本虚拟价格计算的检查,使得攻击者通过循环交易降低Metapool虚拟价格并从LP中抽走资金,从而获取约800万美元的nUSD资产。
拓展阅读: 详解Arweave系列一:什么是Arweave?详解Arweave系列三:Arweave初学者必不可少的工具详解Arweave系列四:何上传数据到Arweave如果你不精通区块链和加.
「中国科幻:复兴」起源 这是一项源自THiNG.FUND与中国美术学院、凤凰艺术、美术报和Flow链联合举办的艺术创作活动.
当我们正在准备明年推出完全去中心化的QredoV2时,首席执行官AnthonyFoy为大家回顾了Qredo的发展历程;中文社区的各位伙伴,让我们一起,回顾这段去中心化之路.
Q1:首先请Yibo对Orca项目做一个简单的介绍A1:Orca是Solana上最人性化的DEX,是一个拥有纯AMM功能和能以最用户友好的方式进行交易、提供LP的交易所.
共识机制是我们在了解区块链后常常会听到的词汇。但如果你和朋友聊天,满嘴PoW、PoS,那你的朋友也许会是这样: 一方面,作为同样可保障区块链网络安全且拥有验证交易功能的共识机制,它们都可以使用符.
PocketNetwork是用于Web3应用程序的区块链数据生态系统。2021年11月10日PocketNetwork宣布已与石木资本签署合作协议。石木资本将为其亚洲市场扩张提供战略支持.