以太坊使用Rollup技术的安全风险在哪里?
白计划
刚刚
29
以太坊已经确认了以Rollup为中心的2.0路线图,这让Rollup成为了炙手可热的技术,也可以说已经成为了layer2扩容的主流技术。如果与零知识证明证明搭配起来,Rollup会是layer2技术里解决方案的集大成者。
但正所谓“没有绝对安全的系统”,Rollup同样存在一定安全隐患,以太坊研究者论坛的开发者已经在讨论此事。1月20日,以太坊开发者「jchancehud」发布了关于虚拟Rollup攻击的讨论。
以下为关于虚拟Rollup攻击的讨论。经白计划团队整理,有所修改和批注。
Rollup的安全风险原因
模拟Rollup攻击的基本原理是:只要虚拟状态有效,任何以太坊节点都可以向OptimisticRollup协调员撒谎。而协调员只有在尝试发送交易或切换以太坊供应商时才会发现这一点。
OptimisticRollup是通过在以太坊网络上使用calldata存储块信息来进行。这各过程允许任何人操作以太坊节点并下载Rollup状态。但实际上,有些人不会操作他们自己的以太坊节点,而是依靠托管解决方案。
Bitfinex宣布推出衍生资产CSTs,以应对以太坊合并的所有潜在可能:8月23日消息,加密货币交易所Bitfinex官方宣布,将针对以太坊潜在的分叉可能性推出一种衍生资产——拆分代币(CSTs),CSTs分为ETHW(PoW)和ETHS(PoS),两种代币将在衍生品市场上成对交易。Bitfinex首席技术官Paolo Ardoino表示,推出CSTs是为了就以太坊合并的所有可能性做好准备。
具体来说,Bitfinex假定了三种潜在的场景:
1. 如果以太坊共识未能切换为PoS,ETHS将在CSTs到期日(12月31日)归零,每个ETHW将均可兑换一个ETH。
2. 如果以太坊共识成功切换为PoS,ETHW将在CSTs到期日归零,每个ETHS将均可兑换一个ETH。
3. 如果以太坊共识成功切换为PoS,但分叉的PoW链也能够成功继续运行,用户将同时获得各自链上的ETHS和ETHW代币。[2022/8/23 12:43:38]
需要验证有效性
如果要快速低成本地构建有效的Rollup链,需要做的是进行交易、构建状态并将其存储在以太坊网络以外的其他位置。当Rollup协调员从以太坊节点接收状态历史记录时,协调员可以通过重播状态交易来确定数据是否有效。然而,协调员不能确定链上是否存在该状态,最好的办法是询问以太坊节点。
a16z加密货币状况报告:以太坊的受欢迎是一把“双刃剑”:金色财经报道,近日,a16z发布2022年加密货币概括报告。加密风投基金巨头Andreessen Horowitz(a16z)强调,尽管以太坊的交易费用很高,但其发展和加密用户对它的需求是“无可匹敌的”。然而,该公司警告称,鉴于以太坊优先考虑去中心化而不是扩展,其“受欢迎程度也是一把双刃剑”,导致与其竞争的区块链以“更好性能和更低费用的承诺”抢夺市场份额。除了以太坊之外,该报告关注的主题还包括Web3发展、加密货币采用率、去中心化金融(DeFi)和稳定币。
根据该报告的数据,与竞争对手相比,以太坊吸引了更多开发者的兴趣,因为该网络每月约有4000名活跃开发者,而排名第二的Solana 只有1000名。比特币和Cardano紧随其后,大约各为500名和400名。[2022/5/18 3:24:45]
如果出现人为攻击
如果想象一个名为Untrust的以太坊节点服务。Untrust为以太坊dapp提供了低成本的基础架构。如果他们选择不信任,则可以查看特定的Rollup并创建虚构的历史记录。他们甚至可以通过从某些真实交易中提取通信数据并将其与虚拟交易混合来创建半虚拟历史。
这样,他们将创建一个完全不同的当前状态哈希,但只有在使用Untrust的Rollup运算符去提交一个块的情况下,这才会被发现。
USDC超越USDT成为以太坊上流通量最大的稳定币:据欧科云链链上大师数据显示,当前以太坊上稳定币流动总量为1086亿美元。其中ERC-20 USDC流通量为398.29亿美元,ERC-20 USDT流通量为398.28亿美元。USDC在以太坊上的流通量首次超过USDT,成为以太坊上流通量最大的稳定币。[2022/1/14 8:48:42]
这种类型的攻击并不是特别强大。攻击者无法伪造签名,不能直接窃取资金,但可以在Rollup中撒谎自己的活动。
想象一下,Untrust变得更加复杂。他们决定攻击名为MoneyMover的Rollup。
当收到对MoneyMover地址的请求时,它们会从运行完全独立的以太坊网络的节点返回信息。在这个独立的以太坊网络中,Untrust镜像了大多数交易,并在需要时注入自己的交易。
现在说Untrust找到一个使用MoneyMoverRollup付款的网站。该网站运行自己的MoneyMover协调员,该协调员连接Untrust以访问以太坊网络。
Untrust可能会在其镜像网络中创建虚构的交易,MoneyMover协调员将其解释为有效。由于MoneyMover协调员未与任何对等方连接,因此确定链上存在的唯一方法是询问以太坊节点。
Coin Bureau创始人透漏自己的加密货币投资组合,以太坊占30%:加密货币信息中心Coin Bureau创始人透露,自己的加密货币投资组合主要由市值排名前20位的加密货币组成。其中以太坊占30%,比特币占27%,DOT占9.34%,ADA占8%,LINK占4%。[2021/4/16 20:28:52]
Untrust在其镜像网络上进行了一次虚构的交易,该网站运营的MoneyMover协调员将其检测为有效付款。Untrust现在无需付费即可访问该网站。网站只会在他们提交交易或切换到其他以太坊供应商时才发现这种虚构的付款。
实际可能出现的风险
以上的攻击是仅当协调员未运行其自己的以太坊节点时,此攻击才有意义。有一些情况是有问题的:
1.协调员数据的下游使用者无法知道他们接收的数据是否存在,他们不能信任协调员正在使用的eth节点,因为使用者没有自己运行该节点。
2.欺诈证明者尤其容易受到这种攻击,因为它们仅在检测到欺诈行为时才会提交交易。恶意的eth节点可能会从区块链数据中剥离无效交易,并仅返回不同的状态哈希。欺诈证明者将无法得知状态哈希是虚构的,并且永远不会提交欺诈声明。
3.eth节点操作员向Rollup协调员说谎,以诱使他们要么提交无效的状态交易,要么提交无效的欺诈声明。一旦发生这种情况,恶意的eth节点运营商就可以充当有效的交易对手并收集抵押的资金。
动态 | 灰度:以太坊经典信托基金不存在直接风险:据Cryptoglobe报道,灰度(Grayscale)近日针对以太坊经典遭遇51%攻击一事回复询问以太坊经典投资信托基金(ETCG)是否有风险的用户。灰度指出,此次攻击破坏了以太坊经典网络的完整性,人们可能不太愿意接受ETC,因为惧怕双花攻击的风险。然而,ETC信托基金内的资产并不存在被盗或双花攻击的直接风险。据悉,以太坊经典投资信托基金(ETCG)管理着约2490万美元,其背后团队是Grayscale,Grayscale代机构投资者对这些基金进行收费管理。[2019/1/13]
解决方案1
在工作量证明链的背景下,协调员可以请求块数据并检查其是否足够困难。检查当前难度的至少一半应该可以使大多数攻击因为财务问题无法实现。
在权益证明链中,这个过程变得不可行,因为恶意的eth节点可能会从未投票的地址提供签名。他们可以通过在查询时质押抵押金额来做到这一点。
解决方案2
一个不太优雅的解决方案是:对信誉良好的节点不断签名,并发布已存在于链上的Rollup状态哈希的列表。该列表可以在IPFS之类的服务上发布。协调员节点可以包括一个已知的信誉良好的公共密钥的预设列表。
如果出现以下情况,协调员会知道Rollup数据是真实的:
1.所有状态交易均有效。
2.所有状态散列均由信誉良好的来源进行签名。
这将确保Rollup数据有效且非虚构,并且将允许Rollup节点使用任何以太坊节点来同步数据。
以上是「jchancehud」讨论的Rollup安全攻击的可能性。
主要是因为Rollup是链下状态,容易在很多状态里出现信息同步不及时的情况,据「jchancehud」表示的,需要验证链下状态是否有效的一方需要同步其他以太坊全节点的数据才可以确认最终安全性,这意味着很多平台需要运行一个以太坊节点。
对于上文举出的虚拟攻击方式,以太坊的layer2解决方案团队SKALELabs首席技术官「KonstantinKladko」表示,“这真的很有趣!我认为这表明,通过破坏Infrua,可以基本上破坏所有Rollup。”
当然,这是代表着那些通过Infura来与以太坊通讯的产品,Infura承担着很大的以太坊节点服务规模,此前也有关于Infura是否会是以太坊网络最大单点漏洞的讨论。而对于这个单点安全风险,主要是以多节点负载均衡的方式处理,尽力规避。
而对于「jchancehud」的讨论,最有趣的是开发者「adlerjohn」提出,这种虚拟的“攻击”似乎不仅适用于optimisticRollup,而且还适用于zkRollup,实际上也适用于任何智能合约。
这一推论很可能是基于“只要存在信息不对称危险”的协作过程,就会面临「jchancehud」所说的攻击风险。
所以「adlerjohn」提出,在比特币的白皮书第8节,有如何验证信息对错的方式,即验证者确定最长链,信任最长链,这个方式描述了一种众所周知的方案,这个该方案可用于防止Sybil节点提供虚假信息,这样可以不要求大多数计算是诚实的。
比特币白皮书的第8节
此外,「adlerjohn」提出,Rollup的状态根可以作为事件发出,甚至可以存储在以太坊状态中,也可以进行伪造交易的查询。
比特币白皮书的第8节
另外,「adlerjohn」还提到了关于optimisticRollup方案中,还可以包含名为“最小可行合并共识”的设计,该设计可以通过发布有序数据来实现数据可用性,可以让多个侧链、分片使用。
白计划注:最小可行合并共识的解读在如下链接
https://ethresear.ch/t/minimal-viable-merged-consensus/5617
但可以预见的是,使用「adlerjohn」提出的方式,是存在较大的设计难度的。
在讨论的最后,「jchancehud」回复「adlerjohn」表示,不能确定这种攻击预测是否适用于ZKRollup。但因为ZK证明更难生成,至少会更加困难。如果Rollup被广泛采用,那么这样考虑Rollup尤其重要。
Rollup协调员可以在使用节点之前验证节点中的所有区块头,这是另一种潜在的解决方案,尽管时间和带宽昂贵。但用户最好运行自己知道可以信任的eth轻节点。如果已经解决验证问题,运行轻节点还可以查询事件。
讨论在最后,我们会发现为了实现安全性、可扩展性、效率,这些方案按工程化的思路是可以尝试的,但实施过程一定是困难的,因为不同开发者的讨论思路最后还要合成代码,以及包含网络结构、客户端、语言、操作界面等多个挑战。
时间戳向前,区块不停,我们继续期待吧。
以太坊
Rollup
本文来源:
白计划
文章作者:Qingzhou
我要纠错
声明:本文由入驻金色财经的作者撰写,观点仅代表作者本人,绝不代表金色财经赞同其观点或证实其描述。
提示:投资有风险,入市须谨慎。本资讯不作为投资理财建议。
金色财经>区块链>以太坊使用Rollup技术的安全风险在哪里?
互操作性2.0:奠定公链万亿美元生态的基础设施碳链价值刚刚24我们相信,随着不同的链之间广泛相连,链上交易体验达到目前的「互联网级别」,互联网用户也会被不断“转化”成区块链用户.
1900/1/1 0:00:00律动BlockBeats消息,1月20日,加密分析机构Messari发布了一份亚洲的加密生态报告,内容显示占据世界人口60%的亚洲同样在加密市场里占据了主导地位.
1900/1/1 0:00:00为什么BTC大涨时主流山寨有时跟涨有时大跌?DealeanCapitalResearch1分钟前537原文标题:格林斯潘市场中的周期理论市场背景那么.
1900/1/1 0:00:00加密货币领域最让人赞叹的地方在于其不断的创新,而新年伊始开始兴起的算法稳定币,无疑是目前最具野心、最具天马行空想象力的货币创新实验---试图抛弃传统的人为操控,力求以算法本身,实现货币的稳定性.
1900/1/1 0:00:00无论是传统领域,还是加密市场,面对SEC的铁腕政策,“破财消灾”往往成为了不得已而为之的选择。前有因财务造假事件而支付1.8亿美元罚金的瑞幸咖啡,后有在历经长达6个月拉锯战后,最终妥协返还投资者.
1900/1/1 0:00:001月20日,Messari推特公布的数据显示,以太坊超越比特币成为加密领域最大的结算层,2020年结算量已突破10000亿美元.
1900/1/1 0:00:00