http://www.7klian.com

以太坊(ETH)的殽杂二层扩容协议曙光

但这些优势从何而来?谜底在于一个技能性很强的问题,即数据可用性问题。根基上有两种要领可以实验在第二层系统中作弊。第一是向区块链宣布无效数据。第二种要领是完全不宣布数据(譬喻在Plasma中将新Plasma区块的根哈希宣布到主链,但不向任何人透露该区块的内容)。已宣布但无效的数据很容易处理惩罚,因为一旦数据在链上宣布,就有多种要领可以明晰地判定它是否有效,而无效的提交则明晰地无效,因此提交者大概会受到重罚。另一方面,不行用的数据更难处理惩罚,因为纵然在受到质疑时可以检测到不行用性,但也无法靠得住地确定是谁的宣布的错误数据,尤其是假如默认环境下保存数据,而且只有在某些验证机制试图验证其可用性时才按需显示数据。这在“渔夫逆境”中获得了说明,它显示了挑战响应游戏如何无法区分恶意提交者和恶意挑战者:

在链上宣布的zk rollup包的理会。数百个影响zk rollup系统状态(即帐户余额)的“内部事务”被压缩到一个包中,该包中包括每个指定状态转换的内部事务约10个字节,外加一个约100-300字节的snark,证明转换都是有效的。





但与此同时,一个被遗忘的“半二层(semi-layer-2)”协议种别又从头呈现了,该协议在扩展方面临用户来说不会有太大的收益,可是该协议更容易普及和越发安详模子。2014年,一篇被遗忘已久的博客文章提出了“影子链(shadow chains)”的观念,即区块数据在链上宣布,但区块在默认环境下不会被验证的架构。相反区块是临时接管的,只有在一段时间(如2周)后才气最终确定。在这两周内,一个临时接管的区块可以被质疑;只有这样该区块才被验证,假如该区块被证明是无效的,那么该区块之后的链将被回滚,区块宣布者的抵押将受处处罚。智能合约并不需要跟踪系统的整个状态,它只跟踪根状态,用户本身可以通过处理惩罚自始至终提交给链的数据来计较状态。最近的提案ZK Rollup通过利用ZK-SNARK来验证区块的有效性,从而在没有挑战期的环境下完成了沟通的事情。

那么,zk/optimistic rollup(乐观汇总)之类的数据链上技能与plasma之类的数据链外技能对比有什么长处呢?首先不需要半信任的操纵者。在zk rollup中,由于有效性是通过加密证明来验证的,因此包提交措施实际上不行能是恶意的(按照配置,恶意提交措施大概会导致系统暂停几秒钟,但这是大概造成的最大危害)。在(optimistic rollup)乐观汇总中,恶意提交者可以宣布恶意区块,,但下一个提交者将在宣布本身的区块之前当即对该区块提出质疑。在zk和(optimistic rollup)乐观汇总中,链上宣布的数据足够让任何人来计较完整的内部状态,只需按顺序处理惩罚所有提交的增量,而且没有“数据预扣进攻”可以夺走此属性。因此成为一名操纵者是完全没有权限的,所需要的只要一笔用于反垃圾邮件目标的担保金(如10 ETH)。

今朝的二层扩容的要领--根基是Plasma和状态通道。正从理论走向实践,但与此同时,将这些技能视为

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

相关文章阅读