Optimisitic Rollup 到底哪里不如 ZK Rollup?_LOC:ABC Block

原用标题:《OptimisticRollups的胜负手》

作者:IOBCCapital

Vitalik在2021年曾说:

Ingeneral,myownviewisthatintheshortterm,optimisticrollupsarelikelytowinoutforgeneral-purposeEVMcomputationandZKrollupsarelikelytowinoutforsimplepayments,exchangeandotherapplication-specificusecases,?butinthemediumtolongtermZKrollupswillwinoutinallusecasesasZK-SNARKtechnologyimproves.

现在名声最响的ZKRollups项目都还没有发币,比如zkSync、StarkEX、StarkNet、Aztec?等,而OptimisticRollup的绝代双骄中Optimism的代币已经在各大主流交易所流通交易,而且最近随着加息落地、ETH2.0临近、OP空投的抛压盘消化殆尽等各方面因素影响,OP价格也有不错的表现。面对这强势的币价表现,许多人不由得就会想问:OP到底哪里不如ZK?

Succinct宣布关于构建Optimism远程静态调用概念验证RFP的申请已被Optimism基金会接受:7月28日消息,Succinct在社交媒体上表示,其提交的关于构建Optimism远程静态调用概念验证RFP的申请已被Optimism基金会接受。如果实现集成功能,将允许用户在任何L2合约通过使用预编译来查询L1状态,包括为L2上的DeFi协议读取Chainlink的L1数据,根据L1ERC20代币余额加权对L2进行治理投票。[2023/7/28 16:04:06]

我先列一下OptimisiticRollup与ZKRollup的几个最关键的区别:

第一,安全性,ZKRollup优于OptimisticRollup。zkRollup提交给L1的新状态随附了Proofs,可继承L1的安全保证;而OptimisticRollup提交给L1的新状态没有随附证明,当TVL增长到一定量时,矿工可能被贿赂从而导致错误发生后的欺诈证明不被纳入区块中,继而发生被盗风险;

Aelin Protocol将于5月24日展示其分发Optimism代币的计划:5月23日消息,去中心化融资协议Aelin Protocol将于5月24日7:00展示其分发Optimism代币OP以及其他各种AELIP代币的计划。此外Aelin表示,对于OP代币,提议以1.10 sUSD的价格出售给Optimism社区。[2022/5/23 3:35:20]

第二,拓展性,ZKRollup优于OptimisticRollup。Optimistic的实际吞吐量上限为500TPS,而ZK超过2000TPS,StarkEx甚至可达到9000TPS;

第三,可验证最终性,ZKRollup优于OptimisticRollup。zkRollup的最终确定性时间很短,比如zkSync是10分钟;而OptimisticRollup的最终确定性时间最少为一周。两者相比资本效率相差很大;

由OlympusDAO推出的债券化市场Olympus Pro上线Optimism:3 月 9 日,由算法稳定币协议 OlympusDAO 推出的债券化市场 Olympus Pro 宣布上线以太坊 Layer2 扩容解决方案 Optimism。Olympus Pro 现已支持 6 个网络,包括以太坊、Fantom、Polygon、Avalanche、Arbitrum 和 Optimism。[2022/3/9 13:46:20]

第四,EVM兼容性,OptimisticRollup优于ZKRollup。OptimisticRollup兼容EVM,他们可以非常快速、便捷地将现有的EthereumLayer1上的各种Dapps吸引过去,所以目前OptimisticRollup系列的Layer2项目的TVL排名靠前。不过,随着zkVM的研发,OptimisticRollup的这个优势也将被削弱。

发现Optimism漏洞的开发人员 Jay Freeman 为兰花协议创始人:2月17日消息,此前以太坊二层扩容方案 Optimism 开发人员表示,一个严重错误已经在本月早些时候完成修复。根据 Optimism 官方博客文章中所述,该团队表示相关漏洞是在该项目以太坊客户端 Geth 分叉中发现的,具体而言,该漏洞可以通过在持有 ETH 余额的合约上反复触发 SELFDESTRUCT 操作码,导致在 Optimism 上创建 ETH 成为可能。Optimism团队表示,根据其分析,除了以太坊数据初创公司 Etherscan 的一名工作人员意外激活外,该漏洞未被利用,在确认漏洞后几个小时候,Optimism 就对该漏洞修复进行了测试并部署到 Optimism 的 Kovan 和 Mainnet 网络(包括所有基础设施提供商)。据悉,发现该漏洞的开发人员 Jay Freeman 已经获得了 2,000,042 美元赏金,而他正是兰花协议 Orchid Protocol 创始人,也是 Apple Dev Team 的一员,所有越狱 iPhone 使用者都肯定熟悉他开发的 Cydia,一款类似苹果软件商店的软件,用户可以购买安装比苹果软件商店更高权限的软件,从而实现输入法、浏览器内嵌插件等程序,甚至可以解开网络锁、软件锁,从而可以免费使用破解的游戏和软件。[2022/2/17 9:57:44]

要搞清楚为什么Optimistic安全性不如ZK、资本效率低,需要了解OptimisticRollup的工作原理,接下来以ArbitrumRollup为例:

Synthetix启动以太坊二层扩容方案Optimistic测试第二阶段:据官推消息,合成资产平台Synthetix宣布已启动以太坊二层扩容方案Optimistic Ethereum测试的第二阶段。在此阶段,Synthetix将与Optimistic尝试从一层(L1)迁移至二层(L2),并扩大可以参与的用户数量。[2020/10/14]

ArbitrumRollup是一种OptimisticRollup。其基本架构如下图:

Arbitrum是作为Ethereum的Layer2协议,EthBirdge是Arbitrum链中正在发生的事情的最终权威来源,也需要维护链的Inbox/Outbox。Aribtrum的执行环境是AVM,AVM的设计起点是EVM,在许多方面都没有改变,所以Arbitrum支持EVM编写或编译的程序。OffchainLabs给Arbitrum编写的操作系统是ArbOS,ArbOS为智能合约提供了与EVM兼容的执行环境,所以ArbOS这个操作系统中可以运行EVM兼容的Dapps,也就意味着Ethereum链上的各种Dapps可以直接迁移过来。

Arbitrum在ArbitrumRollup链上发生的所有交易都是记录在Rollup链上的。在Arbitrum上执行交易也需要ETHGasFee,但比Layer1上更便宜很多。提交到Ethereum链上的是原始交易数据,合约的计算执行和存储是在ArbitrumRollup链上。优化交易压缩以最大限度地减少需要在Ethereum链上发布的内容,对于Layer2降低成本和提高吞吐量至关重要。对于不携带自己的Calldata的简单转账交易,基准测试表明:Arbitrum允许每秒最多4500笔转账交易。

如何达成共识?

ArbitrumRollup是一种乐观的Rollup,也就是说先默认大家都是诚实的,所以在发布断言时,不要求随附证明其有效性。而是采取欺诈证明的机制来确保Layer2网络的正确共识。

Arbitrum的欺诈证明:当断言在链上发布时,做出该断言的验证者会发布保证金,并且有一个时间窗口,如果他们认为这是错误的,任何人都可以发布自己的保证金并质疑断言。在挑战窗口期,断言者和挑战者可以来回交互协议,链上合约充当协议的裁判。最后,裁判确定一方提出了虚假索赔,没收保证金来惩罚该方。

那么Arbitrum究竟是怎么解决挑战期内的争议的?

核心是交互式证明。这其实是一种对争议做细化剖析,来寻找关键争议点,并通过Layer1Referee来判断的方案。

举例说明:假设Alice提交了一个断言,而Bob不同意并发起了挑战。如果Alice的声明涵盖了N个执行步骤,则她发布两个大小为N/2的声明,它们结合起来产生她的初始N步声明,然后Bob选择Alice的N/2步声明中的一个来挑战。现在争议的规模已经减少了一半。这个过程继续进行,在每个阶段将争议减半,直到他们对一个执行步骤产生分歧。将争议缩小到一个步骤时,L1裁判才需要通过查看指令实际执行的操作以及Alice关于它的声明是否正确来解决争议。

Arbitrum采用的交互式证明与EthereumLayer1采用的重新执行交易相比,区别在于:重新执行交易是需要模拟整个交易的执行,而交互式证明是让Alice和Bob两个人自己把争议缩小到一个步骤,从而使得L1裁判只需要模拟1个交易的执行。Arbitrum和Optimism的区别也体现在争议的解决上,Optimism是把整个有问题的交易都通过EVM运行。

由上可知,OptimisticRollups之所以安全性不如ZK、资本效率低,关键在于证明机制不同。

回归到扩容的初心,相对于以太坊L1的性能,OptimisticRollup其实已经实现了扩容的主要目的,而且因为OptimisticRollups有EVM兼容的优点,发展情况还不错。在Layer2项目的TVL排行榜上,OptimisticRollups的绝代双骄Arbitrum和Optimism分别以2.48B和1.04B的TVL位列前2。Arbirum生态入驻了21种分类的249个应用协议,Optimism生态也有179个项目。

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

金宝趣谈

[0:15ms0-6:179ms