Web3全球开发者社区汇总
本篇内容由UST DAO社区创作与长期更新维护,收藏不迷路,也欢迎大家加入我们社区探讨财富密码。链接: https://linktr.ee/ust_dao Encode club Enclode club是定位于欧洲的全球领先的开发者社区,有大量优秀的项目从这里孵化。链接encode.club 登链社区 大陆地区领先的区块链技术教育社区。链接 https://learnblockchain.cn/ Rebase研究院 Rebase 是由中国的 Web3.0 开发者们在业余时间凭热爱建立的开发者社区。同时Rebase 是一个极客组织。链接 https://rebase.network/ Developer Dao 全球知名的开发者DAO组织 链接 https://www.developerdao.com/
币圈投融资信息查询
本篇内容由UST DAO社区创作与长期更新维护,收藏不迷路,也欢迎大家加入我们社区探讨财富密码。链接: https://linktr.ee/ust_dao Dove Metrics Dove Metrics是目前币圈更新最为及时的投融资数据平台。 Cypherhunter 发现区块链公司,区块链项目,区块链dApp,区块链专家,区块链资源…… CypherHunter 正在构建开放的数据库与管理工具,帮助用户全面了解区块链行业及相关加密资产的动态。以此发现区块链公司,区块链项目,区块链dApp,区块链专家,区块链资源以及背后的团队,融资,VC等等盘根错节的关系。 Crunchbase Crunchbase是一个以Web 2.0方式表达的创业公司数据库,包含了创始人,关键雇员,财务状况,收购新闻以及其他重要事件。此外,Crunchbase也包含了知名创业人物及投资者的信息。

KaratDAO, 基于zkSync的去中心化数据网络
项目介绍KaratDAO是一个Web3去中心化身份以及数据分析处理的平台,它是唯一完全上链的数据中间件,为用户提供共享和控制其数据的能力。该网络开辟了无限的可能性,例如个人数据市场,并鼓励 dApps 建立在其之上,进行精准的定制化的营销。 针对提供给Karat数据的用户,其核心产品是去中心化的数据身份协议Karat Network,允许用户控制他们的 Web2 和 Web3 数据,同时通过参与网络获得代币奖励; 针对使用数据的项目方,目前已经有3款产品可以使用,包括Karat Form,Wallet Dashboard与Airdrop Launchpad。 Karat Network可以通过用户贡献的去中心化数据,建立更好的web3客户画像,为使用其 dApps的项目方提供精准的数据,赚取收益,同时贡献个人数据的web3用户又可以拿到KaratDAO的代币奖励。在KaratDA公开Deck中,我们可以查到,目前该产品已经收集了25万用户信息,并且已经开始为一些项目方提供服务,当前能够产生每月5万美元的稳定收入。 Karat Network 利用最先进的 MPC 和 ZK 技术,...
专注于币圈投资研究交易以及孵化的DAO组织,创建于Terra庞氏大奔溃期间。
Web3全球开发者社区汇总
本篇内容由UST DAO社区创作与长期更新维护,收藏不迷路,也欢迎大家加入我们社区探讨财富密码。链接: https://linktr.ee/ust_dao Encode club Enclode club是定位于欧洲的全球领先的开发者社区,有大量优秀的项目从这里孵化。链接encode.club 登链社区 大陆地区领先的区块链技术教育社区。链接 https://learnblockchain.cn/ Rebase研究院 Rebase 是由中国的 Web3.0 开发者们在业余时间凭热爱建立的开发者社区。同时Rebase 是一个极客组织。链接 https://rebase.network/ Developer Dao 全球知名的开发者DAO组织 链接 https://www.developerdao.com/
币圈投融资信息查询
本篇内容由UST DAO社区创作与长期更新维护,收藏不迷路,也欢迎大家加入我们社区探讨财富密码。链接: https://linktr.ee/ust_dao Dove Metrics Dove Metrics是目前币圈更新最为及时的投融资数据平台。 Cypherhunter 发现区块链公司,区块链项目,区块链dApp,区块链专家,区块链资源…… CypherHunter 正在构建开放的数据库与管理工具,帮助用户全面了解区块链行业及相关加密资产的动态。以此发现区块链公司,区块链项目,区块链dApp,区块链专家,区块链资源以及背后的团队,融资,VC等等盘根错节的关系。 Crunchbase Crunchbase是一个以Web 2.0方式表达的创业公司数据库,包含了创始人,关键雇员,财务状况,收购新闻以及其他重要事件。此外,Crunchbase也包含了知名创业人物及投资者的信息。

KaratDAO, 基于zkSync的去中心化数据网络
项目介绍KaratDAO是一个Web3去中心化身份以及数据分析处理的平台,它是唯一完全上链的数据中间件,为用户提供共享和控制其数据的能力。该网络开辟了无限的可能性,例如个人数据市场,并鼓励 dApps 建立在其之上,进行精准的定制化的营销。 针对提供给Karat数据的用户,其核心产品是去中心化的数据身份协议Karat Network,允许用户控制他们的 Web2 和 Web3 数据,同时通过参与网络获得代币奖励; 针对使用数据的项目方,目前已经有3款产品可以使用,包括Karat Form,Wallet Dashboard与Airdrop Launchpad。 Karat Network可以通过用户贡献的去中心化数据,建立更好的web3客户画像,为使用其 dApps的项目方提供精准的数据,赚取收益,同时贡献个人数据的web3用户又可以拿到KaratDAO的代币奖励。在KaratDA公开Deck中,我们可以查到,目前该产品已经收集了25万用户信息,并且已经开始为一些项目方提供服务,当前能够产生每月5万美元的稳定收入。 Karat Network 利用最先进的 MPC 和 ZK 技术,...
专注于币圈投资研究交易以及孵化的DAO组织,创建于Terra庞氏大奔溃期间。
Share Dialog
Share Dialog

Subscribe to UST DAO

Subscribe to UST DAO
<100 subscribers
<100 subscribers
全文未校对 英文原版Pay Attention To Celestia
关键要点 每个人都执行每笔交易的单体链本质上是不可扩展的。因此,多链世界是不可避免的,以某种形式。我们相信模块化区块链可能是多链世界的最佳方法。
Celestia 是第一个真正模块化的区块链。“它的愿景是 Cosmos 的主权可互操作区域和以汇总为中心的以太坊与共享安全性的结合”。
Celestia 通过将执行与共识分离并引入数据可用性采样来扩展。这使得 Celestia 可以模仿 BitTorrent 的属性,BitTorrent 是迄今为止已知的最具可扩展性和去中心化的协议之一。预计 Celestia 将在可预见的未来实际支持任何潜在的用户需求,同时保持验证的美元成本相当稳定。
将区块链重新想象为模块化堆栈具有超出可扩展性的含义。Celestia 的独特优势包括信任最小化的桥梁、主权链、高效的资源定价、更简单的治理、轻松的链部署和灵活的 VM。
模块化区块链是区块链设计的范式转变,我们预计它们的网络效应在未来几年将变得越来越明显。尤其是预计在 2023 年推出 Celestia 的主网。
每个人都执行每笔交易的整体链本质上是不可扩展的。确实,这就是为什么几乎每个主要生态系统都在为多链世界而构建的原因。
正如我们在上一篇文章中所阐述的,生态系统在设想多链世界的方式上有所不同。今天吸引最多活动的两种方法是以太坊和 Cosmos。
简而言之,以太坊设想了一个以 Rollup 为中心的未来。汇总往往比 L1 更昂贵且灵活性更低,但它们可以彼此共享安全性。相比之下,Cosmos 是一个由称为区域的可互操作主权 L1 组成的生态系统。虽然 Zones 可以比 Rollups 更便宜、更灵活,但它们不能彼此共享完全的安全性。
Celestia 结合了这两个世界的精华。正如一位明智的匿名人士所说,“Celestia 的愿景是将 Cosmos 的主权互操作区域与以汇总为中心并具有共享安全性的以太坊结合起来。”
如果上面的图表对您不完全有意义,请不要担心。当我们深入研究 Celestia 的范式转换模块化区块链设计时,我们将在这篇文章中解开所有这些内容。我们将占用帖子的前半部分来回答“如何”,而后半部分将解决 Celestia 的“为什么”。如果您熟悉 Celestia 的工作原理,我们建议您跳到这篇文章的后半部分,我们列出了它的 8 个独特属性。您可能会惊讶地发现,塞拉斯蒂亚的含义比表面上看起来更深、更强大。
Celestia 的工作原理——解耦执行 要了解 Celestia 的“方法”,我们必须首先定义它的问题陈述。Celestia 的诞生是为了寻找以下问题的答案;“为其他区块链(即汇总)提供共享安全性,区块链至少可以做些什么?”
通常,共识和有效性被称为一回事。但是,很可能将这些概念视为独立的。有效性规则确定哪些交易被认为是有效的,而共识允许节点就有效交易的顺序达成一致。
就像任何 L1 区块链一样,Celestia 实现了一个共识协议 (Tendermint) 来订购交易。然而,与典型的区块链不同,Celestia 不会推理这些交易的有效性,也不负责执行它们。Celestia 平等对待所有交易;如果交易支付了必要的费用,它就会接受、订购和复制它。
所有事务有效性规则都由汇总节点在客户端强制执行。汇总节点监控 Celestia 以识别和下载属于它们的交易。然后他们执行它们来计算他们的状态(例如确定每个人的账户余额)。如果有任何事务被汇总节点认为是无效的,它们只会忽略它们。
如您所见,只要 Celestia 的历史保持不变,运行具有相同有效性规则的软件的汇总节点就可以计算相同的状态。
这给我们带来了一个重要的结果。Rollups 不需要另一个链来执行任何执行来共享安全性。相反,他们所需要的只是就有序交易的共享历史达成一致。
Celestia 如何扩展? 虽然将执行与共识解耦为 Celestia 的独特能力奠定了基础,但 Celestia 实现的可扩展性水平并不能仅通过解耦执行来解释。
解耦执行的明显优势在于,不是每个人都默认执行所有事务,节点可以自由执行与其感兴趣的应用程序相关的事务。例如,游戏应用程序的节点(特定于应用程序的汇总)不必对执行 DeFi 应用程序的交易感兴趣。
尽管如此,解耦执行的可扩展性优势仍然有限,因为它们是以牺牲可组合性为代价的。
让我们想象一下两个应用程序想要相互交换一些令牌的情况。在这种情况下,每个应用程序的状态将相互依赖;要计算一个应用程序的状态,节点必须执行与两者相关的 txs。
事实上,随着每个新应用加入这些交互,要执行的交易数量必须增加。在极端情况下,如果所有应用程序都想相互交互,我们将回到一个单一的链中,每个人都下载并执行每个 tx。
那么 Celestia 如何实现无与伦比的可扩展性,将执行与共识解耦与它有什么关系呢?
可扩展性瓶颈 可扩展性通常被描述为增加交易数量而不增加验证链的成本。为了了解可扩展性瓶颈在哪里,我们简要回顾一下区块链是如何得到验证的。
在典型的区块链中,共识节点(验证者、矿工等)产生块,然后将其分发到由完整节点和轻节点组成的网络的其余部分。
具有高可用资源的完整节点通过下载和执行其中的所有交易来完全验证接收到的块的内容。相比之下,由于资源有限,轻节点(99% 的用户)无法验证这些块的内容,而只能跟踪块头(块数据的摘要)。因此,轻节点在比全节点低得多的安全保障下工作;他们总是认为共识是诚实的。
请注意,完整节点不会做出此假设。与普遍的看法相反,恶意共识永远不会欺骗完整节点接受无效块,因为他们会注意到无效的 tx(例如用于双花的 tx 或无效的铸币)并停止跟随链。
区块链领域最臭名昭著的可扩展性瓶颈被称为状态膨胀。随着更多交易的发生,区块链的状态(执行 txs 所需的信息)会增长,运行完整节点的成本会变得更高。这导致了一种不希望的情况,即完整节点的数量开始减少而轻节点开始增加,从而将网络集中在共识节点周围。
由于大多数链重视去中心化,他们希望他们的完整节点在消费硬件上运行。这就是为什么他们通过强制执行块/气体大小限制来限制其状态增长的速度。
欺诈和有效性证明 欺诈/有效性证明的发明有效地消除了这一瓶颈。这些是轻节点可以有效地执行以验证块的内容是否有效而无需在其中执行交易的简洁证明。该解决方案的优势在于任何具有完整链状态的单个节点都可以生成这些证明。这是非常强大的,因为这意味着轻节点可以在与完整节点几乎相同的安全保证下运行,同时消耗更少的资源。
下面是一个简化的防欺诈示例。在防欺诈中,全节点为轻节点提供足够的数据,以便它们自主识别无效交易。该证明的第一步要求全节点向轻节点显示特定数据(例如,声称无效的 tx)属于块体。
这相当简单,因为默克尔树可以用来做这件事。通过使用默克尔树,全节点可以有效地向轻节点证明特定交易包含在块中,而无需他们下载整个块。
然而,虽然证明包含 tx 是微不足道的,但证明不存在 tx 则不然。这是有问题的,因为正如我们将在下一节中看到的那样,证明不存在 tx 与证明包含 tx 以使欺诈/有效性证明有效工作同样重要。
数据可用性问题 为了让全节点首先生成欺诈/有效性证明,它们必须能够计算状态——账户余额、合约代码等。
这需要完整的节点来下载和执行所有事务。但是,如果恶意共识发布了块头,但在块体中保留了一些 tx(s) 怎么办?
在这种攻击场景下,全节点很容易注意到主体中的数据丢失,因此拒绝跟随链。但是,仅下载标头的轻节点将继续关注它,因为它们不会注意到任何差异。
数据可用性是欺诈和有效性证明的先决条件 请注意,此问题适用于基于欺诈和有效性证明的解决方案,因为如果无法访问完整数据,诚实的完整节点无法生成欺诈/有效性证明。在数据扣留攻击的情况下
在防欺诈系统中,轻节点将跟踪潜在无效链的标头。因此,诚实节点无法再验证区块。 在基于有效性证明的系统中,轻节点将跟踪具有有效但未知状态的链的标题。因此,诚实节点不再能够产生块。这意味着如果没有攻击者的同意,该链将无法继续前进。这类似于攻击者保管每个人的资金。 在任何一种情况下,轻节点都不会注意到问题,并且会无意中从完整节点分叉。
数据可用性问题本质上是一个非常微妙的问题,因为证明不存在 tx 的唯一方法是下载所有 tx,这正是轻节点由于资源限制而希望避免做的事情。
Celestia 解决了数据可用性问题 现在我们已经确定了问题所在,让我们看看 Celestia 如何解决它。早些时候,当我们区分有效性和共识时,我们提到 Celestia 并不关心交易的有效性。然而,Celestia 真正关心的是区块生产者是否已经完全发布了标头背后的数据。
使 Celestia 具有极强可扩展性的原因在于,此可用性规则可以由资源有限的轻节点自主执行。这是通过一种称为数据可用性抽样的新过程来完成的。
数据可用性抽样 (DAS) DAS 依赖于一种长期存在的数据保护技术,称为纠删码。虽然 Celestia 实施擦除编码的方式超出了本报告的范围,但了解其中的基本原理非常重要。
对一条数据应用纠删码可以扩展它,从而可以从扩展数据的固定部分恢复原始数据。例如,可以将一条数据擦除编码为双倍大小,并且可以从 any 50% 的扩展数据中完全恢复。通过以特定方式擦除编码块,Celestia 使资源有限的轻节点能够从块中随机采样一些固定的小尺寸数据块,并具有高概率保证所有其他块已可供网络使用. 这种概率保证归功于参与采样过程的节点数量。
将 DAS 视为一种游戏,其中恶意区块生产者试图隐藏区块中的数据而不会被轻节点注意到。区块生产者发布标头。基于头部中提交的数据根,每个轻节点开始从块中请求随机块(以及它们相应的 Merkle 证明,证明块中包含数据)。
比赛结果有两种:
数据已经可用 ->恶意区块生产者根据轻节点的请求从区块中释放区块。释放的块通过网络传播。虽然每个采样轻节点仅采样少量块,但鉴于它们共同采样的块超过了纠删码块的 25%,网络中任何诚实的完整节点都将能够从广播块中恢复原始块。随着网络现在可以使用完整的块,所有轻节点最终都会看到他们的采样测试成功,并确信标头后面的完整数据确实已可供完整节点使用。
通过自主验证数据是否可用,轻节点现在可以完全依赖欺诈/有效性证明,因为他们知道任何一个诚实的完整节点都可以为他们生成这些证明。
数据被扣留 ->恶意区块生产者不释放请求的区块。轻节点注意到他们的抽样测试失败了。
请注意,这不再是对安全性的严重威胁,因为恶意共识不再能够欺骗轻节点接受全节点拒绝的链。因此,对于完整的和数据采样的轻节点,缺少数据的块将显示为活动失败。在这种情况下,可以通过所有区块链的终极安全机制——社会共识来安全地恢复链。
总而言之,在任何一种情况下,完整和数据采样轻节点最终都将遵循相同的链,因此在几乎相同的安全保证下运行。
Celestia 可以提供多大的规模? DAS 的一个关键特性是集体采样的数据越多,可以为更大的数据总和提供相同的概率可用性保证。在 Celestia 的上下文中,这意味着可以通过更多节点参与采样过程来安全地使块更大(即支持更高的 tps)。
然而,DAS 中存在固有的权衡。由于技术原因,我们不会在这里讨论,数据采样轻节点的块头与块大小的平方根成正比增长。因此,希望与全节点具有几乎相同安全性的轻节点将经历 O(√n) 带宽成本,其中 n 是块大小。
关于可扩展性,有两个主要因素在起作用;
可以集体采样多少数据 轻节点的目标块头大小 其中任何一个都会限制 Celestia 的 DA 吞吐量。
下面我们分享 Celestia 团队研究的当前估计,考虑到第一个因素。
重要的是,块大小可以比这里显示的要大得多,因为 DAS 可以由资源有限的大量受众执行。甚至智能手机也可以参与采样过程,并为 Celestia 的安全性和吞吐量做出贡献。事实上,这是一个有助于 Celestia! 安全性 的智能手机示例。
实际上,我们期望采样节点的数量与用户需求相当相关。这非常令人兴奋,因为它将 Celestia 的区块空间供应定义为需求的函数。这意味着, 与单体链不同,Celestia 可以随着用户需求的增长提供低稳定的费用。
现在让我们放大第二个因素;轻节点块头的大小与块大小的 sqrt 成比例增长。虽然这可能是一个限制因素,但随着时间的推移,增加的资源需求可能会被网络带宽的改进所抵消。
还请注意,DAS 对带宽改进提供了乘法效应。如果平均轻节点的带宽容量增长 X,Celestia 的 DA 吞吐量可以安全地增长 X^2!
最后,与估计将在 2020 年代某个时候结束的摩尔计算定律不同,尼尔森的互联网带宽定律在接下来的几十年中似乎仍然适用。 因此,通过使计算完全脱链,Celestia 可以充分利用网络带宽的指数级改进。
考虑到所有因素,Celestia 有望在可预见的未来切实支持任何潜在用户需求,同时保持验证的美元成本相当稳定。通过放弃执行并引入 DAS,Celestia 可以模仿 Internet 已知的最具可扩展性的去中心化协议 BitTorrent 的可扩展性特性。
模块化 Celestia 堆栈的属性 现在我们已经介绍了 Celestia 的工作原理,让我们来看看模块化区块链的好处。将区块链重新想象为模块化堆栈具有超出纯 DA 可扩展性的含义。下面我们介绍模块化 Celestia 堆栈的 8 个独特设计属性,这些属性可能不会立即显而易见。
自主权 今天的 Rollups 就像以太坊的婴儿链一样运作。这是因为他们将他们的标头发布在以太坊上,并且他们的欺诈/有效性证明在链上执行。因此,它们的规范状态由以太坊上的一系列智能合约决定。
这一点很重要,因为这意味着汇总必须默认具有链上治理机制。然而,链上治理包括投票者参与度降低、投票购买、中心化等风险。由于这些复杂性,链上治理尚未被大多数区块链采用作为首选治理方法。
Celestia 上的汇总操作完全不同。正如我们之前看到的,Celestia 对其存储的数据没有任何意义,并将所有解释留给汇总节点。因此,Celestia 上汇总的规范状态由选择运行特定客户端软件的节点独立确定。事实上,这正是今天 L1 区块链的普遍运作方式。
因此,Celestia 上的汇总本质上是自主权区块链。通过升级其软件并选择以不同的方式理解底层数据,节点可以自由地进行硬/软分叉。例如,如果一个汇总社区就区块大小或代币供应的变化争论不休,反对阵营可以更新他们的软件以遵循不同的有效性规则。当我们反思其更深层次的含义时,您会注意到此功能比看起来更令人兴奋。
在 L1 区块链领域,有争议的硬分叉通常被认为是非常危险的,因为分叉链最终会削弱其安全性。因此,通常不惜一切代价避免分叉,从而扼杀实验。
在区块链历史上,Celestia 首次为链带来了分叉的能力,而无需担心安全性稀释。这是因为所有分叉最终都将使用相同的 DA 层,而不会放弃Celestia 共识层的安全优势。想象一下,如果区块链从一开始就以这样的方式运行,比特币区块大小的争论会变得多么顺利,或者以太坊 DAO 分叉可能会得到解决。
我们预计这将加速区块链领域的实验和创新 ,达到超出当今基础设施所能想象的水平。下面的可视化来自一个完美地说明了这一点的线程。
灵活性 另一个将特别加快 VM 领域创新步伐的力量是 Celestia 与执行无关的特性。
与以太坊汇总不同,Celestia 上的汇总不一定要设计用于 EVM 可解释的欺诈/有效性证明。这将 Celestia 上的 VM 设计空间向更大的开发者社区开放,并使其面临激烈的竞争。
今天,随着 Starkware、LLVM、MoveVM、CosmWasm、FuelVM 之类的出现,我们已经见证了替代 VM 的出现获得了关注。自定义虚拟机可以在执行的各个方面进行创新;支持的操作、数据库结构、事务格式、软件语言等,以在解决特定用例的同时实现最佳性能。
虽然 Celestia 本身并没有直接扩展执行,但我们预计其与执行无关的性质将为高度竞争的 VM 市场奠定基础,以寻求功能强大、可扩展的执行。
轻松部署 如果多年来加密货币有一种趋势没有改变,那就是区块链部署变得多么容易。
在早期,没有 PoW 硬件就无法启动去中心化网络;最终通过引入 PoS 消除了瓶颈。与 PoS 一起,成熟的开发人员工具(如 Cosmos SDK)使发布新区块链变得更加容易。然而,尽管取得了进步,但引导 PoS 共识的开销仍然远非理想。开发人员必须寻找新的验证器集,确保他们拥有广泛分布的令牌并处理共识的复杂性等。
虽然 Polkadot 平行链和以太坊汇总消除了这个瓶颈,但前者的部署成本仍然很高,而后者的运营成本仍然很高。
Celestia 似乎是这一趋势的下一个演变。Celestia 团队正在使用称为Optimint的 Cosmos SDK 实施 ORU 规范。该工具与其他工具一起解决了未来的需求,即可以部署任何链,而无需开发人员担心共识的开销或昂贵的部署/运营费用。可以在几秒钟内部署新的链,并让用户从第一天起就可以安全地与它们交互。
高效的资源定价 以太坊计划在未来几年分阶段展开其分片计划。据此,它将具有仅数据分片,汇总只能用于发布数据。随着基础层的数据容量增加,这自然会导致更便宜的汇总费用。然而,这并不意味着以太坊放弃其在 L1 上的有状态执行环境。
以太坊有一个神圣的执行。要在以太坊上运行一个完全验证的汇总节点,还必须对执行以太坊的 L1 状态感兴趣。然而,以太坊已经有一个巨大的状态,在这个状态上执行绝不是一项廉价的任务。这个巨大的国家对汇总施加了越来越多的技术债务。
更糟糕的是,用于限制 L1 状态大小的相同单位(即 L1 气体)也用于计量汇总的历史数据。因此,只要 L1 上出现活动高峰,所有汇总的费用都会随之增加。
在 Celestia 的模块化区块链堆栈中,活跃状态增长和历史数据被完全分开处理。Celestia 的区块空间仅存储历史汇总数据,这些数据以字节为单位进行衡量和支付,所有状态执行都由汇总在自己的独立单元中计量。由于活动受不同费用市场的影响,一个执行环境中的活动高峰不会恶化另一个执行环境中的用户体验。
5.信任最小化的桥梁 理解整个 L1 与 L2 辩论的一种方法是将它们全部视为一些链条和桥梁。
从广义上讲,桥梁有两种形式。信任和信任最小化。受信任的桥依赖于交易对手链的共识,而信任最小化的桥可以由任何单个完整节点保护。
为了使链条形成信任最小化的桥梁,他们需要两件事;(i) 相同的 DA 保证 (ii) 一种解释彼此欺诈/有效性证明的方式。
因为 L1 不满足共享 DA 的前一个条件,所以它们之间不能形成信任最小化的桥梁。他们能做的最好的事情就是依靠彼此的共识进行通信,这必然意味着降低了安全性。
另一方面,汇总以最小化信任的方式与以太坊通信。以太坊可以访问汇总的数据并在链上执行他们的欺诈/有效性证明。这就是为什么汇总可以拥有到以太坊的信任最小化的桥梁,可以由任何单个汇总节点保护。
具有最小信任桥的链可以被视为集群。Celestia 为链条之间形成集群奠定了基础。但是,这并不强迫他们这样做。Celestia 之上的链可以自由独立,也可以在广泛的桥接设计空间中相互信任和信任最小化的桥接。
与普遍看法相反,欺诈和有效性证明不必在链上执行即可生效。它们也可以分布在 p2p 层上(如上图 Cosmos 集群下所示)并在客户端执行。
最低限度的治理 区块链治理很慢。改进建议通常需要多年的社会协调才能实施。虽然这是安全所需要的,但它显着减慢了区块链领域积极开发的步伐。
模块化区块链为区块链治理提供了一种优越的方式,其中执行层可以独立快速地采取行动并破坏事物,而共识层可以保持弹性和稳健。
如果您查看EIP 的历史,您会注意到很大一部分提案与执行功能和性能有关。它们通常涉及诸如操作定价、添加新操作码、定义令牌标准等内容。
在模块化区块链堆栈中,这些讨论将仅涉及各个执行层的参与者,不会渗透到共识层。这反过来意味着在堆栈底部需要解决的问题将大大减少,由于社会协调的高标准,进展必然缓慢。
去中心化区块验证,而非生产 对于不同的团队来说,去中心化具有不同的含义是很常见的。
许多项目重视高度去中心化的区块生产,并模仿 PoW 在 PoS 环境中进行去中心化区块生产的能力。Algorand 的随机领导人选举、Avalanche 的子抽样投票和以太坊的共识分片都是这方面的显着例子。这些设计选择假设对块生产者的资源要求较低,以实现高度分散的块生产。
虽然这些都是有价值的技术,但很难说它们实际上是否会带来任何有意义的去中心化,而不是其他可能的。
这是因为由于协议外部的规模经济以及资源池和跨链 MEV 等因素是重要的催化剂,区块生产趋向于中心化。根据经验,尽管有技术,股权/哈希最终还是遵循帕累托分布。
除了这些,还有一个更重要的点在这个话题上经常被忽略。去中心化最重要的因素是区块验证而不是生产。
只要一小部分共识节点的行为可以被大量参与者审计,区块链将继续作为我们喜爱的信任机器运行。
这是 Vitalik 最近的残局文章的核心论点,其中 Vitalik 指出“那么结果是什么?区块生产是中心化的,区块验证是去信任且高度去中心化的,并且仍然可以防止审查。”
同样,虽然 Celestia 假设区块生产者的资源需求很高,但它假设验证者的资源需求较低,从而实现了高度去中心化、抗审查的网络。
简单 明确识别区块链的可扩展性瓶颈帮助 Celestia 团队做出最简单的设计选择。
虽然以太坊在其分片路线图的最后实施了 DAS,但 Celestia 优先考虑它并明确选择不走过于复杂的共识分片路线。
同样,Celestia 没有实施新的奇特共识协议,而是选择使用具有成熟工具和广泛的开发人员/验证者支持的普通旧 Tendermint。
我们认为这些设计选择将使 Celestia 随着时间的推移而脱颖而出,并且在 Celestia 进入市场时更受欢迎,而此时汇总越来越多地寻找廉价的数据可用性解决方案。
未来的挑战/局限 Celestia 正在开创一种全新的区块链设计。虽然我们相信这是一个优于现有解决方案的模型,但仍然存在一些未探索的挑战。
我们预见的第一个挑战与确定适当的块大小有关。正如我们在这篇文章中所探讨的那样,Celestia 的块大小可以随着网络中数据采样节点的数量而安全地增加。然而,数据采样不是一个抗女巫的过程。因此,没有可验证的方法来确定网络中的节点数量。此外,由于参与抽样的节点不能通过协议得到明确的奖励,因此关于抽样的假设必须依赖于隐式激励。确定和更新目标区块大小的过程将受到社会共识的约束,这是共识治理中的新挑战。
未来的另一个挑战与 Celestia 上的自举网络效应有关。显然,没有执行的专用 DA 层没有多大用途。与其他区块链不同,Celestia 将因此依赖其他执行链来启动用户活动。为此,Celestia 的初始用例之一将是作为以太坊验证(即 Celestiums )的链下 DA 解决方案。Celestium 是 Celestia kickstart 活动在其区块空间中最容易实现的目标。
另一个正在进行的项目是Cevmos;带有内置 EVM 的 Cosmos SDK 链,专门用于汇总结算。Cevmos 上的汇总会将他们的数据发布到 Cevmos,然后再将其发布到 Celestia。就像今天的以太坊一样,Cevmos 将执行汇总证明作为结算层。Cevmos 的目标是允许以太坊汇总在 Celestia 上本地启动,而无需更改其代码库。
最后,我们预见到与 Celestia 的原生代币实用程序有关的限制。就像任何其他链一样,Celestia 将有一个收费市场,其原生代币将通过对 Celestia 区块空间的需求来积累价值。然而,由于 Celestia 不执行状态执行(除了用于 PoS 相关活动的非常微小的状态执行),与大多数链不同,其代币在 DeFi 和其他垂直领域作为流动性来源的效用将受到一定限制。例如,与无法以最小化信任的方式在汇总和以太坊之间自由移动的以太不同,Celestia 的原生代币将不得不依赖受信任的桥接器才能移植到其他链。
结论 我们相信模块化区块链是区块链设计的范式转变,并预计其网络效应在未来几年内将变得越来越明显。尤其是预计在 2023 年推出 Celestia 的主网。
通过将执行与共识解耦,Celestia 不仅实现了 Bittorrent 风格的扩展和去中心化,而且还提供了独特的优势,包括信任最小化的桥梁、主权链、高效的资源定价、更简单的治理、轻松的链部署和灵活的 VM。
作为第一个专门的 DA 层,Celestia 做的更少。通过做更少的事情,它会取得更多的成就。
全文未校对 英文原版Pay Attention To Celestia
关键要点 每个人都执行每笔交易的单体链本质上是不可扩展的。因此,多链世界是不可避免的,以某种形式。我们相信模块化区块链可能是多链世界的最佳方法。
Celestia 是第一个真正模块化的区块链。“它的愿景是 Cosmos 的主权可互操作区域和以汇总为中心的以太坊与共享安全性的结合”。
Celestia 通过将执行与共识分离并引入数据可用性采样来扩展。这使得 Celestia 可以模仿 BitTorrent 的属性,BitTorrent 是迄今为止已知的最具可扩展性和去中心化的协议之一。预计 Celestia 将在可预见的未来实际支持任何潜在的用户需求,同时保持验证的美元成本相当稳定。
将区块链重新想象为模块化堆栈具有超出可扩展性的含义。Celestia 的独特优势包括信任最小化的桥梁、主权链、高效的资源定价、更简单的治理、轻松的链部署和灵活的 VM。
模块化区块链是区块链设计的范式转变,我们预计它们的网络效应在未来几年将变得越来越明显。尤其是预计在 2023 年推出 Celestia 的主网。
每个人都执行每笔交易的整体链本质上是不可扩展的。确实,这就是为什么几乎每个主要生态系统都在为多链世界而构建的原因。
正如我们在上一篇文章中所阐述的,生态系统在设想多链世界的方式上有所不同。今天吸引最多活动的两种方法是以太坊和 Cosmos。
简而言之,以太坊设想了一个以 Rollup 为中心的未来。汇总往往比 L1 更昂贵且灵活性更低,但它们可以彼此共享安全性。相比之下,Cosmos 是一个由称为区域的可互操作主权 L1 组成的生态系统。虽然 Zones 可以比 Rollups 更便宜、更灵活,但它们不能彼此共享完全的安全性。
Celestia 结合了这两个世界的精华。正如一位明智的匿名人士所说,“Celestia 的愿景是将 Cosmos 的主权互操作区域与以汇总为中心并具有共享安全性的以太坊结合起来。”
如果上面的图表对您不完全有意义,请不要担心。当我们深入研究 Celestia 的范式转换模块化区块链设计时,我们将在这篇文章中解开所有这些内容。我们将占用帖子的前半部分来回答“如何”,而后半部分将解决 Celestia 的“为什么”。如果您熟悉 Celestia 的工作原理,我们建议您跳到这篇文章的后半部分,我们列出了它的 8 个独特属性。您可能会惊讶地发现,塞拉斯蒂亚的含义比表面上看起来更深、更强大。
Celestia 的工作原理——解耦执行 要了解 Celestia 的“方法”,我们必须首先定义它的问题陈述。Celestia 的诞生是为了寻找以下问题的答案;“为其他区块链(即汇总)提供共享安全性,区块链至少可以做些什么?”
通常,共识和有效性被称为一回事。但是,很可能将这些概念视为独立的。有效性规则确定哪些交易被认为是有效的,而共识允许节点就有效交易的顺序达成一致。
就像任何 L1 区块链一样,Celestia 实现了一个共识协议 (Tendermint) 来订购交易。然而,与典型的区块链不同,Celestia 不会推理这些交易的有效性,也不负责执行它们。Celestia 平等对待所有交易;如果交易支付了必要的费用,它就会接受、订购和复制它。
所有事务有效性规则都由汇总节点在客户端强制执行。汇总节点监控 Celestia 以识别和下载属于它们的交易。然后他们执行它们来计算他们的状态(例如确定每个人的账户余额)。如果有任何事务被汇总节点认为是无效的,它们只会忽略它们。
如您所见,只要 Celestia 的历史保持不变,运行具有相同有效性规则的软件的汇总节点就可以计算相同的状态。
这给我们带来了一个重要的结果。Rollups 不需要另一个链来执行任何执行来共享安全性。相反,他们所需要的只是就有序交易的共享历史达成一致。
Celestia 如何扩展? 虽然将执行与共识解耦为 Celestia 的独特能力奠定了基础,但 Celestia 实现的可扩展性水平并不能仅通过解耦执行来解释。
解耦执行的明显优势在于,不是每个人都默认执行所有事务,节点可以自由执行与其感兴趣的应用程序相关的事务。例如,游戏应用程序的节点(特定于应用程序的汇总)不必对执行 DeFi 应用程序的交易感兴趣。
尽管如此,解耦执行的可扩展性优势仍然有限,因为它们是以牺牲可组合性为代价的。
让我们想象一下两个应用程序想要相互交换一些令牌的情况。在这种情况下,每个应用程序的状态将相互依赖;要计算一个应用程序的状态,节点必须执行与两者相关的 txs。
事实上,随着每个新应用加入这些交互,要执行的交易数量必须增加。在极端情况下,如果所有应用程序都想相互交互,我们将回到一个单一的链中,每个人都下载并执行每个 tx。
那么 Celestia 如何实现无与伦比的可扩展性,将执行与共识解耦与它有什么关系呢?
可扩展性瓶颈 可扩展性通常被描述为增加交易数量而不增加验证链的成本。为了了解可扩展性瓶颈在哪里,我们简要回顾一下区块链是如何得到验证的。
在典型的区块链中,共识节点(验证者、矿工等)产生块,然后将其分发到由完整节点和轻节点组成的网络的其余部分。
具有高可用资源的完整节点通过下载和执行其中的所有交易来完全验证接收到的块的内容。相比之下,由于资源有限,轻节点(99% 的用户)无法验证这些块的内容,而只能跟踪块头(块数据的摘要)。因此,轻节点在比全节点低得多的安全保障下工作;他们总是认为共识是诚实的。
请注意,完整节点不会做出此假设。与普遍的看法相反,恶意共识永远不会欺骗完整节点接受无效块,因为他们会注意到无效的 tx(例如用于双花的 tx 或无效的铸币)并停止跟随链。
区块链领域最臭名昭著的可扩展性瓶颈被称为状态膨胀。随着更多交易的发生,区块链的状态(执行 txs 所需的信息)会增长,运行完整节点的成本会变得更高。这导致了一种不希望的情况,即完整节点的数量开始减少而轻节点开始增加,从而将网络集中在共识节点周围。
由于大多数链重视去中心化,他们希望他们的完整节点在消费硬件上运行。这就是为什么他们通过强制执行块/气体大小限制来限制其状态增长的速度。
欺诈和有效性证明 欺诈/有效性证明的发明有效地消除了这一瓶颈。这些是轻节点可以有效地执行以验证块的内容是否有效而无需在其中执行交易的简洁证明。该解决方案的优势在于任何具有完整链状态的单个节点都可以生成这些证明。这是非常强大的,因为这意味着轻节点可以在与完整节点几乎相同的安全保证下运行,同时消耗更少的资源。
下面是一个简化的防欺诈示例。在防欺诈中,全节点为轻节点提供足够的数据,以便它们自主识别无效交易。该证明的第一步要求全节点向轻节点显示特定数据(例如,声称无效的 tx)属于块体。
这相当简单,因为默克尔树可以用来做这件事。通过使用默克尔树,全节点可以有效地向轻节点证明特定交易包含在块中,而无需他们下载整个块。
然而,虽然证明包含 tx 是微不足道的,但证明不存在 tx 则不然。这是有问题的,因为正如我们将在下一节中看到的那样,证明不存在 tx 与证明包含 tx 以使欺诈/有效性证明有效工作同样重要。
数据可用性问题 为了让全节点首先生成欺诈/有效性证明,它们必须能够计算状态——账户余额、合约代码等。
这需要完整的节点来下载和执行所有事务。但是,如果恶意共识发布了块头,但在块体中保留了一些 tx(s) 怎么办?
在这种攻击场景下,全节点很容易注意到主体中的数据丢失,因此拒绝跟随链。但是,仅下载标头的轻节点将继续关注它,因为它们不会注意到任何差异。
数据可用性是欺诈和有效性证明的先决条件 请注意,此问题适用于基于欺诈和有效性证明的解决方案,因为如果无法访问完整数据,诚实的完整节点无法生成欺诈/有效性证明。在数据扣留攻击的情况下
在防欺诈系统中,轻节点将跟踪潜在无效链的标头。因此,诚实节点无法再验证区块。 在基于有效性证明的系统中,轻节点将跟踪具有有效但未知状态的链的标题。因此,诚实节点不再能够产生块。这意味着如果没有攻击者的同意,该链将无法继续前进。这类似于攻击者保管每个人的资金。 在任何一种情况下,轻节点都不会注意到问题,并且会无意中从完整节点分叉。
数据可用性问题本质上是一个非常微妙的问题,因为证明不存在 tx 的唯一方法是下载所有 tx,这正是轻节点由于资源限制而希望避免做的事情。
Celestia 解决了数据可用性问题 现在我们已经确定了问题所在,让我们看看 Celestia 如何解决它。早些时候,当我们区分有效性和共识时,我们提到 Celestia 并不关心交易的有效性。然而,Celestia 真正关心的是区块生产者是否已经完全发布了标头背后的数据。
使 Celestia 具有极强可扩展性的原因在于,此可用性规则可以由资源有限的轻节点自主执行。这是通过一种称为数据可用性抽样的新过程来完成的。
数据可用性抽样 (DAS) DAS 依赖于一种长期存在的数据保护技术,称为纠删码。虽然 Celestia 实施擦除编码的方式超出了本报告的范围,但了解其中的基本原理非常重要。
对一条数据应用纠删码可以扩展它,从而可以从扩展数据的固定部分恢复原始数据。例如,可以将一条数据擦除编码为双倍大小,并且可以从 any 50% 的扩展数据中完全恢复。通过以特定方式擦除编码块,Celestia 使资源有限的轻节点能够从块中随机采样一些固定的小尺寸数据块,并具有高概率保证所有其他块已可供网络使用. 这种概率保证归功于参与采样过程的节点数量。
将 DAS 视为一种游戏,其中恶意区块生产者试图隐藏区块中的数据而不会被轻节点注意到。区块生产者发布标头。基于头部中提交的数据根,每个轻节点开始从块中请求随机块(以及它们相应的 Merkle 证明,证明块中包含数据)。
比赛结果有两种:
数据已经可用 ->恶意区块生产者根据轻节点的请求从区块中释放区块。释放的块通过网络传播。虽然每个采样轻节点仅采样少量块,但鉴于它们共同采样的块超过了纠删码块的 25%,网络中任何诚实的完整节点都将能够从广播块中恢复原始块。随着网络现在可以使用完整的块,所有轻节点最终都会看到他们的采样测试成功,并确信标头后面的完整数据确实已可供完整节点使用。
通过自主验证数据是否可用,轻节点现在可以完全依赖欺诈/有效性证明,因为他们知道任何一个诚实的完整节点都可以为他们生成这些证明。
数据被扣留 ->恶意区块生产者不释放请求的区块。轻节点注意到他们的抽样测试失败了。
请注意,这不再是对安全性的严重威胁,因为恶意共识不再能够欺骗轻节点接受全节点拒绝的链。因此,对于完整的和数据采样的轻节点,缺少数据的块将显示为活动失败。在这种情况下,可以通过所有区块链的终极安全机制——社会共识来安全地恢复链。
总而言之,在任何一种情况下,完整和数据采样轻节点最终都将遵循相同的链,因此在几乎相同的安全保证下运行。
Celestia 可以提供多大的规模? DAS 的一个关键特性是集体采样的数据越多,可以为更大的数据总和提供相同的概率可用性保证。在 Celestia 的上下文中,这意味着可以通过更多节点参与采样过程来安全地使块更大(即支持更高的 tps)。
然而,DAS 中存在固有的权衡。由于技术原因,我们不会在这里讨论,数据采样轻节点的块头与块大小的平方根成正比增长。因此,希望与全节点具有几乎相同安全性的轻节点将经历 O(√n) 带宽成本,其中 n 是块大小。
关于可扩展性,有两个主要因素在起作用;
可以集体采样多少数据 轻节点的目标块头大小 其中任何一个都会限制 Celestia 的 DA 吞吐量。
下面我们分享 Celestia 团队研究的当前估计,考虑到第一个因素。
重要的是,块大小可以比这里显示的要大得多,因为 DAS 可以由资源有限的大量受众执行。甚至智能手机也可以参与采样过程,并为 Celestia 的安全性和吞吐量做出贡献。事实上,这是一个有助于 Celestia! 安全性 的智能手机示例。
实际上,我们期望采样节点的数量与用户需求相当相关。这非常令人兴奋,因为它将 Celestia 的区块空间供应定义为需求的函数。这意味着, 与单体链不同,Celestia 可以随着用户需求的增长提供低稳定的费用。
现在让我们放大第二个因素;轻节点块头的大小与块大小的 sqrt 成比例增长。虽然这可能是一个限制因素,但随着时间的推移,增加的资源需求可能会被网络带宽的改进所抵消。
还请注意,DAS 对带宽改进提供了乘法效应。如果平均轻节点的带宽容量增长 X,Celestia 的 DA 吞吐量可以安全地增长 X^2!
最后,与估计将在 2020 年代某个时候结束的摩尔计算定律不同,尼尔森的互联网带宽定律在接下来的几十年中似乎仍然适用。 因此,通过使计算完全脱链,Celestia 可以充分利用网络带宽的指数级改进。
考虑到所有因素,Celestia 有望在可预见的未来切实支持任何潜在用户需求,同时保持验证的美元成本相当稳定。通过放弃执行并引入 DAS,Celestia 可以模仿 Internet 已知的最具可扩展性的去中心化协议 BitTorrent 的可扩展性特性。
模块化 Celestia 堆栈的属性 现在我们已经介绍了 Celestia 的工作原理,让我们来看看模块化区块链的好处。将区块链重新想象为模块化堆栈具有超出纯 DA 可扩展性的含义。下面我们介绍模块化 Celestia 堆栈的 8 个独特设计属性,这些属性可能不会立即显而易见。
自主权 今天的 Rollups 就像以太坊的婴儿链一样运作。这是因为他们将他们的标头发布在以太坊上,并且他们的欺诈/有效性证明在链上执行。因此,它们的规范状态由以太坊上的一系列智能合约决定。
这一点很重要,因为这意味着汇总必须默认具有链上治理机制。然而,链上治理包括投票者参与度降低、投票购买、中心化等风险。由于这些复杂性,链上治理尚未被大多数区块链采用作为首选治理方法。
Celestia 上的汇总操作完全不同。正如我们之前看到的,Celestia 对其存储的数据没有任何意义,并将所有解释留给汇总节点。因此,Celestia 上汇总的规范状态由选择运行特定客户端软件的节点独立确定。事实上,这正是今天 L1 区块链的普遍运作方式。
因此,Celestia 上的汇总本质上是自主权区块链。通过升级其软件并选择以不同的方式理解底层数据,节点可以自由地进行硬/软分叉。例如,如果一个汇总社区就区块大小或代币供应的变化争论不休,反对阵营可以更新他们的软件以遵循不同的有效性规则。当我们反思其更深层次的含义时,您会注意到此功能比看起来更令人兴奋。
在 L1 区块链领域,有争议的硬分叉通常被认为是非常危险的,因为分叉链最终会削弱其安全性。因此,通常不惜一切代价避免分叉,从而扼杀实验。
在区块链历史上,Celestia 首次为链带来了分叉的能力,而无需担心安全性稀释。这是因为所有分叉最终都将使用相同的 DA 层,而不会放弃Celestia 共识层的安全优势。想象一下,如果区块链从一开始就以这样的方式运行,比特币区块大小的争论会变得多么顺利,或者以太坊 DAO 分叉可能会得到解决。
我们预计这将加速区块链领域的实验和创新 ,达到超出当今基础设施所能想象的水平。下面的可视化来自一个完美地说明了这一点的线程。
灵活性 另一个将特别加快 VM 领域创新步伐的力量是 Celestia 与执行无关的特性。
与以太坊汇总不同,Celestia 上的汇总不一定要设计用于 EVM 可解释的欺诈/有效性证明。这将 Celestia 上的 VM 设计空间向更大的开发者社区开放,并使其面临激烈的竞争。
今天,随着 Starkware、LLVM、MoveVM、CosmWasm、FuelVM 之类的出现,我们已经见证了替代 VM 的出现获得了关注。自定义虚拟机可以在执行的各个方面进行创新;支持的操作、数据库结构、事务格式、软件语言等,以在解决特定用例的同时实现最佳性能。
虽然 Celestia 本身并没有直接扩展执行,但我们预计其与执行无关的性质将为高度竞争的 VM 市场奠定基础,以寻求功能强大、可扩展的执行。
轻松部署 如果多年来加密货币有一种趋势没有改变,那就是区块链部署变得多么容易。
在早期,没有 PoW 硬件就无法启动去中心化网络;最终通过引入 PoS 消除了瓶颈。与 PoS 一起,成熟的开发人员工具(如 Cosmos SDK)使发布新区块链变得更加容易。然而,尽管取得了进步,但引导 PoS 共识的开销仍然远非理想。开发人员必须寻找新的验证器集,确保他们拥有广泛分布的令牌并处理共识的复杂性等。
虽然 Polkadot 平行链和以太坊汇总消除了这个瓶颈,但前者的部署成本仍然很高,而后者的运营成本仍然很高。
Celestia 似乎是这一趋势的下一个演变。Celestia 团队正在使用称为Optimint的 Cosmos SDK 实施 ORU 规范。该工具与其他工具一起解决了未来的需求,即可以部署任何链,而无需开发人员担心共识的开销或昂贵的部署/运营费用。可以在几秒钟内部署新的链,并让用户从第一天起就可以安全地与它们交互。
高效的资源定价 以太坊计划在未来几年分阶段展开其分片计划。据此,它将具有仅数据分片,汇总只能用于发布数据。随着基础层的数据容量增加,这自然会导致更便宜的汇总费用。然而,这并不意味着以太坊放弃其在 L1 上的有状态执行环境。
以太坊有一个神圣的执行。要在以太坊上运行一个完全验证的汇总节点,还必须对执行以太坊的 L1 状态感兴趣。然而,以太坊已经有一个巨大的状态,在这个状态上执行绝不是一项廉价的任务。这个巨大的国家对汇总施加了越来越多的技术债务。
更糟糕的是,用于限制 L1 状态大小的相同单位(即 L1 气体)也用于计量汇总的历史数据。因此,只要 L1 上出现活动高峰,所有汇总的费用都会随之增加。
在 Celestia 的模块化区块链堆栈中,活跃状态增长和历史数据被完全分开处理。Celestia 的区块空间仅存储历史汇总数据,这些数据以字节为单位进行衡量和支付,所有状态执行都由汇总在自己的独立单元中计量。由于活动受不同费用市场的影响,一个执行环境中的活动高峰不会恶化另一个执行环境中的用户体验。
5.信任最小化的桥梁 理解整个 L1 与 L2 辩论的一种方法是将它们全部视为一些链条和桥梁。
从广义上讲,桥梁有两种形式。信任和信任最小化。受信任的桥依赖于交易对手链的共识,而信任最小化的桥可以由任何单个完整节点保护。
为了使链条形成信任最小化的桥梁,他们需要两件事;(i) 相同的 DA 保证 (ii) 一种解释彼此欺诈/有效性证明的方式。
因为 L1 不满足共享 DA 的前一个条件,所以它们之间不能形成信任最小化的桥梁。他们能做的最好的事情就是依靠彼此的共识进行通信,这必然意味着降低了安全性。
另一方面,汇总以最小化信任的方式与以太坊通信。以太坊可以访问汇总的数据并在链上执行他们的欺诈/有效性证明。这就是为什么汇总可以拥有到以太坊的信任最小化的桥梁,可以由任何单个汇总节点保护。
具有最小信任桥的链可以被视为集群。Celestia 为链条之间形成集群奠定了基础。但是,这并不强迫他们这样做。Celestia 之上的链可以自由独立,也可以在广泛的桥接设计空间中相互信任和信任最小化的桥接。
与普遍看法相反,欺诈和有效性证明不必在链上执行即可生效。它们也可以分布在 p2p 层上(如上图 Cosmos 集群下所示)并在客户端执行。
最低限度的治理 区块链治理很慢。改进建议通常需要多年的社会协调才能实施。虽然这是安全所需要的,但它显着减慢了区块链领域积极开发的步伐。
模块化区块链为区块链治理提供了一种优越的方式,其中执行层可以独立快速地采取行动并破坏事物,而共识层可以保持弹性和稳健。
如果您查看EIP 的历史,您会注意到很大一部分提案与执行功能和性能有关。它们通常涉及诸如操作定价、添加新操作码、定义令牌标准等内容。
在模块化区块链堆栈中,这些讨论将仅涉及各个执行层的参与者,不会渗透到共识层。这反过来意味着在堆栈底部需要解决的问题将大大减少,由于社会协调的高标准,进展必然缓慢。
去中心化区块验证,而非生产 对于不同的团队来说,去中心化具有不同的含义是很常见的。
许多项目重视高度去中心化的区块生产,并模仿 PoW 在 PoS 环境中进行去中心化区块生产的能力。Algorand 的随机领导人选举、Avalanche 的子抽样投票和以太坊的共识分片都是这方面的显着例子。这些设计选择假设对块生产者的资源要求较低,以实现高度分散的块生产。
虽然这些都是有价值的技术,但很难说它们实际上是否会带来任何有意义的去中心化,而不是其他可能的。
这是因为由于协议外部的规模经济以及资源池和跨链 MEV 等因素是重要的催化剂,区块生产趋向于中心化。根据经验,尽管有技术,股权/哈希最终还是遵循帕累托分布。
除了这些,还有一个更重要的点在这个话题上经常被忽略。去中心化最重要的因素是区块验证而不是生产。
只要一小部分共识节点的行为可以被大量参与者审计,区块链将继续作为我们喜爱的信任机器运行。
这是 Vitalik 最近的残局文章的核心论点,其中 Vitalik 指出“那么结果是什么?区块生产是中心化的,区块验证是去信任且高度去中心化的,并且仍然可以防止审查。”
同样,虽然 Celestia 假设区块生产者的资源需求很高,但它假设验证者的资源需求较低,从而实现了高度去中心化、抗审查的网络。
简单 明确识别区块链的可扩展性瓶颈帮助 Celestia 团队做出最简单的设计选择。
虽然以太坊在其分片路线图的最后实施了 DAS,但 Celestia 优先考虑它并明确选择不走过于复杂的共识分片路线。
同样,Celestia 没有实施新的奇特共识协议,而是选择使用具有成熟工具和广泛的开发人员/验证者支持的普通旧 Tendermint。
我们认为这些设计选择将使 Celestia 随着时间的推移而脱颖而出,并且在 Celestia 进入市场时更受欢迎,而此时汇总越来越多地寻找廉价的数据可用性解决方案。
未来的挑战/局限 Celestia 正在开创一种全新的区块链设计。虽然我们相信这是一个优于现有解决方案的模型,但仍然存在一些未探索的挑战。
我们预见的第一个挑战与确定适当的块大小有关。正如我们在这篇文章中所探讨的那样,Celestia 的块大小可以随着网络中数据采样节点的数量而安全地增加。然而,数据采样不是一个抗女巫的过程。因此,没有可验证的方法来确定网络中的节点数量。此外,由于参与抽样的节点不能通过协议得到明确的奖励,因此关于抽样的假设必须依赖于隐式激励。确定和更新目标区块大小的过程将受到社会共识的约束,这是共识治理中的新挑战。
未来的另一个挑战与 Celestia 上的自举网络效应有关。显然,没有执行的专用 DA 层没有多大用途。与其他区块链不同,Celestia 将因此依赖其他执行链来启动用户活动。为此,Celestia 的初始用例之一将是作为以太坊验证(即 Celestiums )的链下 DA 解决方案。Celestium 是 Celestia kickstart 活动在其区块空间中最容易实现的目标。
另一个正在进行的项目是Cevmos;带有内置 EVM 的 Cosmos SDK 链,专门用于汇总结算。Cevmos 上的汇总会将他们的数据发布到 Cevmos,然后再将其发布到 Celestia。就像今天的以太坊一样,Cevmos 将执行汇总证明作为结算层。Cevmos 的目标是允许以太坊汇总在 Celestia 上本地启动,而无需更改其代码库。
最后,我们预见到与 Celestia 的原生代币实用程序有关的限制。就像任何其他链一样,Celestia 将有一个收费市场,其原生代币将通过对 Celestia 区块空间的需求来积累价值。然而,由于 Celestia 不执行状态执行(除了用于 PoS 相关活动的非常微小的状态执行),与大多数链不同,其代币在 DeFi 和其他垂直领域作为流动性来源的效用将受到一定限制。例如,与无法以最小化信任的方式在汇总和以太坊之间自由移动的以太不同,Celestia 的原生代币将不得不依赖受信任的桥接器才能移植到其他链。
结论 我们相信模块化区块链是区块链设计的范式转变,并预计其网络效应在未来几年内将变得越来越明显。尤其是预计在 2023 年推出 Celestia 的主网。
通过将执行与共识解耦,Celestia 不仅实现了 Bittorrent 风格的扩展和去中心化,而且还提供了独特的优势,包括信任最小化的桥梁、主权链、高效的资源定价、更简单的治理、轻松的链部署和灵活的 VM。
作为第一个专门的 DA 层,Celestia 做的更少。通过做更少的事情,它会取得更多的成就。
No activity yet