我们没有争论EVM客观上是历史上最好的

时间：2022-01-12|浏览：7097

欧易(OKX)

用戶喜愛的交易所

币安(Binance)

已有账号登陆后会弹出下载

我们没有争论EVM客观地说，它是有史以来最好的。我们认为，考虑到已经和已经EVM开发人员、代码和开发人员工具的数量，EVM它有许多实际优势。考虑一个部署在以太坊的项目，如果要扩展到 Rollup ，必须用新语言重写代码，委托新的安全审计，并维护多个代码库，这既麻烦又容易出错。但即使对于尚未编写任何代码的新项目，EVM兼容性也是一个很大的优势，因为它允许这些项目围绕它们使用EVM代码、工具和人才库存在。
一些ZK该项目正在努力实现和实现EVM兼容的版本，但尽管它们的声明含糊不清，但我们不知道迄今为止发布的任何代码允许人们在ZK Rollup 时运行EVM合同。现有的初步系统存在严重的不兼容性。例如，一个声称EVM兼容性的ZK未能实现系统ADDMOD、SMOD、MULMOD、EXP、SELFDESTRUCT和CREATE2操作码；正在考虑删除正确的XOR、AND和OR支持；不支持标准事务格式；不支持任何预编译；并可能限制事务中的合同调用次数。ZK即使在最好的情况下，模型似乎也有根本性的不兼容性，这保证了即使在最好的情况下，ZK EVM兼容性还将附带详细的打印页面，而不支持Optimistic Rollups完全兼容。
值得澄清的是，今天有几个特定的应用程序ZK例子(例如Zcash，ZKSync 1.0、循环)。事实上，有些系统运行良好。核心区别在于，这些只是微调，非常适合ZK特别优化了实现的特定应用程序。今天不存在的是通用编译器，允许人们以兼容的方式实现EVM到ZK转换。尽管一些团队声称正在研究它，但没有可用的公共代码或用户定义ZK-EVM证明合同成本的基准。根据我们的知识和所有公共数据，我们认为它们的成本太高了。
结论：只有Optimistic支持完全的EVM兼容性，成本最低。
Optimistic Rollup与ZK：无条件信任的可见性和压缩性
我们在设计Arbitrum时间的关键属性之一是无条件信任的可见性。简而言之，无条件信任的可见性意味着任何人都可以在无中心化的情况下看到或获得链上的内容。重要的是，这不仅意味着每个人都能看到状态快照；也意味着每个人都能看到链上的完整历史——它是如何实现当前状态的。实用链允许任何人在不依赖集中数据提供商的情况下运行节点，支持非变异调用、搜索事件历史记录和查看每个事务。不可信赖的可见性使这成为可能。
坦白说，有些ZK该系统削弱了可见性，并试图谈论它们没有提供完整的区块链功能的事实。当你听到关于压缩的讨论时，请听：他们是否说他们在更有效地编码链上的内容（Arbitrum这样做，将在我们身上Nitro版本做得更好)？还是他们说链上的历史记录永远不会可用，除非集中数据提供商以后愿意和你分享？
回想一下，ZK证明只证明证明人知道有效的链。证明没有告诉你链是什么，即使你有足够的数据来验证，你也可能没有足够的数据来重建链的历史。
例如，假设Alice连续向Bob提交 1 ETH的交易，Bob连续向Charlie提交 1 ETH交易。后来，你证实爱丽丝比以前少了一个ETH的证明，Bob余额没有改变，Charlie比以前多1个ETH。
但是发生了什么事？爱丽丝付给鲍勃了吗？Bob付钱给Charlie是吗？也许爱丽丝直接付钱给查理。也许爱丽丝烧掉了一个ETH，Charlie是别人付的。也许戴安娜是中介，不是鲍勃。Bob希望区块链能找到证据，但有些人ZK Rollup 无法提供链式可见性，他无法分辨区别。
许多智能合同应用程序不仅需要偶尔了解一个检查站。他们需要知道链上发生了什么，以及如何达到最终状态。ZK Rollups有时吹嘘比Optimistic Rollups有更好的压缩ZK供应商表示，他们不需要在链上发布历史记录。他们真正说的是，他们不能保证链的可见性。放弃链可见性保证不是我们愿意做的妥协。
结论：Optimistic Rollup该系统以最低本提供无条件信任的可见性。

我们没有争论EVM客观上是历史上最好的
Optimistic Rollup与ZK：无条件信任，及时结束
考虑 Rollup 的一个关键要求是它是否提供了无条件的信任和及时的最终结果。简而言之，这意味着在你提交交易后，你应该迅速、确定地知道你和其他人的结果，没有人应该改变或取消它。
我们认为，实现及时结束的最好方法是将交易顺序与其执行分开。排序生成最终拟议的事务顺序，并尝试执行该顺序中的事务。如果事务的执行是确定的，就像仲裁一样，那么完成事务的顺序就足以最终确定结果，因为结果是事务顺序的确定函数。如果每个人都知道交易顺序，那么每个人都可以很容易地确定结果。
最终确定序列需要发布序列L1链包含足够的信息，让任何人都能自己交易，无条件信任地了解结果。理想的 Rollup 尽可能频繁地将序列交易数据发布到L1链。
在Optimistic Rollup发布在系统中L事实上，1链的开销最小，Arbitrum通常每隔1分钟左右就会朝向L1链发布序列化的交易数据，为用户提供快速的最终结果，并确保没有人能取消他们的交易。每小时左右都会做新的Optimistic Rollup结果断言，但由于序列已经完成，执行是确定的，最终结果不会减慢。
原则上，ZK该系统可以类似的方式运行；即将交易顺序(可以经常发布到L1)与稍后的验证分开，偶尔会提供有效性证明。然而，以这种方式运行ZK Rollup 要求基本和Optimistic Rollup系统发布的数据发布到L1链；上述(所谓)压缩技术不可用。为了使这些压缩技术发挥作用，每次发布一批L交易时，同一笔L一系列交易必须实时验证L交易的有效性。
因此，寻求使用吹捧的压缩技术ZK Rollup 有两种选择：
序列交易和执行证明每分钟左右发布:这保留了速度，但要求每分钟在链外生成ZK-Proof并在L1链上验证。根据实施情况，在链上发布ZK证书的成本估计在50万到500万之间gas之间。
每小时发布顺序交易和证明：这使得ZK检查成本合理，但最终时间延长到一小时。ZK用户甚至不能保证他们的交易将被包括在内，只能信任运营商的消息，直到运营商在链上提交交易并发布几个小时。
假如我们正在建造ZK在系统中，我们会发现这两个选项是不可接受的——第一个太贵了，第二个没有提供及时的最终结果。因此，我们最终会使用它Optimistic Rollup相同版本的序列器ZK版本的Arbitrum基本相同的数据在中线发布。
假如你听到有人吹嘘ZK请小心将数小时的数据压缩到一个时间节点。如果他们只在很长一段时间结束时发布一个数据点，这意味着他们在此期间没有提供结束。
结论:实际考虑迫使Optimistic Rollup和ZK系统以同样的方式及时处理结束。
Optimistic Rollup与ZK：无条件信任的活力
无条件信任的活力意味着任何人都可以迫使系统取得进展。(无条件信任的安全属性保证了这一进展是正确的。
优化的 Rollup 允许任何节点声明正确执行。索赔只需在节点执行链上进行交易，然后存入股份，该股份可在协议确认索赔后退还。
在ZK在系统中，进度要求任何节点都能创建和发布推进链状态所需的内容ZK其中一个证这必须使用任何人都可以随时使用的硬件和软件。因此，它不能要求建造或购买特殊用途的硬件或大规模并行计算。必须在普通设备上建造合适的设备ZK证明方式。不提供此服务ZK供应商，或未为其系统发布代码，不提供无条件的信任进展，系统没有活力保证。他们的系统是集中的，因为只有拥有特殊设备的各方才能迫使进步。（目前还不清楚领先的ZK Rollup 提供商是否能证明对普通用户可行？
结论：在一个Optimistic Rollup在系统中，更容易有无条件信任的进步
ZK vs.Optimistic Rollup：桥接
ZK Rollup 与以太坊的桥梁确实是一个优势领域。Optimistic Rollup该系统预计将资金从 Rollup 到L1将推迟一周ZK Rollup 允许在ZK证明发布到L1后立即架起。在实践中，差别不大，因为Optimistic Rollup用户可以使用快速桥接服务L2资金换成低延迟的L1基金。ZK主要优点是用户可以避免支付桥接服务收取的小额费用（这些服务在价格上相互竞争）。这不仅仅是理论上的：今天有许多实时和快速的桥接服务Arbitrum即时提款。
重要的是，ZK Rollups桥接优势相当狭窄：仅适用于从L2到以太坊的桥接。以前(2019年左右)，很多人认为Rollups实时提供一两个dapp慢慢推出。在这样的世界里，Rollup用户会不断发现自己在L1和L来回切换。但这不是我们所处的世界。Arbitrum拥有蓬勃发展的生态系统，数百个dApp遍布Defi许多用户正在与每个角落合作Arbitrum建造桥梁并长时间停留在那里。此外，由于用户跳过多个链，他们不仅去以太坊。他们还使用其他的L1和侧链，对于这种直接桥接，ZK Rollups没有比Optimistic Rollups的优势。