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 是 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
媒体专栏
阅读更多
财经法学
成都链安
金色早8点
Bress
链捕手
PANews
Odaily星球日报
郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。