原用标题:《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?
Optimism Collective将进行第四季社区治理实验,引入“集体意图”等新概念:5月17日消息,以太坊二层解决方案Optimism发推文称,Optimism Collective正在通过实验建立社区治理,Optimism Collective正在通过实验建立社区治理。在第4季中,Collective将进行几项关键实验,旨在增加社区对Optimism逐步去中心化的参与。该季度实验引入了一些新概念:集体意图、使命与联盟、集体信任等级。[2023/5/17 15:07:38]
我先列一下OptimisiticRollup与ZKRollup的几个最关键的区别:
第一,安全性,ZKRollup优于OptimisticRollup。zkRollup提交给L1的新状态随附了Proofs,可继承L1的安全保证;而OptimisticRollup提交给L1的新状态没有随附证明,当TVL增长到一定量时,矿工可能被贿赂从而导致错误发生后的欺诈证明不被纳入区块中,继而发生被盗风险;
OP Labs:Bedrock升级将为Optimism主网桥引入新的两步取款流程,可提高安全性:3月23日消息,OP Labs在推特上表示,Bedrock升级将为Optimism主网桥引入一个新的两步取款流程,这将提高其安全性并使攻击更加困难。
L1 的新提款流程分为两部分:证明和最终确定。要从Optimism主网提取资金,用户必须在包含提款交易的L2区块的输出出现在L1上时立即提交取款证明。平均而言,此输出需要大约一个小时才能出现在以太坊上。一旦提交了提现证明,用户等待标准的7天结束窗口,然后用户才能在L1上完成提现。[2023/3/23 13:22:03]
第二,拓展性,ZKRollup优于OptimisticRollup。Optimistic的实际吞吐量上限为500TPS,而ZK超过2000TPS,StarkEx甚至可达到9000TPS;
第三,可验证最终性,ZKRollup优于OptimisticRollup。zkRollup的最终确定性时间很短,比如zkSync是10分钟;而OptimisticRollup的最终确定性时间最少为一周。两者相比资本效率相差很大;
Lido Finance:计划扩展至L2的Arbitrum和Optimism网络,并启动wstETH:金色财经报道,Lido Finance宣布L2 计划更新,Lido的目标是创建一系列高流动性的质押资产,并在DeFi中得到广泛应用。L2代表了大规模实现这一目标的清晰途径。虽然从L2直接质押ETH是目标,但这一切都始于无缝的L2代币桥接。L2扩展的第一步是将ETH抵押衍生品与Arbitrum和Optimism联系起来,同时保留我们的收益资产的属性。由于跨 L2 网络易于集成,因此重点将放在 wstETH(stETH 的不可变基版本)上。[2022/8/16 12:29:00]
第四,EVM兼容性,OptimisticRollup优于ZKRollup。OptimisticRollup兼容EVM,他们可以非常快速、便捷地将现有的EthereumLayer1上的各种Dapps吸引过去,所以目前OptimisticRollup系列的Layer2项目的TVL排名靠前。不过,随着zkVM的研发,OptimisticRollup的这个优势也将被削弱。
Vesta提案称将上线Optimism并申请100万枚OP作为激励:7月7日消息,Arbitrum上稳定币协议Vesta在Optimism社区发布提案称将上线Optimism并申请100万枚OP作为激励,其中50%用于Optimism上的流动性挖矿,25%分配给开发人员,15%用于以Optimism为重点的营销活动,10%分配给在Optimism上参与xMint的用户。Vesta允许用户通过抵押以太坊、renBTC、GMX等资产铸造美元稳定币VST。[2022/7/7 1:57:17]
要搞清楚为什么Optimistic安全性不如ZK、资本效率低,需要了解OptimisticRollup的工作原理,接下来以ArbitrumRollup为例:
ArbitrumRollup是一种OptimisticRollup。其基本架构如下图:
Layer2 NFT交易市场Quixotic支持Optimism代币OP进行交易:6月1日消息,Optimism上NFT市场Quixotic宣布现在正式支持Optimism代币OP进行交易。
Layer2 NFT交易市场Quixotic在Optimism和Arbitrum上运营。[2022/6/1 3:55:00]
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个项目。
作者:DanielLi,星球日报近期以太坊联合创始人VitalikButerin在ETHSeoul演讲时预测,ZK-Rollups将在以太坊扩容战争中击败OptimisticRollups.
1900/1/1 0:00:00作者:王峰,小隐于链来源:MarsBit熊市多学习,偶写随笔。昨晚终于抽出时间,把今年五月份的一份区块链领域内非常重要的论文基本读完.
1900/1/1 0:00:00作者:Cryptonews近日,GameFiasaService平台GameSpace宣布发起PlayerOne计划.
1900/1/1 0:00:00链捕手消息,据CoinDesk报道,美联储和联邦存款保险公司责令加密借贷公司Voyager停止任何有关在公司倒闭时其客户资金将受到政府保护的错误称述.
1900/1/1 0:00:00作者:ComingChat市场在2022年走进了低谷,但Web3世界却从未停下创新的脚步。对于那些优秀的生态建设者和参与者来说,奋楫扬帆正当时.
1900/1/1 0:00:00链捕手消息,DeFi保险平台NexusMutual将部署2900万美元资金至借贷协议MapleFinance赚取收益.
1900/1/1 0:00:00