Move 2025:构建现代化智能合约语言

  • aptoslabs
  • 发布于 2025-12-28 19:48
  • 阅读 21

2025年,Move 语言在 Aptos 生态中实现了重大突破。语言层面引入了可存储的函数值(高阶函数)和原生有符号整数支持;性能上,通过 Loader V2 优化模块加载与字节码验证,使 VM 速度提升 2 倍并降低了 Gas 成本。开发工具链也显著增强,包括支持网络分叉的交易模拟、Move 2 反编译器及 IDE 插件。展望 2026 年,MonoMove 将重构执行栈以追求极致并行性能。

2025 年 Move:构建现代智能合约语言

在 2025 年,Move 继续拔高标准,朝着最具表达力、性能最佳且最安全的智能合约语言迈进。

Move 的价值始终很容易从语言表层感知到:你可以直接表示资产和链上状态,而语言会对资产如何创建、移动和销毁施加安全约束。

在 2025 年,整个技术栈的能力都有所提升。Move 变得更具表达力,增加了诸如 storable function values 这样具有突破性的特性。围绕这门语言的各项能力也根据开发者需求逐步成熟:更好的诊断和代码导航、IDE 支持、测试工作流,以及通过 runtime + compiler 改进实现的更快、更便宜的交易。

在性能方面,一波 VM 层面的优化带来了 2x 的性能提升,同时降低了 gas 成本。

通过语言升级、性能以及开发者体验/工具的视角,来看看 Move 在今年的演进:

语言

在 2025 年,Move 2 继续扩展语言的表达能力。

Aptos Labs 引入了 higher-order functions,包括可以存储在链上的 function values,这一特性极大提升了面向全球交易引擎扩展和组合应用的能力。

我们还引入了 signed integer types(i8、i16、i32、i64、i128、i256),扩展了对有符号整数及其基本运算的完整原生支持。原生 VM 实现确保开发者不需要自己编写容易出现漏洞利用风险的库。

随着通用比较操作、用于交换内存内容的原始操作,以及语言注释中的 UTF-8 支持的加入,这门语言变得更加完善。我们计划在 2026 年继续扩展 Move 的能力,例如 public structs、public enums 和 public constants。

性能

在 2025 年,Move 变得更快,也更具表达力。新的优化贯穿整个技术栈,从 Rest API 和 indexer 到 Move compiler 和 Move VM。

尤其是,Move VM 的速度提升了 2x。

新的 Loader V2 通过添加并发多级 code cache,降低了 module loading 和 bytecode verification 的开销,因此并行执行时不会反复重新加载相同的 Move code。新的 loader 支持 Lazy Loading:只有实际使用到的 modules 才会被加载和计量,而不是所有传递依赖。这降低了 gas 成本,并提升了 Move 合约的可组合性:像 DeFi aggregator 这类依赖繁重的合约会更便宜,也更易维护。

Move VM 还通过更多有针对性的优化得到增强,以减少内存消耗、提升性能并降低 gas 成本。得益于 inline caches,函数调用变得更快、更便宜。例如,每次 generic function call 都会产生 type instantiation 的开销(在运行时计算所需的精确类型)。inline caches 通过确保这项工作只会由 VM 执行一次来解决这个问题。

在 2026 年,Move 将借助 MonoMove 变得更快——这是一套对 Move VM 的完全重新设计,将并行性、单线程性能和安全性提升到全新水平。

开发者体验(工具)

Aptos 上的开发者体验在 2025 年迎来了许多重大增强。全新的适用于 VS Code 和 Cursor 的 Move on Aptos IDE extension 带来了一流的编辑器支持(语义高亮、跳转到定义、悬停类型/文档、自动补全和实时诊断),并集成了 Move formatting。

随着 Transaction Simulation Sessions 的引入,开发者现在可以直接从 Aptos CLI 访问持久的本地模拟环境,并端到端测试多交易工作流。这还支持 network forking;开发者可以 fork 任意远程网络(devnet、testnet 或 mainnet)的状态,并使用真实数据模拟交易。

面向 2026:一个基于 typescript 的集成测试和模拟框架,以提供更强的可编程性以及类似 Hardhat/Foundry 的体验。

Aptos 还推出了全新的 decompiler,完全支持 Move 2。该 decompiler 能将已部署的 bytecode modules 还原为可读的 Move 源码,这使得审计链上实际运行的内容(包括第三方依赖)变得容易得多。

为了找出 Move 合约单元测试中的盲点,并让它们更加稳固,我们提供了新的 mutation testing tool,最近已更新为支持 Move 2。

Aptos move linter 已更新,新增了若干检查项,以帮助开发者编写整洁的 Move 代码。

2026 路线图

在 2026 年,我们将继续直接建立在 Move 2 的基础之上。

我们将发布重新设计的 VM 和执行栈,为 Aptos 上的所有 builder 带来业界领先的性能。

预计会看到更多关于高级 code loading 和 scheduling 的更新,以及 compiler 的渐进式演进,从而使 bytecode 执行更便宜、更快。

我们还将为智能合约构建新的质量保证工作流,改进 Move Prover,并扩展工具生态系统以增强开发者体验。

同时,你可以通过编写你的 第一个 dapp on Aptos 开始学习 Move。

  • 原文链接: aptoslabs.medium.com/mov...
  • 登链社区 AI 助手,为大家转译优秀英文文章,如有翻译不通的地方,还请包涵~
点赞 0
收藏 0
分享
本文参与登链社区写作激励计划 ,好文好收益,欢迎正在阅读的你也加入。

0 条评论

请先 登录 后评论
aptoslabs
aptoslabs
江湖只有他的大名,没有他的介绍。