Move 語言和 Movement Labs 的崛起

Aquarius ｜2024-09-06 3:25

Move 在现有的区块链语言上具有多种优势。其资源导向的编程模型和内置的安全特性使其成为构建安全、高性能区块链应用的理想选择。Move 的设计强调安全性，旨在避免许多常见的 Web3 问题，如重入漏洞、有毒代币和伪造的代币批準。数字资产被视为资源，意味着它们不能被任意复制或销毁......

Move 语言是什么

Move 是一种基于 Rust 的编程语言，为 Meta 的 Diem 区块链项目开发。Move 旨在解决现有智能合约语言的局限性，提供稀缺性、确定性和可验证性。与传统编程语言不同，Move 专为区块链应用设计，强调安全性和效率。Move 具有平台无关的特性，支持跨区块链的库、工具和开发者社区。

Move 语言的优势

Move 在现有的区块链语言上具有多种优势。其资源导向的编程模型和内置的安全特性使其成为构建安全、高性能区块链应用的理想选择。Move 的设计强调安全性，旨在避免许多常见的 Web3 问题，如重入漏洞、有毒代币和伪造的代币批準。数字资产被视为资源，意味着它们不能被任意复制或销毁。

面向对象和基于资产的编程

Move 被设计为一种面向对象和基于资产的编程语言。在 Sui Move 中，对象是核心，这允许细粒度的访问控制。全局存储结构将对象 ID 映射到对象，支持高效的交易处理和精确的访问表示。Move 的能力模型确保对象具有特定权限，防止未经授权的操作如复制或删除对象。

使用 Move Prover 进行形式验证

Move Prover 是一种验证工具，帮助开发者为其应用程序的关键功能编写形式规范，并在 30 秒内检查代码执行的正确性。该工具对于防止常见的智能合约错误至关重要，允许制定前置条件、后置条件和数据不变性。Move Prover 与 Move 构建系统集成，使开发者能够轻松验证其代码。

治理和社区工具最初在 Facebook 开发时没有正式的治理机制，Move 的发展现在涉及来自各种机构的多样化团队，包括学术界和安全社区。语言的设计原则侧重于简洁性和跨平台适用性，确保其对经验丰富的智能合约开发者和来自 Web2 的新手都保持灵活和易用。Move 的治理方法旨在通过专注于核心原则并仅在必要时扩展语言来避免争议性决策。

早期的 Move 生态系统Sui

Sui 是一种去中心化的权益证明区块链，具有水平可扩展的吞吐量和存储，由 Mysten Labs 开发。其团队来自 Novi Research，Meta 的先进区块链研发部门，致力于 Diem 区块链和 Move 编程语言。创始团队包括 CEO Evan Cheng、CPO Adeniyi Abiodun、CTO Sam Blackshear（Move 的创始人）、首席科学家 George Danezis 和首席密码学家 Kostas Chalkais。

Sui 预计能处理超过 120,000 TPS，在子秒内处理独立交易，并在 3 秒内处理更复杂的交易（共享对象）。交易依赖关系在执行前映射出来，允许通过拜占庭一致广播处理独立交易，而涉及共享对象的交易则由名为 Narwhal & Tusk 的共识协议处理。

Sui 对 Move 的核心功能进行了一些更改，特别是在全局存储操作符和关键能力方面。这些更改保留了 Move 的安全性和灵活性，同时优化了存储和寻址机制，提高了网络性能并减少了交易确认时间。

Aptos

Aptos 是一个 Layer 1 区块链，使命是为数十亿人创造普遍和公平的去中心化资产访问。由 CEO Mo Shaik 和前 Meta 领先区块链解决方案工程师 CTO Avery Ching 共同创立。在加入 Meta 之前，Mo 曾在 ConsenSys、BlackRock 和波士顿咨询集团工作，而 Avery 曾在 Yahoo 工作。Aptos 团队由在 Meta、Novi、Amazon、VMware 等公司的博士、研究员、工程师、设计师和策略师组成。

Aptos 目前可以实现高达 10,000 TPS 的吞吐量，理论最大吞吐量为 160,000 TPS。大多数交易在两次网络广播后得到验证，最终确认时间为 250 毫秒。通过将交易执行层与共识协议分离，实现并行执行，通过 Block-STM 实现并行执行，通过状态同步实现子秒延迟。其共识引擎改编自 Diem 的 HotStuff 及其团队的第四次迭代。

Aptos 通过适配层扩展了核心 MoveVM 功能，包括通过 Block-STM 实现并行性，无需用户输入即可并行执行交易，大规模存储表在账户中，以及细粒度的存储解耦，在账户中的数据量会影响相关交易的 GAS 费用。

Movement Labs

Movement Labs 是一个区块链开发团队，致力于集成区块链网络以支持以太坊上最快和最安全的 Layer 2 解决方案。他们的使命是结合智能合约安全性和平行化与 EVM 的流动性和用户基础。通过他们的旗舰 L2，他们将 Rollup 与 Move Stack 连接起来，将 MoveVM 引入以太坊。本文探讨了 Movement Labs 带来的创新以及 Move 编程语言在区块链生态系统中的潜力。

背景

Movement Labs 的联合创始人 Rushi Manche 从小就对分布式系统和网络安全充满热情。14 岁时，他开始从事工程工作，并在大学期间使用 Solidity 自由职业。在此期间，他遇到了 Cooper Scanlon，两人一起加入了 Move 生态系统的早期开发。

在识别出当前区块链基础设施中的糟糕用户体验和智能合约漏洞作为主要问题后，Rushi 和 Cooper 于 2022 年创立了 Movement Labs。他们的目标是加速加密领域的创新，使开发者，即使没有大型团队和昂贵的审计师，也能在链上构建下一个重大应用。

解决安全问题

在 2022 年至 2023 年期间，黑客利用智能合约漏洞，通过影响主要协议（如 Curve 和 KyberSwap）的常见重入攻击，盗取了超过 54 亿美元的加密资产。为了解决这些问题，Movement Labs 致力于构建一个基于 Move 的模块化区块链生态系统，从 M2 开始，即以太坊的第一个 MoveVM Layer 2。他们还引入了一个新的执行环境，设计用于每秒超过 30,000 笔交易（TPS）。

Move-EVM 允许开发者在运行时部署经过验证的代码，防止重入和其他攻击向量。这种“集成方法”结合了共享排序、嵌入式形式验证、替代数据可用性和以太坊结算，以提高安全性和性能。此外，Movement Labs 将推出 Move Stack，这是一种与 Optimism、Polygon 和 Arbitrum 等公司 Rollup 框架兼容的执行层框架。

将 Move 与模块化集成

将模块化集成是 Movement Labs 设计哲学的核心。通过将区块链栈分解为具有明确接口的模块化组件，实现无缝集成、定制化和升级。开发者可以混合搭配模块以定制他们的栈。这种集成模块化架构在可扩展性、安全性和创新方面相对于整体设计具有显着优势。

平行 EVM 和 Move

平行 EVM 是一种用于改进以太坊可扩展性和性能的令人兴奋的发展。Move 和 Solidity 服务于不同的目的，可以共存并互补。Move 关注安全性和表现力，适合构建复杂的智能合约和高性能应用程序。同时，Solidity 拥有庞大的生态系统和开发者社区。在 Movement Labs，开发者可以选择最适合其需求的语言。通过在以太坊执行环境中实现 MoveVM，可以显着提高吞吐量，使开发者能够创建新的以太坊应用程序类型。

去中心化排序器Movement 是一个模块化 L2，其中 M1 是链的执行层，而 M2 则具有集成的去中心化排序器节点机制，为 Movement 网络提供免费的 gas 市场。

Move 和 Solidity 的兼容性Solidity 的编程逻辑与 Move 有显着不同。Movement 设计了一种用于 Solidity 的翻译器，允许用 Solidity 编写的智能合约在 Movement 上采用 OOP（面向对象编程）原则。然而，翻译后的合约可能会遇到工程挑战，例如在使用 Solidity 时与 Move 对象有限的访问或代币和 NFT 标準的差异。

资金

4 月 25 日，Movement Labs 完成了由 Polychain Capital 领投的 3800 万美元 A 轮融资，Hack VC、Placeholder、Archetype、Maven 11、Robot Ventures、Figment Capital、Nomad Capital、Bankless Ventures、OKX Ventures、Binance Labs、dao5 和 Aptos Labs 也参与了此轮融资。

Move 是一种最初为 Facebook 的 Diem 项目创建的编程语言，

正在加密领域引起关注。Placeholder 在其文章“From Solidity to Move”中解释了 Move 的重要性。