区块见闻 区块见闻
Ctrl+D收藏区块见闻
首页 > Gate.io > 正文

IDG:Cobo安全团队:ETH硬分叉里的隐藏风险和套利机会_Allbridge

作者:

时间:

随着 ETH 升级 PoS 共识系统,原有的 PoW 机制的 ETH 链在部分社区的支持下成功硬分叉(下文简称 ETHW)。但是,由于某些链上协议在设计之初没有对可能的硬分叉做好准备,导致对应的协议在 ETHW 分叉链存在一定的安全隐患,其中最为严重的安全隐患则是重放攻击。

在完成硬分叉后,ETHW 主网出现了至少 2 起利用重放机制进行的攻击,分别是 OmniBridge 的重放攻击和 Polygon Bridge 的重放攻击。本文将以这两个事件作为案例,分别分析重放攻击对分叉链的影响,以及协议应如何防范此类攻击。

首先,在开始分析之前,我们需要先对重放攻击的类型做一个初步的了解,一般而言,我们对重放攻击分成两类,分别是 交易重放 和 签名消息重放。下面,我们来分别说下这两类重放机制的区别

交易重放指的是将在原有链的交易原封不动的迁移到目标链的操作,属于是交易层面上的重放,重放过后交易也是可以正常执行并完成交易验证。最著名的案例莫过于 Wintermute 在 Optimism 上的攻击事件,直接导致了超 2000 万 OP Token的损失。但是在 EIP 155 实施以后,由于交易的签名本身带有 chainId (一种用于链本身区别与其他分叉链的标识符),在重放的目标链 chainId 不同的情况下,交易本身是无法完成重放的。

签名消息重放区别于交易重放,是针对的用私钥签名的消息 (e.g. Cobo is the best) 进行的重放,在签名消息重放中,攻击者不需要对整个交易进行重放,而只需将签名的消息进行重放即可。在消息签名中,以 Cobo is the best 为例,由于该消息中并不含任何和链相关的特殊参数,所以该消息在签名后理论上是可以在任意的分叉链中均是有效的,可以验签通过。为了避免该消息在分叉上的重放,可以消息内容中添加 chainId,如 Cobo is the best + chainId()。在带上特定的链标识符之后,在不同分叉链上的消息内容不同,消息签名不同,因此无法直接进行重放复用。

Cobie:SBF称接下来一周里将再次进行融资,已经和孙宇晨会谈:11月10日消息,知名加密货币交易员Cobie发推贴出SBF在FTX Slack上被泄露的一封信, Cobie称已验证该信的真实性。信中,SBF称接下来一周里将再次进行融资,并表示将对员工加薪,称已经和孙宇晨进行了会谈,认为币安可能从来没有真正计划过进行这笔交易。[2022/11/10 12:43:55]

下面我们来分析 OmniBridge 和 Polygon Bridge 的攻击原理。首先抛出结论,这两起攻击事件本身都不是交易重放 攻击,原因在于 ETHW 使用了区别于 ETH 主网的 chainId,所以直接重放交易无法被验证通过。那么剩下的选项就只有消息重放了,那下面我们就来逐个分析它们各自是如何在 ETHW 分叉链上被消息重放攻击的。

OmniBridge 是用于在 xDAI 和 ETH 主网之间进行资产转移而使用的桥,主要依赖桥的指定的 validator 提交跨链消息完成跨链接资产的转移。在 OmniBridge 中,validator 提交的验证消息的逻辑是这样的

在这个函数中,首先会根据 #L2 行的签名检查来确定提交的签名是不是由指定的 validator 进行签名,然后再在 #L11 行对 data 消息进行解码。从解码内容上看,不难发现,返回字段中包含了 chainId 字段,那么是不是说明无法进行签名消息重放呢?我们继续分析。

Cobra:本轮牛市比特币价格峰值或在3万美元左右:7月28日晚间,Bitcoin.org网站共同所有者Cobra发推称,如果比特币推动新的牛市,我们有责任不鼓励人们在非常高的价格买入。这一次价格峰值可能在3万美元左右,然后价格将回落到1.5万美元左右。Cobra提醒称,永远不要在峰值买入,除非你打算持有很多年。[2020/7/29]

通过追查 _executeMessage 函数,发现函数在 #L11 行对 chaindId 进行了合法性的检查

通过继续分析后续的函数逻辑,不难发现其实针对 chainId 的检查其实并没有使用 evm 原生的 chainId 操作码来获取链本身的 chainId,而是直接使用存储在 uintStorage 变量中的值,那这个值很明显是管理员设置进去的,所以可以认为消息本身并不带有链标识,那么理论上就是可以进行签名消息重放的。

由于在硬分叉过程中,分叉前的所有状态在两条链上都会原封不动的保留,在后续 xDAI 团队没有额外操作的情况下。分叉后 ETHW 和 ETH 主网上 Omni Bridge 合约的状态是不会有变化的,也就是说合约的 validator 也是不会有变化的。根据这一个情况,我们就能推断出 validator 在主网上的签名也是可以在 ETHW 上完成验证的。那么,由于签名消息本身不包含 chainId,攻击者就可以利用签名重放,在 ETHW 上提取同一个合约的资产。

动态 | CoinBene满币与Cobo正式达成战略合作:据官方消息,CoinBene满币与Cobo正式达成战略合作,同作为Loop联盟首批成员,CoinBene满币与Cobo转账零手续费,秒到账。

Cobo是亚洲数字资产托管机构,面向初级用户、高端用户以及机构投资者提供长期安全、可靠、的产品和服务。

CoinBene满币是值得信赖的数字资产交易平台,全球注册用户500万,日均交易额30亿美元。

Loop联盟的目标是通过类似传统金融机构间清结算的方式解决区块链网络中交易拥堵、交易手续费过高的问题。Loop的推出,会大大提高区块链公司转账速度,降低现有区块链行业从业者时间的风险敞口。[2020/2/22]

和 Omni Bridge 一样,Polygon Bridge 是用于在 Polygon 和 ETH 主网进行资产转移的桥。与 Omni Bridge 不同,Polygon Bridge 依赖区块证明进行提款,逻辑如下:

通过函数逻辑,不难发现合约通过 2 个检查确定消息的合法性,分别是通过检查 transactionRoot 和 BlockNumber 来确保交易真实发生在子链 (Ploygon Chain),第一个检查其实可以绕过,因为任何人都可以通过交易数据来构造属于自己的 transactionRoot,但是第二个检查是无法绕过的,因为通过查看 _checkBlockMembershipInCheckpoint 逻辑可以发现:

动态 | 眼镜蛇Cobra:当主流社群绝望时可以买入:眼镜蛇Cobra发推特表示,当亲人朋友谈论说他们想要投资比特币时,卖出;当主流媒体和先前比特币持有者宣布比特币已死,项目失败以及失去希望时,买进。另外,他表示,最近在比特币世界里,我有一种奇怪的感觉。就好像有什么大事要发生了,但我说不出来。对于这样一个事件,创世区块10周年纪念似乎是一个很好的契机。感觉像是一场革命即将来临。一个重大形式的转变。[2018/12/5]

对应的 headerRoot 是从 _checkpointManager 合约中提取的,顺着这个逻辑我们查看 _checkpointManager 设置  headerRoot 的地方

不难发现在 #L2 行代码中,签名数据仅对 borChianId 进行了检查,而没有对链本身的 chainId 进行检查,由于该消息是由合约指定的 proposer 进行签名的,那么理论上攻击者也可以在分叉链上重放 proposer 的消息签名,提交合法的 headerRoot,后续再通过 Polygon Bridge 进行在 ETHW 链中调用 exit 函数并提交相应的交易 merkle proof 后就可以提现成功并通过 headerRoot 的检查。

声音 | Cobra:从商业角度讲需要1分钟出一个块:比特币官方论坛Bitcoin.org持有人Cobra在推特中称,对于BCH分叉要严肃对待,并表示需要消除所有强制性的协议限制,并且让矿工具有投票权。从商业角度来说,需要实现1分钟出一个块,而不是10分钟。[2018/7/25]

以地址 0x7dbf18f679fa07d943613193e347ca72ef4642b9 为例,该地址就成功通过以下几步操作完成了对 ETHW 链的套利

首先依靠钞能力主网交易平台提币。

在 Ploygon 链上通过 Polygon Bridge 的 depositFor 函数进行充币;

ETH 主网调用 Polygon Bridge 的 exit 函数提币;

复制提取 ETH 主网 proposer 提交的 headerRoot;

在 ETHW 中重放上一步提取的 proposer 的签名消息;

在 ETHW 中的 Polygon Bridge 上调用 exit 进行提币

从上面分析的两个例子中,不难发现这两个协议在 ETHW 上遭遇重放攻击是因为协议本身没有做好防重放的保护,导致协议对应的资产在分叉链上被掏空。但是由于这两个桥本身并不支持 ETHW 分叉链,所以用户并没有遭受任何损失。但我们要考虑的事情是为什么这两个桥在设计之初就没有加入重放保护的措施呢?其实原因很简单,因为无论是 OmniBridge 还是 Polygon Bridge,他们设计的应用场景都非常单一,只是用于到自己指定的对应链上进行资产转移,并没有一个多链部署的计划,所以没有重放保护而言对协议本身并不造成安全影响。

反观 ETHW 上的用户,由于这些桥本身并不支持多链场景,如果用户在 ETHW 分叉链上进行操作的话,反而会在 ETH 主网上遭受消息重放攻击。

以 UniswapV2 为例,目前在 UnswapV2 的 pool 合约中,存在 permit 函数,该函数中存在变量 PERMIT_TYPEHASH,其中包含变量 DOMAIN_SEPARATOR。

此变量最早在 EIP712 中定义,该变量中含有 chainId,在设计之初就包含可能的多链场景的重放预防,但是根据 uniswapV2 pool 合约的逻辑,如下:

DOMAIN_SEPARATOR 在构造函数中已经定义好,也就是说在硬分叉后,就算链本身的 chainId 已经改变,pool 合约也无法获取到新的 chianId 来更新 DOMAIN_SEPARATOR,如果未来用户在 ETHW 上进行相关授权,那么 ETHW 上的 permit 签名授权可以被重放到 ETH 主网上。除了 Uniswap 外,类似的协议还有很多,比如特定版本下的 yearn vault 合约,同样也是采用了固定 DOMAIN_SEPARATOR 的情况。用户在 ETHW 上交互的时候也需要防范此类协议的重放风险。

对于开发者而言,在为协议本身定制消息签名机制的时候,应该考虑后续可能的多链场景,如果路线图中存在多链部署的可能,应该把 chainId 作为变量加入到签名消息中,同时,在验证签名的时候,由于硬分叉不会改变分叉前的任何状态,用于验证签名消息的 chainId 不应该设置为合约变量,而应该在每次验证前重新获取,然后进行验签,保证安全性。

普通在协议不支持分叉链的情况下,应尽量不在分叉链上进行任何操作,防止对应的签名消息重放到主网上,造成用户在主网上损失资产

随着多链场景的发展,重放攻击从理论层面逐步变成主流的攻击方式,开发者应当仔细考量协议设计,在进行消息签名机制的设计时,尽可能的加入 chainId 等因子作为签名内容,并遵循相关的最佳实践,防止用户资产的损失。

Cobo 是亚太地区最大的加密货币托管机构,自成立以来已为超过 500 家行业顶尖机构以及高净值人士提供卓越的服务,在保证加密资产安全存储的前提下,同时兑现了加密资产的稳健增益,深受全球用户信赖。Cobo 专注于搭建可扩展的基础设施,为机构管理多类型的资产提供安全托管、资产增值、链上交互以及跨链跨层等多重解决方案,为机构迈向 Web 3.0 转型提供最强有力的技术底层支持和赋能。Cobo 旗下包含 Cobo Custody、Cobo DaaS、Cobo MaaS、Cobo  StaaS、Cobo Ventures、Cobo DeFi Yield Fund 等业务板块,满足您的多种需求。

区块律动BlockBeats

媒体专栏

阅读更多

财经法学

成都链安

金色早8点

Bress

链捕手

PANews

Odaily星球日报

标签:COBCHAENGIDGICOBIDVTChainshengtongcoinAllbridge

Gate.io热门资讯
INT:Eth2 进展更新 (截至2022/2/11)_ETHE

译者注:2021 年年底起,以太坊社区逐渐停止使用 “ Eth1 ” 与 “ Eth2 ” 这两个词汇.

THE:时代又不打招呼了 已经有多少人在偷偷使用Web3?_区块链的几个大局

去年以来,「Web3」开始不断出现在越来越多人的视野中,人人都在谈论 Web3,然而似乎仍有大多数人不知道 Web3 究竟是什么,也没有人能够说清 Web3 现在到底有多少用户.

REN:这个NFT已经上涨八倍 牛市迹象?FOMO前必看_ENG

来源:老雅痞 大约在今年三四月的时候吧,我在老雅痞的账号里介绍过The Art of Seasons,来自日本的独立插画师漫画家DirtyRobots创作的6,895个独特的插图NFT的系列.

CHA:从美国监管角度看 为什么Tornado Cash会迎来制裁及后续猜想_ETHW币

原文标题:《币圈华为事件:从美国监管角度看为什么 Tornado Cash 会迎来制裁及后续猜想》原文来源:W3.Hitchhiker8 月 8 日.

元宇宙:各地政府元宇宙抢人大战:或给2亿补贴 或给千万安家费_CBD

作者:杨郑君 全国超过30个省市颁布元宇宙支持性政策,11个省出台元宇宙专项政策19个。今年以来,国内各地政府纷纷发力,出台元宇宙支持性政策和专项政策,以支持元宇宙产业在本地的快速发展.

BDC:Cosmos上最快的Layer1?读懂DeFi原生公链Sei_比特币今日价格行情人民币

撰文:Ian Lee 编辑:Igneus Terrenus 和 Charmyn HoSei 报告说,他们目前实现了大约 0.9 秒的阻塞时间,如果这继续进入主网.