原文作者: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 的安全性, 這裡有簡單的解釋:
1/ To understand ETH, you need to understand rollups.
To understand rollups, you need to understand data availability.
But WTF is data availability?
Let's get you up to speed 🧵 👇 pic.twitter.com/HSeefNRm49
— Sanjay Shah ⚡️ (@sanjaypshah) October 12, 2022
總結一下:
以太坊和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 之間的權衡。
1/ Ethereum is pushing rollups for their scalability benefits.@CelestiaOrg is pushing a new twist on rollups, called sovereign rollups, for their added benefit of "sovereignty"
What are the tradeoffs of these different rollup constructions?
Let's break it down. 🧵👇
— Sanjay Shah ⚡️ (@sanjaypshah) September 28, 2022
就是這樣!
你現在應該大概了解了以下這些方面:
-
Celestia 是什麼?
-
為什麼它與所有其他L1 不同。
-
它如何實現完全不同類型的Rollup (主權Rollup)。
PS – 我遺漏了一些關於Celestia 工作原理的幕後細節,例如“數據可用性採樣”(DAS),它允許Celestia 在保持去中心化的同時進行擴容。
如果你想將對Celestia 的理解提升到一個新的水平,那麼這值得去深入研究。