Move语言简介

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

Move语言的优势

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

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

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

使用Move Prover进行形式验证

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

治理和社区

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

Move生态系统

Sui

Sui是一种去中心化的权益证明区块链,具有水平可扩展的吞吐量和存储。Sui预计能处理超过120,000 TPS,在子秒内处理独立交易,并在3秒内处理更复杂的交易。Sui对Move的核心功能进行了一些优化,特别是在全局存储操作符和关键能力方面,以提高网络性能并减少交易确认时间。

Aptos

Aptos是一个Layer 1区块链,致力于为数十亿人创造普遍和公平的去中心化资产访问。Aptos目前可以实现高达10,000 TPS的吞吐量,理论最大吞吐量为160,000 TPS。大多数交易在两次网络广播后得到验证,最终确认时间为250毫秒。Aptos通过适配层扩展了核心MoveVM功能,包括通过Block-STM实现并行性,无需用户输入即可并行执行交易。

Movement Labs简介

Movement Labs是一个区块链开发团队,致力于集成区块链网络以支持以太坊上最快和最安全的Layer 2解决方案。他们的使命是结合智能合约安全性和平行化与EVM的流动性和用户基础。

背景

Movement Labs的联合创始人从小就对分布式系统和网络安全充满热情。他们在识别出当前区块链基础设施中的用户体验和智能合约漏洞问题后,于2022年创立了Movement Labs。他们的目标是加速加密领域的创新,使开发者能在链上构建下一个重大应用。

解决安全问题

Movement Labs致力于构建一个基于Move的模块化区块链生态系统,从M2开始,即以太坊的第一个MoveVM Layer 2。他们还引入了一个新的执行环境,设计用于每秒超过30,000笔交易。Move-EVM允许开发者在运行时部署经过验证的代码,防止重入和其他攻击向量。

将Move与模块化集成

Movement Labs的设计哲学核心是将模块化集成。通过将区块链栈分解为具有明确接口的模块化组件,实现无缝集成、定制化和升级。开发者可以混合搭配模块以定制他们的栈。

平行EVM和Move

Movement Labs提供了平行EVM和Move环境,允许开发者选择最适合其需求的语言。通过在以太坊执行环境中实现MoveVM,可以显著提高吞吐量,使开发者能够创建新的以太坊应用程序类型。

去中心化排序器

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

Move和Solidity的兼容性

Movement设计了一种用于Solidity的翻译器,允许用Solidity编写的智能合约在Movement上采用面向对象编程原则。然而,翻译后的合约可能会遇到一些工程挑战。

未来发展

短期内,开发者可以期待在以太坊测试网上部署首个Move智能合约。长期目标是实现主网上的完整Rollup启动,将Move的力量带给整个以太坊生态系统。Movement Labs非常重视亚太地区,将继续支持亚洲Move开发者,促进Move生态系统的成长。