前言
北京时间2021年8月10日,跨链桥项目PolyNetwork遭遇攻击,损失超过6亿美金。虽然攻击者在后续偿还被盗数字货币,但是这仍然是区块链历史上涉及金额最大的一次攻击事件。由于整个攻击过程涉及到不同的区块链平台,并且存在合约以及Relayer之间的复杂交互,对于攻击的完整过程和漏洞的根本原因,现有分析报告并未能梳理清楚。
整个攻击分为两个主要阶段,包括修改keeper签名和最终提币。对于第二阶段,由于keeper签名已经被修改,因此攻击者可以直接构建恶意提币交易,具体可以参见我们之前的报告。然而对于修改keeper签名的交易是如何最终在目标链执行的,目前并没有详细的文章阐明。而这一步是攻击的最核心步骤。
本报告从修改keeper签名交易入手(Ontology链上交易0xf771ba610625d5a37b67d30bf2f8829703540c86ad76542802567caaffff280c),分析了背后的原理和漏洞的本质。我们发现以下几个原因是Keeper能被修改的原因:
源链上(Ontology)的relayer没有对上链的交易做语义校验,因此包含修改keeper恶意交易可以被打包到polychain上
目标链上(以太坊)上的relayer虽然对交易做了校验,但是攻击者可以直接调用以太坊上的EthCrossChainManager合约最终调用EthCrossChainData合约完成签名修改
攻击者精心够着了能导致hash冲突的函数签名,从而调用putCurEpochConPubKeyBytes完成对签名的修改
Synthetix发布Polaris版本更新,支持SOL并升级Chainlink:2月15日消息,基于 Optimism 的合成资产协议 Synthetix 发布 Polaris 版本更新。据升级公告显示,本次升级包含 SIP-199 升级,即 Synthetix 将支持 SOL 作为新的合成资产,以及 Off-Chain Reporting (SCCP-163) 升级,为后续支持更多 Token 做铺垫。[2022/2/15 9:52:58]
涉及交易和合约
整个过程中的交互流程如下:
Ontology交易->OntologyRelayer->PolyChain->EthereumRelayer->Ethereum
以太坊
0x838bf9e95cb12dd76a54c9f9d2e3082eaf928270:EthCrossChainManager
0xcf2afe102057ba5c16f899271045a0a37fcb10f2:EthCrossChainData
0x250e76987d838a75310c34bf422ea9f1ac4cc906:LockProxy
0xb1f70464bd95b774c6ce60fc706eb5f9e35cb5f06e6cfe7c17dcda46ffd59581:修改keeper的交易
Ontology
Poly Network攻击者:有责任在内部人员隐藏和利用漏洞之前揭露它:金色财经报道,Poly Network攻击者刚刚发布了自问自答。攻击者表示,攻击是为了好玩。选择Poly Networ是因为跨链攻击很火。转走代币是为了保证安全。攻击者称:“当发现bug时,我有一种复杂的感觉。问问你自己,如果你面对如此多的财富,该怎么办。礼貌地询问项目团队,以便他们解决问题?当面对10亿美元,任何人都可能成为叛徒,我不能相信任何人。我能想出的唯一解决方案是将它保存在受信任的帐户中,同时保持我自己匿名和安全。现在每个人都闻到了阴谋的味道。内鬼?我不是,但谁知道呢?我有责任在任何内部人员隐藏和利用漏洞之前揭露它。”此外,攻击者称:“Poly Network是一个不错的系统。这是黑客可以享受的最具挑战性的攻击之一。我必须快速击败任何内部人员或黑客,我把它当作奖励挑战。我明白即使我不作恶也有暴露自己的风险。所以我使用了临时电子邮件、IP或指纹,这是无法追踪的。我宁愿呆在黑暗中拯救世界。”[2021/8/12 1:49:26]
0xf771ba610625d5a37b67d30bf2f8829703540c86ad76542802567caaffff280c:修改keeper的交易
Poly
0x1a72a0cf65e4c08bb8aab2c20da0085d7aee3dc69369651e2e08eb798497cc80:修改keeper的交易
攻击流程
整个攻击大致可以分为三个步骤。第一个步骤是在Ontology链生成一条恶意交易(0xf771ba610625d5a37b67d30bf2f8829703540c86ad76542802567caaffff280c),第二个步骤是修改以太坊EthCrossChainData合约中的keeper签名,第三个步骤构造恶意交易发起最终攻击和提币。
Polygon发布用于构建以太坊兼容链的SDK开发套件:Layer 2以太坊扩容解决方案Polygon周三发布SDK软件开发套件,允许开发者部署他们自己的以太坊连接的区块链。Polygon SDK包含了几个即插即用模块,为共识和同步等参数定制了解决方案。除了共识和同步,Polygon SDK还包含其他模块,如TxPool, JSON RPC和gRPC。Polygon透露其SDK的设计是为了模仿“以太坊上的Polkadot”方法,这可以看到以太坊的多链网络的出现。据悉,Polygon SDK将进行两次迭代,第一个版本允许开发者创建独立的链,与以太坊网络具有完全的互操作性。在第二次Polygon SDK迭代中,开发团队将能够创建直接连接到以太坊主网的实际的第二层协议。(Cointelegraph)[2021/5/26 22:47:32]
步骤一
攻击者首先在Ontology发起了一笔跨链交易,里面包含了一个攻击payload:
可以看出交易包含了精心设计的函数名,目的在于通过造成哈希冲突的方式调用putCurEpochConPubKeyBytes函数。关于哈希函数冲突的细节在网络上已有很多讨论,可以参考.
随后,该笔交易被OntologyRelayer接收,注意这里并没有很严格的校验。该交易会通过Relayer在PolyChain成功上链。EthereumRelayer会感知到新区块的生成。
Polkadot 已发布v 0.8.26-1升级版:刚刚,Web3基金会技术教育主管Bill Laboon发推称,Polkadot的高优先级升级已经发布,为0.8.26-1。该版本修复了0.8.26中的DoS矢量问题,请尽快升级您的节点。[2020/11/9 12:05:59]
然而,这笔交易被EthereumRelayer拒绝了。原因在于EthereumRelayer对目标合约地址有校验,只允许LockProxy合约作为目标地址,而攻击者传入的是EthCrossChainData地址。
因此,攻击者攻击之路在此中断。但如前所述,包含恶意payload的攻击交易已经在PolyChain成功上链,可被进一步利用。
步骤二
攻击者手动发起交易,调用EthCrossChainManager合约中的verifyHeaderAndExecuteTx函数,将之前一步保存在PloyChain区块中的攻击交易数据作为输入。由于该区块是polychain上的合法区块,因此可以通过verifyHeaderAndExecuteTx中对于签名和merkleproof的校验。然后执行EthCrossChainData合约中的putCurEpochConPubKeyBytes函数,将原本的4个keeper修改为自己指定的地址。
步骤三
在keeper被修改之后,攻击者直接调用目标链上的verifyHeaderAndExecuteTx函数,最终调用至Unlock函数,大量地转移资金,给项目方带来了严重的损失。具体的攻击细节可参考我们之前的报告。
BitZ平台支持Polkadot(DOT)主网资产映射:据官方消息,BitZ现支持波卡DOT主网资产映射,凡是持有DOT(即Polkadot的主网币)资产的用户可在Polkadot官方映射网站完成映射,映射完成后即可在BitZ币币账户中显示DOT资产。
波卡Polkadot通过连接各种公链和私链,公共网络和私密网络,以及未来可能出现的各种技术,尝试解决目前区块链技术面临的多个重大问题,包括互操作性、扩展性、处理速度、安全性、隐私性、可开发性以及治理等,是一项允许独立区块链互相交换信息和价值的跨链技术。[2020/7/10]
Relayer代码分析
在本攻击过程中,Ontology方和以太坊方均有Relayer负责将来自Ontology的交易在polyChain上链,以及将polychain上的交易放到以太坊。这两个Relayer是由Go语言实现的服务进程。
然而我们发现,这两个Relayer都缺乏有效的校验。这导致
攻击者可以在Ontology构造一条恶意的跨链交易,并且成功打包到polychain上。
虽然在以太坊的Relayer具有校验功能,但是攻击者可以直接同以太坊上的链上合约进行交互,直接执行恶意的函数。
OntologyRelayer完全信任来自Ontology上的跨链交易
PolyNetwork的?ont_relayer(https://github.com/polynetwork/ont-relayer)?负责监听Ontology链上的跨链交易并将其打包入传入PolyChain.
注:
在OntologyRelayer中,Side指OntologyChain;Alliance指PolyChain.
CrossChainContractAddress是Ontology链上原生编号为09的智能合约.
上图中,OntologyRelayer启动时开启三个Goroutines分别负责监听OntologyChain和PolyChain的跨链交易,以及对PolyChain上的跨链交易做状态检查。在本报告中,我们只关注69行的监听Side的代码逻辑。
在上图中,OntologyRelayer调用Ontology链提供的RPC接口(第215行,调用SDK函数GetSmartContractEventByBlock)获取区块中触发的智能合约事件;然后在第228和232行表明OntologyRelayer只监听OntologyChain上由CrossChainContractAddress触发的makeFromOntProof事件;
上图中,在处理OntologyChain上的跨链交易时,OntologyRelayer总共做了五次校验,分别是两次向OntologyChain发送的RPC请求校验(check1和check4),以及三次参数是否为空的校验(check2,check3,和check5)。这五次校验都属于常规校验,并未对来自OntologyChain上的跨链交易做语义上的校验;第167和171行取出了在目标链上执行所需要的交易参数信息;第183行向PolyChain发送交易;
OntologyRelayer在构造了PolyChain上的交易后便向PolyChain发起RPC请求发送交易(第164行,函数调用SendTransaction);
这个名为ProcessToAliianceCheckAndRetry的Goroutine也仅仅是做了重发失败交易的工作,仍然未对来自OntologyChain上的跨链交易做任何语义上的校验。
至此,我们可以看出ont-relayer监听所有来自OntologyChain由CrossChainContractAddress触发的makeFromOntProof事件,并未对其做任何语义上的校验,便向PolyChain转发了交易。而任何人向Ontology发送的任何跨链交易都会触发CrossChainContractAddress的makeFromOntProof事件,所以OntologyRelayer会将所有来自Ontology上的跨链交易都转发到Polychain上。
EthereumRelayer中的无效校验
EthereumRelayer?负责监听PolyChain并将目标链为Ethereum的跨链交易转发到Ethereum上。
EthereumRelayer启动一个Goroutine来监控PolyChain;
EthereumRelayer监听所有PolyChain上目标链为Ethereum的跨链交易;EthereumRelayer会校验跨链交易的目标合约是否为config.TargetContracts中指定的合约之一,如果不是则不会发送这笔跨链交易到Ethereum上。
虽然EthereumRelayer对PolyChain上的跨链交易做了部分校验,比如限制了目标合约,但是与PolyChain不同,任何人都可以向Ethereum上的EthCrossChainManager合约发送交易。换句话说,EthereumRelayer在这里做的校验没有实际的意义,只要包含恶意payload的跨链交易被成功打包进了PolyChain,那么任何人都可以直接使用已经打包好的区块数据将payload发送到以太坊EthCrossChainManager合约并执行。
攻击者正是利用了上述两个缺陷,完成了攻击流程中的步骤一和步骤二。
写在最后
通过对整个攻击流程的完整梳理和详尽分析,我们认为Relayer的不完整校验是攻击得以发生的根本原因。其它方面则更多地属于比较精彩的攻击技巧。总而言之,跨链的校验和鉴权是跨链系统安全的关键所在,值得社区付出更多的努力。
8月12日,XCarnivalCMOVivi做客猎云财经空中课堂直播间,为大家带来她对NFT+DeFi的思考.
8月8日消息,香港联合交易所有限公司发布《关于区块链集团有限公司取消上市地位》的通告,联交所宣布,由2021年8月10日上午9时起,该公司股份的上市地位将根据《上市规则》第6.01A条予以取消.
NFT更大的应用领域是人们的商业活动,尤其是已经互联网化的商业活动,转移到链上,形成各种真实的链上资产,这是NFT最大的场景.
在前5次平行链拍卖后,我们监控了Kusama网络的稳定性。此时,网络上有6条平行链。我们的关注点主要集中在4个关键领域: 候选项目稳定性 批准投票统计 网络连接 负载情况 我们从选择加入的验证器.
近日,澳大利亚加密货币交易所IndependentReserve宣布,已在《支付服务法案》下,获得新加坡金融监管局的“原则性批准”,允许其成为受监管的数字支付代币(DPT)服务提供商.
AMC娱乐公司首席执行官AdamAron在周一的季度财报电话会议上表示,该公司正在建立一种IT的方式支持比特币的支付.