观点作者：Alex Nguyen，VibrantX 首席执行官
Move 编程语言的起源并非超级密码朋克风格。Facebook（现为 Meta）创建了 Move，这是在 Libra/Diem 团队比较了主要智能合约语言（比特币脚本、以太坊虚拟机字节码语言）后，决定由其强大的内部技术人才基于多年公私sector研究成果打造的新语言。
原始团队，包括创始人 Mo Shaikh、Avery Ching 及其工程团队，离开 Facebook 后继续作为完全独立的开源项目，由 Aptos Labs 领导并获得 Aptos 基金会支持。
值得注意的是，Meta 失败的 Libra 实验为我们留下了一种专为加密金融设计的编程语言。Aptos 上的 Move 现已开源，而 Aptos 基金会作为一个商业驱动型组织，欢迎来自各种背景的开发者加入。
Move 现已成为验证程序无漏洞以及检查非授权修改和资源泄露的最佳编程语言，这恰恰是大多数区块链被黑客攻击的方式。
这种验证能力依赖于 Aptos 上 Move 的两个关键特性：(1) "向后兼容性" 和 (2) "运行时审计员"的概念。
向后兼容意味着面向未来保障
Aptos 上的 Move 速度快且成本低，创造了极具竞争力的用户体验，特别是对于去中心化金融（DeFi）应用程序。Aptos 致力于高交易吞吐量，通过其并行执行引擎 Block-STM，理论处理能力可达每秒 160,000 笔交易（TPS）。
Aptos 的亚秒级最终确认意味着交易能快速得到确认，显著提升了时间敏感应用中的用户体验。
公平地说，其他区块链也具备这些特质。然而，Aptos 上的 Move 独特之处在于其"向后兼容"设计。
未来的升级不会干扰现有项目运行。这让开发者能够更加自信地构建长期解决方案，无需担忧因 Move 升级而导致系统崩溃。
Alex Nguyen 指出："Move 智能合约设计为可升级而不影响用户体验，这对主流采用至关重要。这使团队能够实现零中断的错误修复和新功能部署。"
通过 Aptos 上 Move 的特定安全特性实现的智能合约灵活性，能带来更优质、更快速的产品交付。更加灵活的 Move on Aptos 可以迅速适应以支持新兴生态系统。
"字节码"验证有效防止资源泄露
Solidity 合约黑客攻击多年来一直层出不穷。在为价值数十亿甚至数万亿美元市场构建 Web3 技术时，专家强调必须拥有能保护项目免受资源泄漏、无效内存访问和其他未授权修改的安全系统。
Move 最初为 Meta 的 Diem 项目开发，在设计上注重安全性、资源管理和性能，这使其对寻求安全而强大的智能合约语言的开发者极具吸引力。
当使用 Move 部署代码时，系统会对代码进行全面验证，检查多个关键编码条件，如适当的资源管理、类型正确性和引用安全性。无论代码发生什么变化，它都会首先经过严格验证，有效防止任何有缺陷或恶意的智能合约运行。
这正是 Move 内置字节码验证的强大之处。
实时验证代码无漏洞
著名计算机科学先驱Edsger Dijkstra曾指出："程序测试可以用来证明漏洞的存在，但永远无法证明漏洞的不存在！"
Move的形式化验证能力使开发者能够根据预设规范实际证明特定代码中不存在漏洞。
相比以太坊的虚拟机，MoveVM的实战检验较少，但正如Movement Labs创始人Rushi Manche解释的那样，Move需要的代码审计工作大幅减少。MoveVM运行时能够作为"运行时审计员"。
MoveVM内置的验证器确保交易代码安全无害，且不能创建、复制或销毁未经交易签署者授权的资源。换言之，MoveVM充当了"运行时审计员"的角色，而非依赖人工智能合约审计。
如今，Aptos平台上的Move已超越简单的智能合约语言定位。Aptos上的Move是存续时间最长、最受认可且应用最广泛的Move版本，拥有增长最迅速的开发者社区之一，以及快速扩张的基础设施、开发工具和项目生态系统。
部署前的快速代码验证为Aptos上Move生态系统的发展创造了有利条件。从Web2时代的不完善开端，Move现已做好推动DeFi发展的充分准备。
观点作者：VibrantX首席执行官Alex Nguyen
相关推荐：超70家加密公司联合抗衡科技巨头人工智能（AI）垄断
本文仅供一般参考，并非法律或投资建议，亦不应被视为法律或投资建议。文中表达的观点、想法和意见仅代表作者个人，并不一定反映或代表Cointelegraph的观点和意见。