亚博官方网站_以太坊重要扩容方案: Optimistic Rollup现状报告(中)

发布时间:2020-11-29    来源:亚博官方网站 nbsp;   浏览:8445次

亚博官方网站_本文是《以太坊最重要配套方案: Optimistic Rollup现状报告》的第二部分。第一部分请求页面《以太坊最重要配套方案: Optimistic Rollup现状报告(上)》查询。作者:自由软件工程师,技术顾问,作家翻译家:艾玛,雪璐编辑:Samuel的原EVM:第二层虚拟机需要被信任,为了使第二层智能契约计算出来,必须有一个可用的解决方案,就是以某种形式在第一层继续执行这个计算。所以ORU反对原EVM,第2层必须有自己的虚拟机,可以在EVM基础层继续执行,所以不容易创建和构建高性能。

亚博官方网站

简而言之,EVM的设计理念不是自己操作。你可以从EIP那里学到一些挑战,它还讨论了改变EVM来拆分这个函数的可能性,开尔文菲舍尔在《普拉姆萨》中解释了这个问题。因此,所有五个原始EVM项目都为第2层创建了自己的EVM修订版,以继续进行。为了确保欺诈证据的可靠性和可预测性,虚拟机的持续执行必须是确定性的;即需要在证明时准确再现最初发现欺诈的情况。

因此,非确定性运算符几乎必须修改或删除,例如,检查块高度、可玩性和时间切割。在某种程度上,用于创建或密封合同的操作代码也必须删除,因为逻辑是相似的。因此,在部署到ORU链之前,ORU上第1层的契约可能必须对Solidity代码进行一些小的更改。

防欺诈所有最初的EVM ORUs在如何改进防欺诈方面都有一些基本的共性:定期排序并提交ORU链状态,计算出的运算符哈希值也是如此,并继续执行状态切换。(在所有实践中,分解和验证状态根提交的责任落在操作者身上,而不是用户身上)。可以在这些数据中使用欺诈证据来指出提交的步骤没有将初始状态正确地切换到最终状态。

最初的EVM实践的主要区别在于它们之间在处理这些欺诈证据时的交互程度。本质上,ORU必须包含足够的调用数据,这样才能立即发现欺诈和不道德,最终获得主链的共识。

然而,继续执行该欺诈证明的过程因结构而异。在单轮(有时不被混淆地称为“非交互式”)欺诈证明方案中,欺诈总是可以在单个交易或多个单方面交易中得到证明。

这样做的好处是可以立即“解决问题纠纷”,而且没有难的载体,不需要骗取保证人的保证金,操作者也很简单。在多轮欺诈证明中,欺诈是显而易见的,但是在欺诈证明者和块生产者之间必须有几个交互步骤。这样做的好处是Gas的成本更低(有些情况下甚至更低),链上的数据成本也可能更低。单轮防欺诈,Celer的Nutberry、Optimization、ORU都反对单轮防欺诈。

这就否定了每个事务都必须提交给序列化的后状态根。在最优性的模型中,塞勒也必须受到影响。

如果检测到欺诈,欺诈证明者不会宣布交易的初始状态和最后状态的时隙,让主链几乎继续执行交易。(这个过程非常类似于用于测试Ethereum块的无状态客户端模型。)。

亚博官方网站

理想情况下,交易只需要最长的时间来证明欺诈。但是,事务可能需要加载大量的状态数据。

如果必须计算和/或计算欺诈证明,并且很难将其放在主链块上,那么最优性可以将证明分成多个交易(请注意,这些交易仍然由欺诈证明人提交。所以,从某种程度上来说,这额外的一步并不符合“互动”的条件。

)Nutberry的方法和这个类似,只是用在“门控计算”模型中继续执行合同。智能合同被修复以包括检查点。 在这个模型中,事务将提交更详细的中间状态根,这可能需要更多的数据,但是继续在更小的数据块中执行防欺诈。

多轮欺诈证明,证明人必须在多个步骤中与欺诈证明人交互,以请求多轮欺诈证明。根据ORU的定义,关键是要公布足够的数据,让任何一个有诚意的参与者或观察者从一开始就能确认哪一方说的是真话,从而预测关键时期的结果。

在州际一号的示例中,事务包括状态根,并且Merkle根被提交给继续执行的相应步骤,但不提交给步骤本身。从某种程度上说,这种提交是一种二级“最优”假设。只有当检查人员明确提出问题时,操作员才不会在呼叫数据中发布EVM消息堆栈,并且检查人员可以使用该信息来详细证明欺诈。在最坏的情况下,该过程总共进行3轮,拒绝调用的数据与所涉及交易的步骤数成线性关系(与单轮欺诈证明相比,所有情况下都需要线性数据)。

交互增强中最先进的设备是Offchain Labs的Arbitrum Rollup,只能在一定程度上增加链的足迹。在Arbitrum中使用,只有块,而不是事务,必须提交状态根。像州际,这些也包括提交哈希值的计算。

如果双方明确提出对立主张,就会变成争执;在这场纠纷中,他们不会互动地为违宪的继续执行找到一个单一的计算步骤(在欺诈的情况下,网卓新闻网至少应该没有违宪步骤)。他们在堆栈中执行有效的二分搜索法,直到欺诈被隔离:也就是说,欺诈证明者将状态散列推至堆栈中间的某个点,然后将堆栈一分为二,并重复未知的违宪部分。这个过程会被大大重复,直到只剩下一个违宪的操作者,然后操作者继续在链中执行。

因此,在最坏的情况下,该过程必须有(n)个日志步骤(其中n是操作数),并且必须由最高层1计算。这种方法的一个令人惊讶的特点是,尽管争议正在展开,但系统的其余部分需要停止。

用户和区块生产者之后可以照常交易。争议可以看作是可能性树上的一个分支。

有诚意的用户可以检查确认哪一方是有诚意的,然后在此基础上发展,了解最终纠纷会如何解决。因此,争议的持续时间会延迟系统的其余部分。有关更多信息,请参见仲裁汇总的工作方式。当应用于特定的RollupsORU项目时,它反对更受限制的功能,同时寻求围绕更具体的案例进行优化:通行证支付、分散交易、私人支付和大规模移民。

这四个协议是不同的,将分别探讨。Fuel(“区块链中的比特币”)Fuel正在实施基于UTXO的以支付为中心的ORU侧链,其数据模型类似于比特币。

这种设计必须平衡智能合同的一些功能,以便建立简单和更便宜的检查和欺诈证明。本质上,许多关于燃料和原始EVM奥鲁之间的权衡的想法类似于比特币和以太网之间的想法。像比特币一样,燃料链的状态被隐式定义为所有未花费的交易输入的子集;状态根序列化不是必需的。反对简明欺诈证明的模型类似于格雷格麦克斯韦(Greg Maxwell)2014年最初为比特币提出的模型(2019年由约翰阿德勒(John Adler)再次独立发现并重新求解,2019年由约翰阿德勒(John Adler)重新求解);该交易非常类似于比特币交易,但包括一个额外的数据区,用于注册每个输出的处置位置。

有了这个数据区,你可以用一两个包含证明来证明所有的诈骗案件(双付反击、诈骗安置等)。)在淘汰赛中。 除了低成本的欺诈证明,UTXO模型有望构建更高性能的测试——更好的状态访问模式和分段空间(与EVM继续执行的实时完成测试相比)。燃料将用于反对ERC20和ERC721传输的模型中,这可以体现比特币的彩色硬币提案。

它还反对一些类似的交易类型,包括HTLCs的原子交换。最后,该计划反对更强大的无状态谓词脚本语言,这种语言类似于比特币脚本。(更多信息请参考此处。

)。ANON的ZK-最优-汇总的另一个独特的ORU项目是ANON的ZK-最优-汇总,反对E RC-20和ERC-721支付交易,与ZCash的隐私地址有同样的隐私保障。

亚博官方网站

这个设计和ZCash本身有很多共同点(ZCash底漆请参考此处);经济补偿采用UTXO式的“发行”形式;支付新发行创建的“作废者”,并记录发行是为了避免以后重复支出。这笔交易还包括ZK-斯纳克,它可以证明它符合所有的有效性条件,并且没有向观察者透露任何细节。

为了确保简洁的欺诈证明,ZK-奥鲁享有ZCash所没有的功能:废除通知存储在稀疏Merkle树中,并随着每个新的奥鲁块进行修改。这可以证明会员(已提交)和非会员(未提交)。

像所有其他ORU一样,计算被悲观地推迟了,包括SNARKS本身的测试。所有诈骗案件,包括违宪的SNARK,都可以一步到位证明。注意分解SNARK的重任落在了用户身上;ANON并不指望一个客户需要10-30秒来分解SNARK。

(还应该注意的是,ZK-最优-汇总与ZK-汇总有本质上的不同,尽管其名称和组成相似。后者不一定获得隐私维护,不用于防欺诈,用于算子分解的SNARK证明其有效性。偏爱加密货币。

作为wcl的ORU Hub,ORU运营商的目标是成为上卷链之间的批量交易标准,这是用户强制其资金转入升级合同的一种手段。运营商本身就是一个基于账户支付的非常简单的链条。

和Fuel一样,它获得廉价的欺诈证明和数据测试。这种结构的主要目的是创建一个标准的架构,这样就有必要在不同的链之间进行扩展和移动,也就是说,不需要把亚博app注册钱从一个链存入另一个链。这可以通过反向堆积和单向链之间的交叉连接来实现。

只要目的地链的检验员发现到货链的欺诈是不道德的,付款就可以视为最终付款,任何额外的延迟都会发生。这类似于围绕ETH 2.0跨分片通信对ETH 2.0跨分片通信逻辑的研究。虽然主要的规划用例是可伸缩性,但是这种机制的其他潜在用例在独立的、不同的和动态的汇总链之间移动,所以我们必须响应更多的研究。

关于上卷链和必须确认的规范链之间移动的准确一致的更详细的信息还没有公开发布,所以以后这里不再附上链接。IDEX 2.0 IDEX的独特之处在于,他们将ORU视为已经投入生产的项目的最佳支持版本。

亚博官方网站

IDEX合同目前在主网络中运行,IDEX合同比以太网中的其他应用程序使用更多的状态模块。IDEX 2.0的汇总链反对注册订单的分散事务功能,并且是围绕这个特定的用例构建的。链负责管理订单的继续执行,保证用户的平衡,允许设置再次发生,比如更高级的订单类型,自动交易引擎等等。

IDEX奥鲁的测试员必须有IDEX通行证。检查员提交收据以证明公布的区块,并根据他们在有效区块上的签名和有效欺诈证书的发放(如果他们自由选择拒绝接受所有“风险”测试)获得奖励和/或惩罚。 奖励是为部分交易成本和自己的证书支付的(加密经济学模型的分析不在本文范围内;有关更多信息,请参见IDEX 2.0白皮书DEX 2.0白皮书。

协议中,块生产者只上传块的Merkle根作为初始传递,批评时只向调用数据发布块内容。由于在链中不能保证汇总块数据的可用性,这不完全符合上述“最佳汇总”的定义;本质上,他们称之为“优化汇总优化汇总”。一旦公布通话数据,可以采取一两个可选步骤来证明欺诈是不道德的。下面将讨论这种方法对信任/安全性的影响。

【亚博官方网站】。

本文来源:亚博官方网站-www.intimator.com