Rollup的出现是为了解决Layer1的扩展问题。事实证明,rollup在扩展方面也需要一些帮助。特别是,rollup可以通过访问更多的数据可用性来获得更高的吞吐能力。
当然,现在有广泛的解决方案,旨在为卷积提供可扩展的数据可用性,如Ethereum、Celestia、EigenLayer和Avail.下面是对它们在一些指标上的比较的简要和不完整的看法。
DA层纵览
区块时间
区块时间衡量的是每个区块之间的时间长度。
Celestia、Ethereum和Avail
OpenAI:所有付费API客户都可以访问GPT-4:金色财经报道,OpenAI的官网显示,从7月6日开始,所有付费API客户都可以访问GPT-4。本月早些时候,他们发布了对基于聊天的模型的第一次更新。他们设想未来基于聊天的模型可以支持任何案例。而当前,他们宣布了一项针对旧型号的Completions API的弃用计划,并建议用户采用Chat Completions API。OpenAI表示,现有的API开发者将可以使用拥有8K上下文能力的GPT-4 API。此外他们计划在本月底向新开发人员开放访问权限,然后根据计算可用性开始提高速率限制。[2023/7/7 22:24:30]
在这三个项目中,两个项目的区块时间都在8秒之内:以太坊的区块时间为12秒,Celestia为15秒,Avail为20秒。它们之间的差异真的不大,也没有明显的影响。如果看一下它们需要多长时间才能达到最终结果,它们之间的真正区别就变得更加明显了。
EigenLayer
EigenLayer是唯一一个不是区块链的项目——它是一组生活在Ethereum上的智能合约。任何需要转发到rollup合约的数据,如证明数据可用性的法定人数的签名,都依赖于以太坊的区块时间和最终性。如果rollup的一切都依赖于EigenLayer,那么它就不会受到Ethereum区块时间的约束。
数据:比特币市占率回升至44.5%:金色财经报道,据Coingecko数据显示,当前比特币市占率回升至44.5%,以太坊市占率为18.6%。全网加密货币总市值暂报1,180,634,005,292美元,涨幅为0.5%。[2023/5/21 15:16:11]
终结性和共识算法
终结时间是指一个区块产生并被视为终结的时间。所谓终结性,我们的意思是,如果被认为是终结性的交易被逆转,大量的质押将被烧毁。正如它所说,共识协议以不同的方式处理最终性。
以太坊
以太坊使用一个协议组合来实现共识,(https://ethereum.org/en/developers/docs/consensus-mechanisms/pos/gasper/#:~:text=Togetherthesecomponentsformthe,aresyncingthecanonicalchain.).GHOST是以太坊的区块生产引擎,依赖于概率终结性。为了提供更快的终结性,以太坊利用了一个终结性小工具:?Casper.
Web3电子学习平台JetLearn收购K-12黑客松组织SchoolHacks:12月9日消息,Web3电子学习平台JetLearn宣布收购K-12黑客松组织SchoolHacks,具体收购金额暂未披露。
据悉,SchoolHacks总部位于硅谷,专门组织学龄学生设计的黑客马拉松,本次收购或将JetLearn面向中小学学龄儿童的Web3在线学院与SchoolHacks联系起来。[2022/12/9 21:33:04]
Casper提供了经济终结性的保证,因此交易可以更快地完成。但是,Ethereum使用Casper每64-95个槽才最终确定区块,这意味着Ethereum区块的终结性大约是12-15分钟。反过来,这导致rollup在收到他们发布到以太坊的数据和承诺的最终结果之前要等待12-15分钟。
EigenLayer
由于EigenLayer是以太坊上的一组智能合约,它也继承了与以太坊相同的最终确定时间,用于任何需要被转发给rollup合约以证明数据可用性的数据。同样,如果rollup完全使用EigenLayer,它可以更快终结完成,这取决于任何共识机制的使用,等等。
Celestia
Celestia使用Tendermint?作为其共识协议,该协议具有单槽终结性。也就是说,一旦一个区块通过了Celestia的共识,它就被最终确定。这意味着最终结果基本上和区块时间一样快。
数据:过去一年中DAO数量增加8.8倍:6月10日消息,根据Electric Capital工程师Emre Caliskan在推特上分享的Snapshot Labs的数据,DAO的数量已经增加了8.8倍,从2021年5月的700增加到现在的6000。在过去的12个月里,提案数量增加了8.5倍,总票数增加了8.3倍,从44.8万增加到370万。(Cointelegraph)[2022/6/10 4:16:32]
Avail
Avail和Ethereum一样,使用组合协议来实现终结性,BABE和GRANDPA1.BABE是具有概率终结的区块生产机制,GRANDPA是终结性小工具。虽然GRANDPA可以在一个槽中完成区块的生产,但它也可能在某一轮中完成多个区块的生产。在最好的情况下,Avail的终结时间是20秒,在最坏的情况下是多个区块。
数据可用性采样
在大多数区块链中,节点需要下载所有交易数据来验证数据的可用性。这造成的问题是,当区块大小得到增加时,节点需要验证的数据量同样增加。
数据可用性采样是一种技术,允许轻量级节点只下载区块数据的一小部分来验证数据可用性。这为轻量级节点提供了安全保障,以便它们可以验证无效的区块,并允许区块链在不同样增加节点要求的情况下扩展数据可用性。
Terra创始人Do Kwon宣布Terra新链主网上线:5月28日消息,Terra创始人Do Kwon宣布,Terra新链*phoenix-1主网上线,正在生产区块,公共节点服务、钱包和浏览器应该很快就会上线。[2022/5/28 3:47:36]
Celestia与Avail
Celestia和Avail在推出时都将支持数据可用性采样轻节点。这意味着它们将能够通过更多的轻节点安全地增加区块大小,同时保持对用户验证链的低要求。
以太坊
带有EIP4844?的以太坊将不包括数据可用性采样。EIP4844引入了区块大小的增加,并设置了一些技术基础来实现danksharding,如blob交易和kate承诺。为了验证实施EIP4844的以太坊的数据可用性,用户仍然必须运行完整的节点并下载所有的数据。
EigenLayer
虽然目前EigenLayer没有围绕DAS的官方计划,但已经有暗示说DAS可能在未来成为EigenLayer轻型客户端的一个选项。有两种选择:
·?来自定序器的DAS:来自定序器的DAS将增加定序器的开销,因为只有领导者能够为当前区块的所有轻客户提供样本请求——除非实施某种共识机制,使非领导者能够提供样本请求。
·?来自EigenLayer的DAS:EigenLayer的DAS需要一个强大的p2p网络和额外的机制,如区块重建,才能有充分的安全性。
虽然DAS可能不会在启动时实施,但它看起来可能会在以后进入EigenLayer.在那之前,验证EigenLayer链的DA需要一个完整的节点。
轻型节点安全性
区块链依靠用户运行节点来抵御恶意攻击。
传统的轻客户端与全节点相比,安全假设较弱,因为它们只验证区块头。轻客户端无法检测到无效区块是否是由不诚实的大多数区块生产者生产的。具有数据可用性采样的轻节点在安全性方面得到了升级,因为它们可以验证是否产生了无效的区块——如果DA层只做共识和数据可用性。
Celestia与Avail
由于Celestia和Avail都将有数据可用性采样,它们的轻量级节点将有信任最小化的安全性。
以太坊与EigenLayer
拥有EIP4844的以太坊不会有数据可用性采样,所以它的轻客户不会有信任最小化的安全。由于以太坊也有其智能合约环境,轻客户也需要验证执行,以不依赖诚实的大多数假设。
对于EigenLayer来说,除非有DAS,否则轻型客户,如果被支持的话,将依赖于诚实的大多数被恢复的节点。
编码证明方案
擦除编码是一个重要的机制,它使数据可用性采样成为可能。擦除编码通过产生额外的数据副本来扩展一个块。额外的数据创造了冗余,为采样过程提供了更强的安全保证。然而,节点可能试图不正确地对数据进行编码以破坏网络。为了抵御这种攻击,节点需要一种方法来验证编码的正确性——这就是证明的作用。
以太坊、EigenLayer和Avail
这三个项目都使用一种有效性证明方案来确保区块被正确编码。这个想法的工作原理类似于zkrollup使用的有效性证明。每次产生一个区块,验证者必须产生对数据的承诺,节点使用kzg证明来验证——明该区块被正确编码。
虽然,为kzg证明产生承诺需要区块生产者的更多计算开销。当区块很小的时候,生成承诺并没有多少开销。当区块变大时,为kzg证明产生的承诺会带来更多的负担。负责生成kate承诺的节点类型将可能需要更高的硬件要求。
Celestia
Celestia是独一无二的,因为它使用欺诈证明方案来检测错误的编码块。这个想法的工作原理类似于optimisticrollup使用的欺诈证明。Celestia节点不需要检查一个区块是否被正确编码。他们默认认为它是正确的。这样做的好处是,区块生产者不需要做昂贵的工作来产生对擦除编码的承诺。
但是,轻量级节点确实需要等待一小段时间,然后才能假定一个区块是正确编码的,在他们看来是最终确定的。这个等待期是为了让光节点在一个区块被错误编码的情况下从全节点收到欺诈证明。如果一个节点被黯然失色,使其无法收到欺诈证明,它将认为无效的区块是有效的。然而,不被黯然失色是节点实际验证区块链的一个假设,不管欺诈证明如何。
欺诈证明和有效性证明编码方案的主要区别在于生成承诺的节点开销和光节点的延迟之间的权衡。在未来,如果有效性证明的权衡变得比欺诈证明更有吸引力,Celestia可以转换他们的编码证明方案。
郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。