MOVE:深度：Libra Move硬核解读

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

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

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

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

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

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

Circle CEO：美国对加密货币的“激进监管行动”导致“市场深度焦虑”:金色财经报道，美元稳定币USDC发行方Circle公司首席执行官Jeremy Allaire在社交媒体称，美国对加密货币的“激进监管行动”导致“市场深度焦虑”，而且在美国银行和美国监管风险之下似乎存在大规模的美元避险情绪，围绕美国银行系统的大规模失败和对加密货币的积极监管行动引发了市场普遍存在焦虑情绪，从未宏观风险也在推动从美元转向旗舰数字资产比特币和以太坊。Jeremy Allaire强调，Circle将继续在监管框架内运营，并遵守最高标准和透明度。[2023/3/24 13:22:58]

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

声音 | 韩开创：金融科技已经从初始阶段发展到依托于区块链等技术的深度融合阶段:近日，在第十八届中国经济论坛“科技创新 驱动行业变革”分论坛上，腾讯金融研究院副院长韩开创表示金融科技已经从单纯的第三方支付、网贷平台等的初始阶段，发展到依托于人工智能、大数据、云计算、区块链等技术的金融科技深度融合阶段，其实际应用的银行、保险、证券等传统金融行业都已经在不断深入。比如，身份认证、消费金融、智能客服、智能投顾、大数据征信、大数据风控等方面，都已经出现了金融科技的实际应用，并且日趋完善。[2019/12/31]

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

声音 | 最高法党组副书记江必新：积极推进互联网、区块链等现代科技在司法领域深度应用:最高人民法院党组副书记、副院长江必新在接受新华社记者采访时表示，人民法院将坚持把司法体制改革和智慧法院建设作为“车之两轮，鸟之两翼”，以审判体系和审判能力现代化推动国家治理体系和治理能力现代化。积极推进互联网、人工智能、大数据、云计算、区块链、5G等现代科技在司法领域深度应用，努力把智慧法院建设提升到新水平。（新华网）[2019/11/29]

…………}

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

Move字节码验证器

摩根士丹利分析师深度报告全解析：比特币“见底”规律及六大必读趋势:摩根士丹利分析师Sheena Shah 19日发表最新研报。主要观点包括：今天正在经历的比特币熊市早就在2000年的纳斯达克市场上演过，只不过是以15倍速度在“快进”；熊市看到唯一交易量增加的数字货币可能就是USDT，尽管USDT的可靠性遭遇广泛质疑，因为交易员们面对各种币的大跌只能暂时先买回USDT；日元升值可能促使日本散户增加对比特币的投资；千币齐跌，但区块链行业依旧火热，对于传统VC来说，参与ICO也有三大好处；比特币与其它币之间的相关性随价格下跌而上升，市场上涨时，它们的相关性反而下降；比特币在不同交易所的价差显示，价格触底反弹的日子，价差会有规律的突然拉大。[2018/3/20]

读到这里，大家应该能够意识到，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

标签：MOVEMOVVITEVITMarketMoveMovieCashvite币融资情况vite币融资情况

Ethereum热门资讯