原文引自:區塊律動 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的打怪之路》
原作者:傅卓蕊