ELE:如何在 Celestia 上拥有结算层以及面临着哪些权衡?_CEL

Celestia在L1区块链设计中是独一无二的,因为它没有智能合约功能。相反,它选择了尽可能简单的设计——消除了执行流程。这个想法是其他区块链,如Rollup,可以成为用户部署智能合约的地方。同时,Celestia为Rollup提供了他们需要的可扩展基础设施。

面对放弃智能合约,Celestia无法为rollups提供任何结算服务。虽然结算是一个相对模糊的术语,但带有智能合约的结算层可以提供一些东西。

一个桥接中心,可促进rollup之间的代币传输。用于验证欺诈证明和解决争议的争议解决。一个流动性的来源。就目前而言,如果Rollup打算使用Celestia,同时还需要上面列出的任何结算功能,它可以使用Celestia之上的结算层。事实上,这个结算层只是一个Rollup。

虽然为结算而堆叠rollup是一种潜在的解决方案,但Celestia还可以采取哪些其他途径来载入结算层?

添加智能合约

将智能合约功能引入Celestia似乎违反直觉,因为它被明确设计为不具备这些功能。添加智能合约的主要问题是这抵消了Celestia从一开始因没有智能合约而获得的许多好处。其中一些权衡:

除了区块头和数据可用性之外,节点还需要验证交易的有效性。它们必须消耗和向网络提供除带宽之外的资源。Celestia不能再利用简单的gas核算,但现在必须考虑与智能合约gas定价相关的所有领域,例如执行和状态存储成本。轻节点将失去其信任最小化的安全属性,除非添加一个允许它们在不重新执行整个区块的情况下验证交易的证明系统。如果没有证明系统,轻节点的安全属性将不再等同于Celestia全节点。状态增长的问题将被重新引入。就目前而言,Celestia将状态增长降低到可能的最低速率。添加智能合约会带来与臃肿状态相关的所有潜在问题,例如性能瓶颈和增加的节点需求。Celestia确实使用了CosmosSDK,因此它确实可以通过CosmWasm之类的工具直接集成智能合约。添加智能合约的另一个好处是,Celestia可以在其用于迁移代币的Rollup之间建立信任最小化的桥梁。

除此之外,使Celestia成为一个具有智能合约的L1会带来大量的权衡,其中许多可能是不可取的。

执行分片

这个想法需要添加另一个与Celestia相关的区块链。Celestia主链将保持最小化,而分片将具有用于Rollup结算的智能合约。有几种方法可以实现:

Celestia验证者成为分片的验证者:交易在分片上得到处理,验证者每X秒走一次共识流程。每个已确认区块的Merkle根都被检查到Celestia主链中。Celestia验证者成为分片的区块生产者:交易由区块生产者处理并捆绑到区块中。带有任何欺诈/有效性证明的区块都会发布到Celestia主链。在这种情况下,分片就像一个Rollup。选项2将使在分片上维护信任最小化的轻节点变得更加容易,因为它的运行类似于带有证明系统的rollup。验证分片可能是减轻节点负担的选择过程。以轻节点为例,节点运行者可能有以下选择:

在Celestia主链上运行一个轻节点在分片上运行轻节点在主链和分片上同时运行一个轻节点无论如何,如果节点想要完全的安全保证,他们应该同时验证主链和分片,这意味着增加了硬件要求。分片上的节点还必须对交易有效性感兴趣,而不仅仅是共识和数据可用性。然而,证明是一种可扩展的方式,可以降低验证交易的开销——尽管它们并非没有自己的权衡。

一个潜在的明显问题是分片会显着增加协议和工程的复杂性。如果以太坊技术不断复杂,那么区块链应该尽可能降低复杂性。

链间安全

分片的替代途径是可能的——链间安全。链间安全的概念是给定链的验证者选择成为子链的验证者。子链本身可以是一条独立的链——拥有一个独立的社区——同时从提供者链那里继承安全性。

Celestia可以使用链间安全的目的是将另一条链置于其安全之下,而无需创建与该协议密不可分的分片。也没有什么可以阻止enshrined结算层成为Celestia顶部的L1或Rollup层。

链间安全通过CosmosSDK中的一个模块进行管理,与执行分片相比,该模块在引导和维护enshrined结算层方面引入的复杂性显着降低。

由于enshrined结算层将是一个明显独立的区块链,因此验证Celestia的节点不会有额外的要求。只有Celestia验证者需要参与验证。节点也可以选择验证结算层,但如果他们决定不这样做,它们不会失去安全保证。

Celestia与其所供奉的结算层之间的桥梁的安全模型将取决于其实施。是标准IBC、带有欺诈/有效性证明的定制IBC,还是一种更深奥的桥梁解决方案?

简而言之,跨链安全可以让Celestia保持其围绕扩展和节点要求的所有技术优势,而无需分片的复杂性或将智能合约直接添加到链中。

可信的中立性

有一种可能的论点是,如果Celestia拥有一个结算层,它就会失去一些中立性——使其与位于其之上的所有结算层竞争。

Celestia社区可能希望建立一个与在新领域竞争无关的结算层的原因有很多。

最终,可能会由社区来决定将结算层纳入Celestia——也许是通过治理投票或一些链下社会协调。如果社区认为建立一个结算层符合其最大利益,那么也许这是一条值得追求的道路。

责任编辑:Felix

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

大币网

[0:0ms0-3:406ms