原文作者：Sanjay Shah （Electric Capital）。

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 的完全安全性!