模組化區塊鏈 Celestia 在 L1 區塊鏈設計中是獨一無二的，因為它沒有智能合約功能。相反，它選擇了盡可能簡單的設計——消除了執行流程。為結算而堆疊 Rollup 是一種潛在的解決方案，但 Celestia 還可以採取哪些其他途徑來載入結算層？本文由任職於 Celestia 的 Alex Beckett 所撰寫，原文為《Routes to enshrining a settlement layer in Celestia》由 DeFi 之道編輯、整理。
模組化區塊鏈 Celestia 在 L1 區塊鏈設計中是獨一無二的，因為它沒有智能合約功能。相反，它選擇了盡可能簡單的設計——消除了執行流程。這個想法是其他區塊鏈，如 Rollup，可以成為用戶部署智能合約的地方。同時， Celestia 為 Rollup 提供了他們需要的可擴展基礎設施（共識和數據可用性）。
面對放棄智能合約， Celestia 無法為 rollups 提供任何結算服務。雖然結算是一個相對模糊的術語，但帶有智能合約的結算層可以提供一些東西。
- 一個橋接中心（Hub），可促進 rollup 之間的代幣傳輸
- 用於驗證欺詐證明和解決爭議的爭議解決
- 一個流動性的來源
就目前而言，如果 Rollup 打算使用 Celestia，同時還需要上面列出的任何結算功能，它可以使用 Celestia 之上的結算層。事實上，這個結算層只是一個 Rollup（所以我們最終會在一個 Rollup 上，再添加一個 Rollup）。
雖然為結算而堆疊 Rollup 是一種潛在的解決方案，但 Celestia 還可以採取哪些其他途徑來載入結算層？
添加智能合約
將智能合約功能引入 Celestia 似乎違反直覺，因為它被明確設計為不具備這些功能。添加智能合約的主要問題是這抵消了 Celestia 從一開始因沒有智能合約而獲得的許多好處。其中一些權衡：
- 除了區塊頭和數據可用性之外，節點還需要驗證交易的有效性。它們必須消耗和向網絡提供除頻寬之外的資源。Celestia 不能再利用簡單的 gas 核算（根據 Rollup 發布的數據大小收取 gas），但現在必須考慮與智能合約 gas 定價相關的所有領域，例如﹕執行和狀態存儲成本。
- 輕節點將失去其信任最小化的安全屬性，除非添加一個允許它們在不重新執行整個區塊的情況下驗證交易的證明系統。如果沒有證明系統，輕節點的安全屬性將不再等同於 Celestia 全節點。
- 狀態增長的問題將被重新引入。就目前而言，Celestia 將狀態增長降低到可能的最低速率（帳戶餘額和驗證者集信息）。添加智能合約會帶來與臃腫狀態相關的所有潛在問題，例如﹕性能瓶頸和增加的節點需求。
Celestia 確實使用了 Cosmos SDK，因此它確實可以通過 CosmWasm 之類的工具直接集成智能合約。添加智能合約的另一個好處是，Celestia 可以在其用於遷移代幣的 Rollup 之間建立信任最小化的橋樑。
除此之外，使 Celestia 成為一個具有智能合約的 L1 會帶來大量的權衡，其中許多可能是不可取的。
執行分片
這個想法需要添加另一個與 Celestia 相關的區塊鏈。Celestia 主鏈將保持最小化，而分片將具有用於 Rollup 結算的智能合約。有幾種方法可以實現：
- Celestia 驗證者成為分片的驗證者：交易在分片上得到處理，驗證者每 X 秒走一次共識流程。每個已確認區塊的 Merkle 根都被檢查到 Celestia 主鏈中。
- Celestia 驗證者成為分片的區塊生產者：交易由區塊生產者處理並捆綁到區塊中。帶有任何欺詐／有效性證明的區塊都會發佈到 Celestia 主鏈。在這種情況下，分片就像一個 Rollup（enshrined rollup）。
選項 2 將使在分片上維護信任最小化的輕節點變得更加容易，因為它的運行類似於帶有證明系統的 rollup。驗證分片可能是減輕節點負擔的選擇過程。以輕節點為例，節點運行者可能有以下選擇：
- 在 Celestia 主鏈上運行一個輕節點
- 在分片上運行輕節點
- 在主鏈和分片上同時運行一個輕節點
無論如何，如果節點想要完全的安全保證，他們應該同時驗證主鏈和分片，這意味著增加了硬體要求。分片上的節點還必須對交易有效性感興趣，而不僅僅是共識和數據可用性。然而，證明是一種可擴展的方式，可以降低驗證交易的開銷——儘管它們並非沒有自己的權衡。
一個潛在的明顯問題是分片會顯著增加協議和工程的複雜性。如果以太坊技術不斷複雜，那麼區塊鏈應該盡可能降低複雜性。
鏈間安全
分片的替代途徑是可能的——鏈間安全（Interchain security）。鏈間安全的概念是給定鏈的驗證者選擇成為子鏈的驗證者。子鏈本身可以是一條獨立的鏈——擁有一個獨立的社群——同時從提供者鏈那裡繼承安全性。
Celestia 可以使用鏈間安全的目的是，將另一條鏈置於其安全之下，而無需創建與該協議密不可分的分片，也沒有什麼可以阻止 enshrined 結算層成為 Celestia 頂部的 L1 或 Rollup 層。
鏈間安全通過 Cosmos SDK 中的一個模塊進行管理，與執行分片相比，該模塊在引導和維護 enshrined 結算層方面引入的複雜性顯著降低。
由於 enshrined 結算層將是一個明顯獨立的區塊鏈，因此驗證 Celestia 的節點不會有額外的要求。只有 Celestia 驗證者需要參與驗證。節點也可以選擇驗證結算層，但如果他們決定不這樣做，它們不會失去安全保證。
Celestia 與其所供奉的結算層之間的橋樑的安全模型將取決於其實施。是標準 IBC、帶有欺詐/有效性證明的定制 IBC，還是一種更深奧的橋樑解決方案？
簡而言之，跨鏈安全可以讓 Celestia 保持其圍繞擴展和節點要求的所有技術優勢，而無需分片的複雜性或將智能合約直接添加到鏈中。
可信的中立性
有一種可能的論點是，如果 Celestia 擁有一個結算層，它就會失去一些中立性——使其與位於其之上的所有結算層競爭。
Celestia 社群可能希望建立一個與在新領域競爭無關的結算層的原因有很多。
最終，可能會由社群來決定將結算層納入 Celestia ——也許是通過治理投票或一些鏈下社會協調。如果社群認為建立一個結算層符合其最大利益，那麼也許這是一條值得追求的道路。
相關報導
Vitalik撰文「以太坊Layer3的願景」: 怎樣的L3才合理？不該重複堆疊Rollups (全文)
新手科普｜一文說透「元宇宙與、Web3 時代」重要基礎設施：Rollup、波卡、Cosmos
