Facebook另一個公鏈「兒子」：0L...

首頁
專家專欄
Facebook另一個公鏈「兒子」：0L Network的打怪之路

Facebook另一個公鏈「兒子」：0L Network的打怪之路

發表於 2022-09-17 17:41 作者：區塊律動BlockBeats

何爲 0L Network

0L 是一個社區驅動的 Layer 1 公鏈开源項目。它沒有企業贊助商、風險投資、基金會，是一個完全中心化的社區。項目的決定也由社區成員投票做出。0L 也是基於 Move 語言的程序。

一开始，0L 也是基於 Facebook 之前死亡的 Diem 網絡（舊稱「Libra」）創建的开源代碼集的一個分支。0L 盡可能地和 Diem 的程序相近，因爲 Diem 是一個運算速度相當快的區塊鏈技術。相比於其他兩個從 Diem 衍生出來的協議：Aptos 和 SUI，0L 相對來說安靜一些，但是團隊成員在官網上說明團隊並不是祕密工作的，自分叉項目以來，項目實際上一直在公开工作，只是比較安靜一些。

除此之外，項目也借用了 Dfinity 創始人 Dominic Williams 還有 Bram Cohen 的 Chia Projects 的一些想法，可以使用戶不需要很昂貴的投資的情況下進行拜佔庭共識（BFT Consensus）。

0L 的經濟原理以勞動力爲中心。0L 表示，大多數區塊鏈網絡將大部分獎勵分配給充當「安全衛士」的節點運營商，但未能直接投資於應用層的开發、運營和維護。爲了能給勞動力提供資金，0L 的資金被轉移到由獨立組織管理的社區錢包，並通過 Hustle Karma 板用於資助 0L 生態系統內的各項任務。任務（又名「社區計劃」）由社區錢包資助，目前通過自動支付獲得所有驗證者獎勵的 50%。目前這個機制還屬於測試階段。

在 2021 年 10 月 21 日，項目正式成立，爲「Genesis」（創世紀）。

0L 網絡是針對 100 個驗證者優化的網絡分支。驗證者獎勵隨着驗證者數量的增加而減少，並且在 100 個驗證者獎勵達到一個底限。在創世時，爲了避免驗證者泛濫，必須將一個地址加入驗證者設置的驗證者，並且每個驗證者每兩周只能加入一個新帳戶。候選驗證者的數量每兩周增長 2 次方。爲什么保持 100 個驗證人主要是由於 0L 不是工作量證明鏈，它的工作方式最接近 Cosmos/Tendermint 生態系統鏈。這是拜佔庭共識的局限性。在網絡中大約有 100-120 個節點後：內存池、塊傳播、網絡、吞吐量急劇下降。所以 PoS 網絡都對法定人數設置了硬上限。同時，驗證人加入的先後順序並不會給他們優勢，因爲協議希望所有參與者都能在平等的條件下參與。

Carpe 應用程序是 0L 所依賴的 app，用戶可以在 Windows 和 Mac 下載該程序桌面，並且通過該程序進行 0L 節點驗證並獲取補償。Carpe 上創建的錢包一开始是不活躍的，必須要有人給該錢包發一枚幣才能激活。0L 中的另一個實驗性經濟概念是向使用 Carpe 應用程序解決經過時間證明的帳戶提供身份補貼。這堆證明被稱爲塔，通過建造一座高塔，證明帳戶是一個持久身份。持久身份有助於防御 Sybil 攻擊。此外，提交證明的账戶共享獎勵池。這種機制確保早期採用者能夠獲得 gas，以便他們構建、測試和使用在 0L 區塊鏈上开發的應用程序。目前，有 3 種方式獲得補償：1. 使用 Carpe 2. 爲 Hustle Karma 賞金系統做貢獻 3. 運行驗證節點。

在 2022 年 2 月，Web3 基礎設施提供商基於 Move 語言團隊也是來自 Diem 的 Mysten Labs 宣布與 0L Network 合作，爲 Move 智能合約編程語言提供工具和資源。二者在 2022 年 3 月啓動協作 Move 黑客馬拉松和指導計劃。通過這次合作，Mysten Labs 預計將大大擴展和加速使用專用於 Move 的工程資源。

由於 0L 去中心化的本質，協議並沒有核心團隊或者投資人。目前在 0L 的活躍用戶「sirouk」在 Discord 裏面發布了關於建立、驗證、維持 0L 驗證者機制的谷歌文件。截止發稿期，目前用戶「nControl88」和「Michael64」參與了文件的更新。0L 的 Discord 文件交流渠道由用戶「Daniyal」負責維護，該用戶也代表 0L 在其他渠道發布了多條和 0L 發展相關的社群訊息。

社區內活躍用戶

快、快、快：Diem 和語言 Move

Diem 是 Meta（臉書）提出的許可鏈穩定幣，研發時間長達數年，啓動初期頗具雄心，且背靠 Meta 的大生態系統和超級實力，曾經風頭無限。但是項目一直在主要國家與地區監管層方面受阻，最終 Meta 在 2022 年 1 月正式放棄該項目。

雖然 Diem 不再，但是很多 Diem 曾經投入的研發和其核心系統依舊有着它特有的優勢。Meta 作爲老牌技術大司，曾經爲 Diem 招來的研發人員可謂都是行業翹楚，且 Diem 運算速度很快，尤其是爲它的發展研發的 Move 語言現在依舊可以寫出衍生代碼使項目別具特色。

Move 可以說是 Diem 的「智能合約」，與其關系如同 Solidity 之於以太坊。Move 是基於 Rust 的編程語言，系統上囊括很多，邏輯嚴謹，學術化，有些類似以太坊。Move 創始之初最重要的指標是「安全與隱私」，所以 Move 裏將應用邏輯和庫分开。Move 支持「resource types」，是基於 linear types 的系統。Move 有四個目標：一流資源（First Class Resource）、靈活性、安全、可驗證性。

Move 有一個關鍵特性，它使 Move 能夠使用受线性邏輯啓發的語義定義自定義資源類型。在這種情況下，資源永遠不會被復制，它只會在程序位置之間移動。所以數字資產很安全，且能用於編寫包裝資產和執行訪問控制策略。Move 模塊類似於其他區塊鏈語言中的智能合約。這恰恰意味着數字資產不能被復制或消失。靈活性則說明每個 Libra 交易都有一個交易腳本。事務腳本是包含移動代碼的單個過程，允許編寫可自定義的事務。它可以觸發區塊鏈中存在的模塊的其他過程並對結果進行計算。

Move 語言的主要優勢之一是安全性。因此，爲了確保語言的安全性，Move 會拒絕不滿足資源安全、類型安全和內存安全三個屬性的程序。要選擇驗證此類條件的執行表示，有兩種方法，即 1. 使用高級編程語言和檢查這些屬性的編譯器。2. 使用低級無類型程序集並執行這些安全檢查。因此對於這些詳細的調查，Move 有一種介於兩者之間的新方法，Move 的可執行格式是高於匯編語言和低於源語言的字節碼。

可驗證性則是支持先進的鏈下靜態驗證工具。

目前 Move 被使用的最多的是從 Diem 衍生出來的項目們，譬如 Sui 協議的开發者們就很重視 Move 語言在 Github 上的开發與維護，Sui 的开發團隊 Mystens Lab 從中花了大量的時間和精力進行 Move 的探索。