MIS:Optimism VS ZK 以太坊扩容技术一览_TIM

在展开对 Optimism Rollup 和 ZK Rollup 的对比分析之前,我们需要先了解 Rollup 的诞生背景。

Rollup 被认为是以太坊扩容的终极解决方案,它在第 1 层之外执行交易,却在第 1 层发布交易数据。这使得 Rollup 可以扩展网络,并仍然从以太坊共识中获得安全性。整个过程本质上是执行交易、获取数据、压缩数据,并将其以单个批次的形式汇总到主链上,因此得名「Rollup」。

实际上,Rollup 的研究热度与以太坊近年来的发展息息相关。以太坊扩容一直是加密领域讨论最多的话题之一。无论是 2017 年的 CryptoKitties 热潮,还是 2020 年的 DeFi 夏季、 2021 年初的加密货币牛市,对以太坊需求的高涨使得扩容辩论不断升温,Gas 费用飙升让用户支付的交易费用更加昂贵。

与此同时,在 Web3 高速发展的背景下,以太坊日益成为了数千个 DApp 的宿主。庞大的交易量势必会带来运行速度的限制,使得以太坊上项目交易速度越来越慢,用户也留存度逐渐下滑。

基于此,寻找完美的扩容方案,成了多个团队和整个以太坊社区的重要目标。一般而言,以太坊的扩展方案一共有 3 种主要方式:扩展区块链本身——第 1 层(Layer 1    )扩容;在第 1 层之上构建——第 2 层(Layer 2    )扩容和在第 1 层一侧构建侧链。

Synthetix Perps已开启Optimism交易激励计划:4月18日消息,Synthetix Perps已开启Optimism交易激励计划,其中在经过三周的提升期后,每周SynthetixPerps交易奖励可达20万枚OP:第一周5万枚OP,第二周至第三周10万枚OP,第四周至第二十周20万枚OP。

用户将根据他们支付的总交易费用分配一个交易者分数,包括质押的SNX乘数,最后将根据他们的交易者得分按比例获得每周总奖励的份额。[2023/4/18 14:09:50]

那么 Rollup 的扩容原理就是将数百个已处理的交易汇总成一个批次并在与以太坊主网平行的 L2 链上执行交易,最终完成的交易再按批次发布到底层(L1, Layer 1 )区块链,以此来提升交易速度,降低 Gas 费用。

在一众 Rollup 方案中,Optimistic Rollup 和 ZK Rollup 都有着不俗的表现。事实上,Optimistic Rollup 和 ZK Rollup 的执行原理大同小异,区别在于验证方式。今天,就让我们走近这两种卓越的扩容方案,比较它们在具体执行过程中的优劣势,并积极展望下一代以太坊扩容方案的理想模式。

Optimistic Rollup,如其名所言采取的是“乐观”机制 ——欺诈证明(Fraud proofs)。系统默认执行交易数据的可靠性,无需经过有效验证便会直接进入等待期,等待期里有任何节点提出异议并佐证为恶意交易,则取消交易;若无异议,等待期结束即交易完成并写入区块。“欺诈证明”的交易方案省去了大规模的部署验证,从而节省了计算资源,保证了交易的确切性。

Optimism与Lattice合作推出基于OP Stack的元宇宙游戏OPCraft:10月19日消息,据官方消息,游戏工作室Lattice宣布与Optimism合作推出3D自治元宇宙游戏OPCraft。OPCraft运行在基于Optimism昨日宣布推出的模块化组件OP Stack构建的自定义Rollup上,游戏中的每个元素都存在于链上,每个行为都是一笔以太坊业务。目前,该游戏的合约和客户端已经开源,支持玩家在其他EVM兼容链上进行部署。OPCraft世界将开放两周,北京时间11月1日7:59将停止运行,Rollup将被冻结,玩家在游戏中的创造将被永久保存。[2022/10/19 17:32:26]

在 Optimistic Rollup 中,突出的方案为 Arbitrum 和 Optimism。Optimism 虽为第一个发明与 EVM 兼容的 Optimistic Rollup 协议,但囿于主网启动延迟让 Arbitrum 获得了后发优势。

Optimism:单轮非交互式欺诈证明

Optimism 使用智能合约,将交易数据从以太坊主链转移到 Layer 2 ,定序器可以将多个交易捆绑成一个批次,然后通过单个交易将该批次提交回主。定序器在所有交易都有效的假设下,乐观地执行相应流程。系统设置一周的等待期,在此期间任何质疑都可被提出,如有异常就会生成欺诈证明。

Optimism官方:Optimism的Kovan测试网将于10月5日全面退役:8月15日消息,近日,以太坊二层扩容网络Optimism官方发推文称, Optimism Kovan已被弃用,取而代之的是Optimism Goerli。Optimism的Kovan测试网将于10月5日全面退役。为了鼓励所有项目在此截止日期之前迁移,将降低Optimism Kovan公共端点的速率限制。

此前7月1日消息,Optimism决定淘汰Kovan测试网,计划在8月15日之前将项目迁移至Goerli。[2022/8/15 12:26:10]

Arbitrum:多轮交互型欺诈性证明

Arbitrum 于 2021 年 5 月 28 日在以太坊主网上启动。整体上执行的流程差别不大,主要是在于 Arbitrum 的验证人和挑战者在链下通过二分法的方式不断拆分存在争议的步骤,直至将争议范围缩减到某个具体步骤,再到 L1 链上对相应步骤进行判定,高效解决争议。因此,相比 Optimism 来说, Arbitrum 能承载更高的交易容量,实现更彻底的“追根溯源”。

ZK Rollup(零知识证明),这一概念在 1980 年时被麻省理工的研究人员引入,一度将其称为“月亮数学”。

ZK Rollup 是通过零知识有效性证明的扩容方案。它分批处理链下交易,并生成加密有效性证明来验证交易真实性。这些有效性证明将批量交易添加到 L1 区块链,可被 L1 合约快速验证,而无效批次则会被直接拒绝。

Optimism开发人员:在Optimism上创建ETH的漏洞已被修复:2月11日消息,以太坊二层扩容方案Optimism开发人员表示,一个严重错误已经在本月早些时候完成修复。根据Optimism博客文章中所述,该团队表示相关漏洞是在该项目以太坊客户端Geth分叉中发现的,具体而言,该漏洞可以通过在持有 ETH 余额的合约上反复触发SELFDESTRUCT操作码,导致在Optimism上创建ETH成为可能。该团队表示,根据其分析,除了以太坊数据初创公司Etherscan的一名工作人员意外激活外,该漏洞未被利用,在确认漏洞后几个小时候,Optimism就对该漏洞修复进行了测试并部署到Optimism的Kovan和Mainnet网络(包括所有基础设施提供商)。据悉,发现该漏洞的开发人员Jay Freeman获得了2,000,042美元赏金。[2022/2/11 9:44:31]

如果说 Optimistic rollups 假设每个参与交易的人都出于善意做事,那么 ZK Rollup 则竭力确定情况确实如此。目前,ZK Rollup 版图主要有 Hermez、ZKSync 等。

Hermez:生成简洁的非交互式知识论证

Hermez 可以生成 SNARK(简洁的非交互式知识论证)的密码证明,具备将以太坊扩展到每秒 2000 笔交易的能力。该体系主要依靠协调员处理并生成有效性证明,协调员通过拍卖程序选出,注册的网络节点会出价成为下一个协调员。目前,Hermez 团队已宣布他们正在开发零知识的以太坊虚拟机 (ZKEMV),旨在实现完全的操作码兼容性。

Celer推出的跨链支付网络cBridge宣布支持Optimism:由二层扩容平台Celer Network推出的跨链支付网络cBridge宣布支持Optimism。用户现可通过cBridge在Optimism、Avalanche、OKExChain、xDAI、Ethereum、Arbitrum、Binance Smart Chain以及Polygon之间进行高速、低成本的跨链和跨层转账。

此前报道,7月23日Celer上线基于原子交换技术的跨链桥方案cBridge v1.0版,计划在短期内陆续支持更多Layer2和Layer1区块链的跨链和跨层转账。[2021/9/1 22:51:02]

ZKSync:生成简洁的非交互式知识论证

ZKSync 将自己的项目描述为一个扩展和隐私引擎,支持在以太坊中进行 Ether 和 ERC-20 代币的低 Gas 传输。在 ZKSync 中,只有一个验证者处理批次并生成有效性证明。现已推出 ZKSync 2.0 ,作为链下数据可用性解决方案,确认质押和数据可用性,同时保障监护人无法窃取资金。

Optimism 和 ZK 从踏入市场开始,便走入了两条不同的扩容方案道路。欺诈式证明和有效性证明,对应的是开发者和用户不同的使用需求,从而在吞吐量、时效性、成本等各方面展现各自的“高光属性”。具体可以从以下几个方面思考不同的开发场景需求,在这两者间做出相应的选择。

Optimism 无需大规模部署验证,在假设所有交易都是有效的前提下,节省了大量开发步骤,并将这些验证信息发布到基础层。这种得益于在乐观的情况下,不需要做任何额外的工作,就能极大降低了技术人员的开发门槛,节省了大量时间、精力、金钱成本。如果开发者想在短时间内上手 Rollup 解决方案,Optimism 当是首选,数据表明 Optimistim 可以提供高达 10-100 倍的可扩展性改进。

相较而言,ZK Rollup 需要提供有效性证明并一一提交给主网,这一步骤带来的技术开发难度远高于 Optimism。常有新手开发者尝试使用 ZK Rollup 时面临错误百出的情况,反而降低了扩容效率和运行速度。

Optimism 的互操作性很强,也可以执行智能合约。这让 Optimism 在 L2 上具备更多灵活操作的空间,以用户共同参与的行为,让 Optimism 的运作更具备“信任度”,从而赢得了更好的数据保护、确定的交易双方权利等附加优势。值得一提的是,如 Fuel、OMGX、Cartesi 等团队中的大多数人也试图为他们的 Rollups 开发一个与 EVM 兼容的版本,让 Optimism 的可适性更强,性能更出众。

而 ZK Rollup 目前大多限于简单的交易,这给 ZK Rollup 的扩展带来了诸多局限。因此,目前 ZK 只能通过 ZKSync 开发的兼容 EMV 虚拟机,来支持任何用 Solidity 编写的智能合约,开拓其应用空间。或者凭借 Loopring、Hermez 和 ZKTube 来扩展支付规模,引入隐私功能等。

作为保障用户交易和提供确权证明的机制,交易后资金的提取速度也是开发者和用户选择的关键。而在这个角度上,ZK Rollup 反倒更有优势。Optimistim 的争议解决过程繁琐,必须给所有参与者足够的时间来提交欺诈证明,然后再最终确定交易。这段时间相当长,毕竟在确保最坏的情况下,欺诈性交易仍有可能被申诉。从 Optimistim 中提取资金的时间长达一两周。

相较之下,ZK Rollup 不存在长时间提现的问题,因为只要将 Rollup 批次连同有效性证明提交到第 1 层,资金就可以提现。这无形中节约了用户的时间成本,也促使更多交易流通加快实现,提升了交易环境的整体效率。

目前,ZK Rollup 使用复杂的数学计算和密码学来确保交易在 ETH 主链上被 "结算",这在验证本质上不同于 Optimistim。像 SNARK、STARK、PLONK 和 DARK ,这些部署在 ZK Rollup 上的证明策略都包括数据足迹、证明时间、验证时间、串通风险等方面各自安全强度和风险证明。

可见,相比单纯的欺诈性证明来说,ZK 在安全隐私保护上设置了多重保障与验证机制,确保交易验证的严谨周到。还有如 Aztec 正专注于将隐私功能引入其 ZK Rollup 技术,从而完善 ZK Rollup 的隐私机制。

正如我们所看到的那样,Optimism 和 ZK 作为 Rollup 解决方案上“各有千秋”。新的一年,它们仍将在各自的道路上革新迭代,或许我们可以期待 2023 年 Optimism 和 ZK 这两种扩容方案会应用到更多实际项目中去,持续为以太坊的发展赋能加码。

目前来说,我们只能得出 Layer 2 将在使以太坊更具可扩展性方面发挥重要作用的结论,但是何种 Rollup 解决方案更胜一筹?则不能有明确的说法。毫无疑问的是,Optmism 与 ZK 会朝着成为 Web3 世界 Rollup 方向的“黑马”推出更多优化举措。

长期来看,或许随着 ZK 相关技术的不断发展,ZK Rollup 的局限性会被打破,迸发出强劲的应用潜力。我们也希望在未来的时光里,这两种 Rollup 方案能够实现优势互补,将安全隐私、时效成本、开发门槛等因素的融合为更加优质的产品,打开一个新世界。正如我们所看到的那样,Optimism 和 ZK 作为 Rollup 解决方案上“各有千秋”。新的一年,它们仍将在各自的道路上革新迭代,或许我们可以期待 2023 年 Optimism 和 ZK 这两种扩容方案会应用到更多实际项目中去,持续为以太坊的发展赋能加码。

参考文献:

Optimistic、zk-Rollups、L3...以太坊的可扩展性研究现在已经走到了哪一步?

以太坊的扩容之路

深度|如何理解 ZK 和 Optimistic Rollup 的前景和区别?

Optimistic Rollups VS ZK Rollups :六个最令人兴奋的以太坊 Layer 2 扩展项目

Optimism 的未来:Bedrock 升级,Rollup 去中心化以及融合 ZK 方案

科普 | ZK Rollup & Optimistic Rollup

L2 Rollup 的竞争现状和挑战

TinTinLand

个人专栏

阅读更多

金色财经

金色早8点

澎湃新闻

Odaily星球日报

Arcane Labs

深潮TechFlow

欧科云链

链得得

MarsBit

BTCStudy

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

大币网

[0:0ms0-5:345ms