Move 语言白皮书完整版
章节一：摘要与简介
章节二：如何在区块链上管理数字资产
章节三：Move的设计目标
章节四：Move 概览
章节五：深入理解Move语言，浅识 Move语言的编译原理
章节六：Move 虚拟机
章节七：Move 的未来计划
Move 语言中文白皮书（六）---- Move 虚拟机
6. Move虚拟机：所有模块组合在一起。 Move 虚拟机的作用是：引用全局状态 Σ 作为初始化状态，然后执行交易集合组成的区块 𝐵，并产生表示对全局状态的修改的交易效果 𝐸。 然后可以将执行结果 𝐸 应用于 Σ 以生成由执行𝐵 产生的状态 Σ′。将执行结果与实际状态更新分开，用来避免 VM 在交易执行失败的情况下保持 全局状态不更新，还是原来的 Σ。 直观地说，交易执行结果表示账户子集的全局状态更新。交易执行结果与全局状态具有相同的结构：它是从账户地址到账户的部分映射，其中包含Move模块和resou...Move 语言中文白皮书 （七）---- Move 的未来计划
7. Move 的未来计划 到目前为止，我们已经设计并实现了 Move 的以下组件： 适用于区块链执行的编程模型。 适合这种可编程模型的字节码语言。 用于实现具有强大数据抽象和访问控制的库的模块系统。 由序列化器/反序列化器、字节码验证器和字节码解释器组成的虚拟机。 尽管取得了这些进展，但前面还有很长的路要走。最后，我们讨论了一些近期的下一步措施和 Move 的长期计划。 实现核心 Libra 区块链功能。我们将使用 Move 来实现 Libra 区块链中的核心功能：账户、Libra 币、Libra 储...Move 语言中文白皮书 （五）------ 深入理解Move语言，浅识 Move语言的编译原理。
5. Move 语言 详解 在本节中，我们给出了 Move 语言、字节码验证器和虚拟机的半正式描述。 附录 A 详细列出了所有这些组成部分，但没有任何附带的散文。 我们在这里的讨论将使用附录中的摘录，并且偶尔会引用其中定义的符号。 Global state. Σ ∈ GlobalState = AccountAddress ⇀ Account Account = (StructID ⇀ Resource) × (ModuleName ⇀ Module) Move 的目标是使程序员能够定义全局区块链...Move 语言中文白皮书（四） ----- Move 概览
4. Move概览 我们通过简单的点对点支付所涉及的交易脚本和模块来介绍 Move 的基础知识。该模块是真实的Libra 代币实现的简化版本。 示例交易脚本演示了模块外的恶意或粗心程序员不能违反模块resources的关键安全不变量。 示例模块展示了如何实现利用强数据抽象来建立和维护这些不变量的资源。 本节中的代码片段是用 Move 中间代码（IR) 的变体编写的。Move IR 足够高级，可以编写人类可读的代码，但又足够低级，可以直接转换为 Move 字节码。我们在 IR 中展示代码是因为基于堆栈的 Mo...Move 语言 中文白皮书 （三）----- Move的设计目标
3. Move 的设计目标 Libra 的使命是打造一个简单的全球货币和金融基础设施，为数十亿人提供支持 [1]。Move 语言旨在提供一个安全、可编程的基础，可以在此基础上构建这一愿景。Move 必须能够以精确、可理解和可验证的方式表达 Libra 货币和治理规则。 从长远来看，Move 必须能够对构成金融基础设施的各种资产和相应的业务逻辑进行编码。 为了满足这些要求，我们在设计 Move 时考虑了四个关键目标：first-class 资产、灵活性、安全性和可验证性。 3.1. First-Class R...Move 语言中文白皮书 （二）----- 在区块链上如何管理数字资产
2. 在区块链上管理数字资产 我们将首先在抽象层面简要解释区块链，以帮助读者理解像 Move 这样的“区块链编程语言”所扮演的角色。 此讨论有意省略了区块链系统的许多重要细节，以便专注于从语言角度来看相关的功能。 2.1. 区块链 概要 区块链是一个复制的状态机 [4][5]。 系统中的复制器称为验证节点。 系统用户将交易发送给验证者。 每个验证节点都了解如何执行交易以将其内部状态机从当前状态转换为新状态。 验证节点利用他们对交易执行的共同理解来遵循共识协议来共同定义和维护复制状态。 验证节点从相同的初始...Move 语言中文白皮书 （一）----- 摘要与简介
Move 语言中文白皮书 翻译自： Move language whiter paper Move: 一种使用可编程resources的语言 Sam Blackshear, Evan Cheng, David L. Dill, Victor Gao, Ben Maurer, Todd Nowacki, Alistair Pott, Shaz Qadeer, Rain, Dario Russi, Stephane Sezer, Tim Zakian, Runtian Zhou * 合著 译者：GG@Comin...
