原文作者:Alex Beckett,就職于 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 ——也許是通過治理投票或一些鏈下社會協調。如果社區認為建立一個結算層符合其最大利益,那么也許這是一條值得追求的道路。
人社部《區塊鏈應用操作員》培訓第二期上線啦!!!80課時,200個知識點,嚴格按照國家標準輸出,一站式完成學習考證,實現升職加薪。課程詳情:https://wnv.xet.tech/s/4wWe7u
文章轉發自元宇宙之道微信公眾號,版權歸其所有。文章內容不代表本站立場和任何投資暗示。
Copyright © 2021.Company 元宇宙YITB.COM All rights reserved.元宇宙YITB.COM