原文引自：區塊律動 Blockbeats《Facebook另一個公鏈「兒子」：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 的探索。
原文引自：區塊律動 Blockbeats《Facebook另一個公鏈「兒子」：0L Network的打怪之路》
原作者：傅卓蕊
Last Updated on 2022-09-17 by 刻銘
