MOV:深度：Libra Move硬核解读

Facebook最近发表了联盟链项目Libra，其中的最大亮点是Move语言。下面我们从技术视角解读一下“Move:ALanguageWithProgrammableResources”这篇白皮书，供大家参考。

为了便于理解，我们拿比特币、以太坊和Libra来做一个对比。

可编程货币、可编程应用与可编程资源

其实，单从白皮书的标题，就可以大概看出三个项目在设计目标上的差异。

比特币的目标是——可编程货币，所以白皮书标题是“Bitcoin:Apeer-to-peerelectroniccashsystem”。

以太坊的目标是——可编程的去中心化应用，在货币的基础上，扩展到更通用的领域。所以白皮书标题是：“Ethereum:anextgenerationsmartcontractanddecentralizedapplicationplatform”，黄皮书标题是：“Ethereum:Asecuredecentralizedgeneralizedtransactionledger”。

Celo公布2.0路线图：与以太坊路线图深度对齐，探索回购销毁CELO代币:据官方消息，Celo在官方博客中公布了Celo 2.0路线图，Celo表示将与以太坊路线图深度对齐；通过使Celo成为一个rollup友好链来实现水平可扩展性；使Celo成为最快的EVM L1；完善CELO代币经济学并奖励贡献者，将探索回购销毁CELO以优化其价值；提供顶级开发人员体验；建立强大的钱包和应用构建模块。[2023/1/27 11:32:36]

而Libra的设计目标恰好介于二者中间——可编程资源，或者叫可编程资产。

Facebook的技术路线比较务实，没有尝试更颠覆性的创新，而是把目光聚焦在“货币”和“通用应用”之间的“资产”，围绕解决实际问题，便于工程实现而展开。从这点来看，Libra既不是区块链3

信通院金键：行业应加速对区块链技术深度和专业理念的普及:9月27日，由工业和信息化部主办，北京市经济和信息化局、中国信息通信研究院（以下简称中国信通院）等单位承办的ICT中国·2021高层论坛和2021年中国国际信息通信展览会在北京举办。

会议期间，中国信通院工业互联网与物联网研究所所长金键在接受记者采访时表示，当前，区块链相关技术和专业理念需进一步加强科普和推广，要推动区块链专业人才培养，加强技术研发和应用落地投入，并以开放包容的心态促进国际合作。（人民网）[2021/9/30 17:17:50]

…………}

以太坊是无法找到代码中多出来的一行balances=amount;的，每次send()被调用，Coin这个代币的总量都会凭空多出amount个。

链上ChainUP WaaS联盟与AI PICK达成深度战略合作:据官方消息，链上ChainUP WaaS联盟与AI PICK宣布达成深度战略合作，双方就区块链技术应用落地、区块链金融服务、资金安全等方面深度合作。

AI PICK是一个次世代的智能投顾平台，于2020年10月开启公测，目前已突破2000个有效用户。AI PICK通过AI人工智能算法技术，颠覆传统金融中介化和资金集中化的投资理财方式，引领金融行业的重大变革。在AI PICK中，平台不接触用户的数字资产，数字资产永远由用户自己保管。 AI PICK的理念是：让交易更简单更智能。

WaaS联盟是链上ChainUP集团依托3年时间所服务的400多家交易所经验，将底层资产托管和200+主链币种钱包封装而成的一套完整的服务，包含主链资产托管、节点服务、主链定制开发、热门币种一键接入、共管钱包、借贷理财等多种功能服务，通过开放钱包API与SDK，帮助交易所、项目方、媒体等企业快速高效接入，实现资产云端安全托管，联盟内部转账0手续费即时到账。目前已有超过500家企业加入链上ChainUP WaaS联盟。[2020/12/9 14:41:04]

Move字节码验证器

Bvnex与云虎算力达成深度战略合作:7月2日，Bvnex宣布与IPFS云算力服务商云虎算力达成深度战略合作。云虎将为Bvnex用户提供可靠、稳定、高性价比的IPFS云算力服务。该产品将于近期在Bvnex Boost上线。

云虎IPFS超级算力是一家IPFS算力整合服务商，在行业内深耕多年，拥有丰富的软件、硬件和运维支持经验。云虎IPFS超级算力旨在打破IPFS认知壁垒，凭借自身优势降低早期支持者的参与门槛，并提供更高效，更可靠的服务。目前已获得创世资本、太和资本战略投资。

?Bvnex是越南最大的数字资产金融服务商之一，深耕越南及东南亚数字资产市场，先后获得共识实验室、Satoshi VC、创世资本及Quest Capital数百万美元投资，并与币安、OKEX、抹茶、火币等头部交易所建立越南市场合作。业务涵盖越南盾及法币市场、币币交易、Boost 理财、越南专板以及创新板等，全球用户超过10万。[2020/7/5]

读到这里，大家应该能够意识到，Move中最核心的组件就是字节码验证器。让我们来看看它是如何对一段Move字节码进行验证的，验证过程通常包括以下步骤：

控制流图构建：这一步会将字节码分解成代码块，并构建它们之间的跳转关系；

栈高度检查：这一步主要是防止栈的越界访问；

类型检查：这一步会通过一个“类型栈”模型来对代码进行类型检查；

资源检查：这一步主要针对资源类型进行安全性检查，防止资源被复制或消毁，并确保-资源变量被后续代码所使用。上文举的例子中的bug，就是在这一步被发现的；

引用检查：这一步参考了Rust的类型系统，对引用进行静态和动态检查。检查是在字节码级别进行的，确保没有悬空的引用，以及引用的读写权限是安全的；

全局状态链接：这一步主要检查结构体类型和过程的签名，确保模块的私有过程不会被调用，以及调用的参数列表符合过程的声明。

Move虚拟机

Move的虚拟机，和EVM相似的地方比较多。它也是一个基于栈的虚拟机。指令集包含6类指令：数据加载和移动、栈操作/代数运算/逻辑运算、模块成员及资源操作、引用相关操作、控制流操作、区块链相关操作。

与EVM类似，每一条指令都会计算一个gas，耗光gas后代码会停机。Move中，一个交易的代码执行符合原子性，要么全部执行成功，要么一条也不执行。有趣的是，虽然Libra是一个标准的区块链账本结构，所有交易都是全局有序的，但Move语言本身支持并行执行，这意味着，也许以后Libra可以改进成类似Vite的DAG账本，提高交易并行处理的效率。

未来工作

当前Move还处于一个比较早起的开发阶段，后续工作包括：

实现Libra链的基本功能，包括账户、Libra代币、准备金管理、验证节点的加入和移除、交易手续费管理、冷钱包等；

新的语言功能，包括范型、容器、事件、合约升级等；

提高开发者体验，包括设计一个人性化的高级语言等；

形式化建模和验证工具；

支持第三方Move模块。

本文如有错误，请读者不吝指正。想获取更多的细节，可以阅读白皮书或开源代码。顺便说一句，这篇白皮书写的相当不错，概念准确，而且通俗易懂，没有使用特别形式化的描述或者复杂的数学知识，一个对区块链技术有所了解的读者完全可以一次读懂。这也从侧面反映出Facebook团队专业和务实的风格。

本文作者：刘春明，ViteLabs创始人，区块链技术专家，中国区块链应用研究中心常务理事。转载请注明出处。

请通过Vite官方渠道了解最新动态：

官网：https://www.vite.org/

ViteAPP下载：https://app.vite.net/

论坛：https://forum.vite.net

官方微博：http://m.weibo.cn/u/6572727462

Discord：https://discordapp.com/invite/CsVY76q

Telegram：https://t.me/vite_zh

Twitter：https://twitter.com/vitelabs

标签：MOVEMOVVITEVITmovez币币圈网Movie MagicVITES价格VITO币

SAND热门资讯