Facebook另一个公链「儿子」：0L Network的打怪之路

何为 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 的探索。

Reference:

https://0l.network/economics/

https://thedefiant.io/sablier-polygon-binance-payroll-streaming

https://blockchainreporter.net/mysten-labs-partners-with-0l-network/

https://www.zhihu.com/question/330177843

https://golden.com/wiki/Move_(programming_language)-MNA4DZ6

https://medium.com/certik/facebooks-move-programming-language-how-does-it-compare-to-solidity-and-deepsea-42cff1ba4c10

https://diem-developers-components.netlify.app/papers/diem-move-a-language-with-programmable-resources/2020-05-26.pdf

https://developers.diem.com/docs/technical-papers/move-paper/

撰文：傅卓蕊

来源：区块律动