MOVE:Facebook另一个公链「儿子」:0L Network的打怪之路_区块链

何为0LNetwork

0L是一个社区驱动的Layer1公链开源项目。它没有企业赞助商、风险投资、基金会,是一个完全中心化的社区。项目的决定也由社区成员投票做出。0L也是基于Move语言的程序。

一开始,0L也是基于Facebook之前死亡的Diem网络创建的开源代码集的一个分支。0L尽可能地和Diem的程序相近,因为Diem是一个运算速度相当快的区块链技术。相比于其他两个从Diem衍生出来的协议:Aptos和SUI,0L相对来说安静一些,但是团队成员在官网上说明团队并不是秘密工作的,自分叉项目以来,项目实际上一直在公开工作,只是比较安静一些。

除此之外,项目也借用了Dfinity创始人DominicWilliams还有BramCohen的ChiaProjects的一些想法,可以使用户不需要很昂贵的投资的情况下进行拜占庭共识。

0L的经济原理以劳动力为中心。0L表示,大多数区块链网络将大部分奖励分配给充当「安全卫士」的节点运营商,但未能直接投资于应用层的开发、运营和维护。为了能给劳动力提供资金,0L的资金被转移到由独立组织管理的社区钱包,并通过HustleKarma板用于资助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.使用Carpe2.为HustleKarma赏金系统做贡献3.运行验证节点。

在2022年2月,Web3基础设施提供商基于Move语言团队也是来自Diem的MystenLabs宣布与0LNetwork合作,为Move智能合约编程语言提供工具和资源。二者在2022年3月启动协作Move黑客马拉松和指导计划。通过这次合作,MystenLabs预计将大大扩展和加速使用专用于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支持「resourcetypes」,是基于lineartypes的系统。Move有四个目标:一流资源、灵活性、安全、可验证性。

Move有一个关键特性,它使Move能够使用受线性逻辑启发的语义定义自定义资源类型。在这种情况下,资源永远不会被复制,它只会在程序位置之间移动。所以数字资产很安全,且能用于编写包装资产和执行访问控制策略。Move模块类似于其他区块链语言中的智能合约。这恰恰意味着数字资产不能被复制或消失。灵活性则说明每个Libra交易都有一个交易脚本。事务脚本是包含移动代码的单个过程,允许编写可自定义的事务。它可以触发区块链中存在的模块的其他过程并对结果进行计算。

Move语言的主要优势之一是安全性。因此,为了确保语言的安全性,Move会拒绝不满足资源安全、类型安全和内存安全三个属性的程序。要选择验证此类条件的执行表示,有两种方法,即1.使用高级编程语言和检查这些属性的编译器。2.使用低级无类型程序集并执行这些安全检查。因此对于这些详细的调查,Move有一种介于两者之间的新方法,Move的可执行格式是高于汇编语言和低于源语言的字节码。

可验证性则是支持先进的链下静态验证工具。

目前Move被使用的最多的是从Diem衍生出来的项目们,譬如Sui协议的开发者们就很重视Move语言在Github上的开发与维护,Sui的开发团队MystensLab从中花了大量的时间和精力进行Move的探索。

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

区块博客

[0:0ms0-3:990ms