原文:Sanjay Shah (Electric Capital)推文
编译:DeFi之道
Celestia 被誉为自以太坊以来最重要的底层创新。要了解 Crypto 的发展方向,你必须了解 Celestia。
但还没有人很好地去解释它。
直到现在🧵
了解 Celestia 的第一步是了解应用链理论。
应用链理论认为,最终我们将看到大多数 dApp 运行在它们自己的区块链上。
为什么会是这样? 因为特定于应用的链,可以获得共享链上的应用所没有的许多好处。
但是运行应用链存在着一些问题。
例如,Cosmos 上的独立应用链的安全性是有限的。
或者,你可以在以太坊上部署特定于应用的 rollup ,并获得共享安全性,但你会失去主权。
为什么 ETH rollup 是失去主权的?
它们是由治理代币管理(与社会共识相反),而富人可能会获得不成比例的发言权,它们也失去了一些能力,比如分叉成多条链的能力。
Celestia 为特定于应用的 rollup 创建了一个新模型,
一个同时获得 Cosmos 应用链的主权,以及以太坊 rollup 共享安全性的系统。
让我们详细了解 Celestia 是如何实现这一目标的。
我将使用 ZK rollups 作为示例来演示 Celestia 的工作原理,但它也适用于 optimistic rollups。
首先快速回顾一下 ZK rollups 如何在以太坊上工作:
ZK rollups 生成 L2 区块,然后向以太坊提交证明,以保证这些区块中的计算是正确的。
以太坊上的智能合约验证证明是否正确。
Celestia 有一个关键见解——L1 实际上不需要验证这些证明来保证 rollup 的安全。
只要 L1 可以提供交易的排序以及数据可用性(DA),rollup 节点本身就可以确定哪些交易是有效的。
下面是一个 ZK rollup 如何在 Celestia 上运行的示例:
假设 Alice 在一个 ZK rollup 上有 5 USDC,她提交了一笔交易,将 1 USDC 发送给 Bob。
Rollup 排序器执行此交易,并将更新的状态根连同一个 ZK 证明一起发布到 Celestia。
Celestia 不执行或验证此证明,它只是将证明放入 Celestia 区块链上的一个区块中。
Rollup 节点从 Celestia 读取数据,并看到一个新的状态根以及已发布的证明。
它们自己验证 ZK 证明以确保新状态是正确的。
如前所述,Celestia 不会验证这些证明,它只是存储它们。
但是,如果 Celestia 不验证证明,那么无效的证明就不能发布给 Celestia 吗?
实际上,是可以的,无效的证明也可以发布到 Celestia!
但是,因为从 Celestia 读取的 rollup 节点正在验证证明,它们会知道已经发布了无效的证明并且可以简单地忽略它。
在这种情况下,它们不会更新状态根,而是继续使用之前的状态。
除了状态根和 zk 证明之外,以太坊和 Celestia 上的 rollups 也将单独的 tx 发布到 L1 以获得数据可用性。
如果你不熟悉数据可用性(DA),以及为什么需要它来实现 rollup 的安全性 , 这里有简单的解释:
https://twitter.com/sanjaypshah/status/1580221120405327872
总结一下:
以太坊和和 Celestia 上的 ZK rollups 将状态根、ZK 证明以及个人交易(用于数据可用性)发布到 L1 。
在以太坊的情况下,L1 验证 zk 证明。而在 Celestia 的情况下,L1 将证明验证留给 rollup 的节点。
Celestia 不仅不进行证明验证,也不进行任何形式的执行。
dApp 不能直接部署在 Celestia 上,因为它没有智能合约功能,这使它成为唯一不执行任何交易的 L1!
Celestia 只是为 rollups 提供了一个发布数据的地方,有了这个,rollups 就可以继承 Celestia 的完全安全性!
很简单,但是非常强大。
在 Celestia 上建立的 Rollup 被称为主权 Rollup,为什么它们被称为是具有主权的?
与以太坊 Rollup 不同,Celestia L1 上没有智能合约来确定规范链,这使它们能够通过社会共识而不是治理代币进行升级。
此外,主权 Rollup 可以分叉成多条链,这是以太坊上的 Rollup 做不到的。分叉链继承了与原始链相同的基础层安全性。
当然,Celestia 的设计所带来的,并非都是好处。
选择成为 Celestia 上的主权 Rollup 与成为以太坊上的常规 Rollup,有着不同的权衡。
其中最明显的权衡是跨链桥。
由于以太坊验证每个 Rollup 的状态,所以它可以用来轻松地在 Rollup 之间通过跨链桥连接资产。
主权 Rollup 也可以形成信任最小化的跨链桥,但它要更复杂,因为 Celestia 不能用作一个中介。
附加的帖子,更全面地概述了以太坊 Rollup 与 Celestia 上的主权 Rollup 之间的权衡。
https://twitter.com/sanjaypshah/status/1575188529361014784
就是这样!
你现在应该大概了解了以下这些方面:
- Celestia 是什么?
- 为什么它与所有其他 L1 不同。
- 它如何实现完全不同类型的 Rollup (主权 Rollup)。
PS - 我遗漏了一些关于 Celestia 工作原理的幕后细节,例如“数据可用性采样”(DAS),它允许 Celestia 在保持去中心化的同时进行扩容。
如果你想将对 Celestia 的理解提升到一个新的水平,那么这值得去深入研究。