解密 Optimism 与ZK 的版图体系

2023-07-14 18:40:02 views

由币讯网小编分享(www.sucof.cn),正如我们所看到的,Optimism和ZK作为Rollup解决方法上“各有千秋”。在新的一年里,他们仍然会在各自的道路上进行创新迭代,也许我们可以期待2023年Optimism和ZK这两种扩展方案将应用到更多的实际项目中,不断为以太坊的发展赋能加码。以下内容将为您解答。


一、Optimism


OptimisticRollup,正如它的名字所说的那样“乐观”机制-欺诈确认(Fraudproofs)。默认情况下,系统执行交易数据的可靠性将直接进入等待期,无需有效验证。如果任何节点在等待期内提出质疑并证明为恶意交易,交易将被取消;如果没有异议,交易将在等待期结束时完成并写入块。“欺诈证实”交易计划免除了大规模的部署验证,从而节省了计算资源,保证了交易的准确性。OptimisticRollup其中,显著的方案是Arbitrum和Optimism。Optimism虽然是第一个发明和EVM兼容的OptimisticRollup协议,但局限于主网启动延迟。Arbitrum获得后发优势。


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

Optimism利用智能合约,将交易数据从以太坊主链转移到Layer2.定序器可以将多笔交易捆绑成批号,然后通过单笔交易将批号提交给主。在所有交易都有效的假设下,定序器乐观地执行相应的过程。在此期间,可以提出任何关于系统配置一周的等待期的问题。如有异常,将产生欺诈证明。


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

Arbitrum2021年5月28日在以太坊主网上启动。总的来说,实施过程差别不大,一般是因为Arbitrum在将争议范围缩小到特定步骤之前,验证人和挑战者通过链下二分法不断拆分有争议的过程,然后将争议范围缩小到特定步骤。L1链上判断相应步骤,有效处理争议。所以,与之相比,Optimism而言,Arbitrum能够承载更高的交易能力,实现更彻底的交易。“追本溯源”。


四、ZKRollup

ZKRollup(零知识证明),这一概念在1980年被麻省理工学院的研究人员引入,一度被称为麻省理工学院。“月亮数学”。ZKRollup这是一个扩展计划,可以通过零知识的有效性来证明。它分批处理链下交易,并生成加密有效性证明来验证交易的真实性。这些有效性证明将批量交易添加到L1区块链,可以使用L1合同快速验证,而无效批号将被直接拒绝。假设是这样。Optimisticrollups假定每一个参与交易的人都是出于善意做事的,ZKRollup然后尽力确定情况的确如此。


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

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


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

ZKSync将自己的项目描述为一个扩展和私密引擎,支持在以太坊内进行。Ether和ERC-20代币的低Gas传送。在ZKSync其中,只有一名验证员处理批号,生成实效证明。现在已经推出了。ZKSync2.0,作为链下数据可用性的解决方案,确定质押和数据可用性,同时确保监护人不能窃取资金。


七、Optimism VS ZK:谁更胜一筹?

Optimism和ZK从进入市场开始,我们就进入了两个不同的扩展方案。欺诈证明和有效性证明,对应的是开发者和用户的不同使用需求,然后在吞吐量、时效性、成本等方面呈现出自己的“高光属性”。具体可从以下几个方面考虑不同的研发情景需求,并在两者之间做出相应的选择。


八、开发门槛与使用成本

Optimism在假设所有交易都有效的前提下,无需大规模部署验证,节省了大量的开发步骤,并向基层发布了这些验证信息。这是因为在乐观的情况下,技术人员的R&D门槛可以大大降低,节省大量的时间、精力和金钱成本,而无需做任何额外的工作。如果开发者想在短时间内开始Rollup解决方法,Optimism当然是首选,数据显示Optimistim能提供高达10-100倍的可扩展性改善。


九、智能合约可执行性

Optimism具有很强的互操作性,还可以执行智能合同。Optimism在L2上有更多灵活的操纵空间,让用户共同参与的行为,Optimism更具有运行性“信任感”,从而获得更好的数据保护,确定买卖双方权利等附加优势。Rollups开发一个与EVM兼容性版本,让Optimism可适应性更强,性能更好。


十、提取资金的执行效率

交易后资金提取速度也是开发者和用户选择的关键,作为保证客户交易和提供确权证明的机制。但是从这个角度来看,ZKRollup反而更有优势。Optimistim争议解决过程繁琐,所有参与者都必须有足够的时间提交欺诈确认,然后最终确定交易。这个时间相当长,因为在保证最坏的前提下,欺诈交易仍然可能被投诉。Optimistim获得资金的时间长达一到两个星期。


十一、安全隐私保护的力度

目前,ZKRollup使用复杂的数学计算和密码学来保证交易。ETH主链上被"清算",这种验证在本质上是不同的。Optimistim。像SNARK,STARK,PLONK和DARK,这些布署在ZKRollup上面的确认策略包括数据足迹、确认时间、验证时间、串通风险等各自的安全强度和风险确认。可以看出,与单纯的欺诈证明相比,ZK多重保障和验证机制设置在安全隐私保护上,确保交易验证的严谨性和全面性。


总结

综上所述,正如我们所看到的,Optimism和ZK作为Rollup解决方法上“各有千秋”。在新的一年里,他们仍然会在各自的道路上进行创新迭代,也许我们可以期待2023年Optimism和ZK这两种扩展方案将应用到更多的实际项目中,不断为以太坊的发展赋能加码。