在链上宣布的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和状态通道。正从理论走向实践,但与此同时,将这些技能视为
郑重声明:本文版权归原作者所有,转载文章仅为传播更多信息之目的,如作者信息标记有误,请第一时间联系我们修改或删除,多谢。