在人們談論Rollup時,經常遺漏一個非常重要的Rollup,即Celestia上的主權Rollup(Sovereign Rollup)。
關於Celestia,請看金色財經此前文章“一文讀懂數據可用層新公鏈Celestia”。 Maven11資本研究分析師rain&coffee一周前發文深度介紹“模塊化公鏈Celestia”,也談到Sovereign Rollup,Sovereign rollups的工作方式與其他Rollup有很大不同。本文用6圖講清Celestia上的主權Rollup。
Sovereign Rollup定義
Sovereign Rollup是獨立於結算層運行的Rollup。這意味著它不依賴結算層來發送狀態更新和橋接。相反,它純粹通過DA(數據可用性)層起作用。
如何與不處理智能合約的DA層一起工作?
Sovereign Rollup將Tx數據直接發佈到Celestia。在這裡不會計算數據,而只是存儲在區塊頭中。區塊頭標識區塊鏈上特定區塊。
命名空間(namespace)
數據被發送到Celestia上的rollups命名空間(namespace)。命名空間可以被認為是rollup智能合約。 Merkle樹(保存tx數據)按命名空間排序,這使得Celestia上的任何rollup都只能下載與其鏈相關的數據。
Sovereign Rollup上的輕節點
Sovereign Rollup上的輕節點/完整節點形成一個p2p網絡,然後下載區塊以驗證區塊數據是否已在Celestia上排序。因此,鏈的規範歷史由本地節點設置,這些節點驗證Rollup的交易是否正確。
因此,充當rollup命名空間觀察者的完整節點也可以為輕節點提供安全性。由於數據可用性採樣,輕節點等於全節點。
為什麼Sovereign Rollups很有趣?
因為它們允許我們運行專門的節點和層以針對各種目的進行優化,這在其他單體或半單體鏈上是不可行的。
Sovereign Rollups上Optimistic Rollup
欺詐證明將在Rollup上的p2p節點網絡中的節點之間分發,而不是在結算層合約中驗證欺詐證明。這應該會加快爭議期,因為不是在清算層。
Sovereign Rollups上的ZK Rollup
不是將ZK證明發送到結算層的智能合約,而是在Rollup上的p2p網絡之間分發,以自行驗證。由於Celestia不解釋其交易,因此它允許分形擴容(Fractal Scaling)。
為什麼需要Celestia和DA?
Optimistic Rollup需要DA以便可以檢測欺詐證明,而ZK rollup需要DA以便知道Rollup鏈的狀態。
對Sovereign Rollups的反對觀點?
對Sovereign Rollups的一個主要反對觀點是,它們嚴重依賴於構建新的生態系統,這與通常必須這樣做的L1方式類似。流動性也將嚴重依賴跨鏈橋接。