移动编程语言的起源不是超级cypherpunk

Facebook（现在的元）在天秤座/Diem团队比较了主要的智能合同语言（比特币脚本，以太坊虚拟机字节码语言）之后创建了移动

In the rapidly evolving landscape of blockchain technology, the choice of programming language can significantly influence the development and adoption of decentralized applications (apps). While Solidity has emerged as a dominant force in the Ethereum ecosystem, another programming language is quietly gaining momentum: Move.

在区块链技术的快速发展的景观中，编程语言的选择可以显着影响分散应用程序（APP）的发展和采用。尽管坚固性成为以太坊生态系统中的主要力量，但另一种编程语言正在悄悄地获得动力：移动。

Created by Facebook (now Meta) and later spun out as a fully independent, open-source project headed up by Aptos Labs and supported by the Aptos Foundation, Move is a new programming language designed for blockchain applications.

由Facebook（现为Meta）创建，后来作为一个由Aptos Labs领导并得到Aptos Foundation支持的完全独立的开源项目，Move是一种新的编程语言，设计用于区块链应用程序。

The story begins with the Libra/Diem project, which set out to create a blockchain-based stablecoin. As the project progressed, the team made a comprehensive comparison of major smart contract languages, including Bitcoin Script and Ethereum Virtual Machine (EVM) bytecode languages.

故事始于天秤座/Diem项目，该项目旨在创建基于区块链的Stablecoin。随着项目的进行，团队对主要的智能合同语言进行了全面比较，包括比特币脚本和以太坊虚拟机（EVM）字节码语言。

After careful consideration, they reached the conclusion that their formidable in-house tech talent could develop a programming language specifically designed for crypto finance, drawing upon years of private and public sector research in programming language design.

经过仔细的考虑，他们得出的结论是，他们强大的内部技术人才可以开发一种专门为加密货币设计的编程语言，借鉴了多年的编程语言设计领域的私人和公共部门研究。

This programming language would be imbued with several critical properties:

这种编程语言将充满几个关键属性：

* Fast and cheap transactions to create a competitive user experience, especially for decentralized finance (DeFi) applications. Aptos aims for high transaction throughput, with theoretical capabilities reaching up to 160,000 transactions per second (TPS) through its parallel execution engine, Block-STM.

*快速，廉价的交易以创建竞争性的用户体验，尤其是用于分散的财务（DEFI）应用程序。 APTO的目的是高交易吞吐量，理论功能通过其并行执行引擎Block-STM每秒达到160,000个交易。

* Sub-second finality to ensure swift transaction confirmation, enhancing the user experience in time-sensitive applications.

*第秒终结性，以确保快速交易确认，从而增强用户对时间敏感应用程序的体验。

* Future upgrades that won’t disrupt existing projects. This helps developers feel more confident building long-term solutions without worrying about things breaking because of a Move upgrade.

*未来不会破坏现有项目的升级。这有助于开发人员更自信地建立长期解决方案，而不必担心由于升级而破裂的事情。

* The ability to upgrade smart contracts without affecting the user experience, which is essential for mainstream adoption. This will allow teams to quickly implement bug fixes and new features with zero downtime.

*能够在不影响用户体验的情况下升级智能合约的能力，这对于主流采用至关重要。这将使团队能够快速实现零停机时间的错误修复和新功能。

These factors are crucial for startups applying for venture capital funding.

这些因素对于申请风险投资资金的初创企业至关重要。

Move smart contracts are designed to be upgradeable without affecting the user experience, which is essential for mainstream adoption. This enables teams to implement bug fixes and new features quickly.

移动智能合约的目的是可以升级而不影响用户体验，这对于主流采用至关重要。这使团队能够快速实施错误修复和新功能。

Smart contract flexibility through Move on Aptos’ specific security features will result in better and faster product shipping. Being more flexible, Move on Aptos can quickly adapt to support new ecosystems.

智能合同灵活性通过Aptos的特定安全功能将导致产品运输更好，更快。更加灵活，移动Aptos可以迅速适应以支持新的生态系统。

As it was initially developed for Meta’s Diem project, Move is designed for safety, resource management and performance, making it attractive for developers looking for a secure yet robust language for smart contracts.

由于它最初是为Meta的Diem项目开发的，因此Move旨在为安全，资源管理和性能而设计，使其对寻求智能合约的安全但强大的语言的开发人员有吸引力。

When deploying code using Move, the code will be verified across several crucial coding conditions like proper resource management, type correctness and reference safety. No matter what happens to the code, it will be verified first to prevent any faulty or malicious smart contracts from running.

使用移动部署代码时，将在几个关键的编码条件下进行验证，例如正确的资源管理，键入正确性和参考安全性。无论代码发生什么情况，都将首先对其进行验证，以防止任何错误或恶意的智能合约运行。

This is the power of Move’s built-in bytecode verification.

这是Move内置字节码验证的力量。

Real-time verification of the absence of bugs

实时验证缺失错误

Renowned computer science pioneer Edsger Dijkstra noted, “Program testing can be used to show the presence of bugs, but never to show their absence!”

著名的计算机科学先驱Edsger Dijkstra指出：“程序测试可用于显示虫子的存在，但永远不要表现出他们的缺席！”

Move’s formal verification capabilities let developers actually prove that there are no bugs in specific code according to preset specifications.

Move的正式验证功能使开发人员实际上证明，根据预设规格，特定代码中没有错误。

MoveVM is less battle-tested than Ethereum’s virtual machine, but as Rushi Manche, founder of Movement Labs, has explained, Move requires much less code auditing. The MoveVM runtime can act as an “auditor at runtime.”

MoveVM比以太坊的虚拟机的战斗测试较少，但是正如运动实验室的创始人Rushi Manche所解释的那样，移动需要更少的代码审核。 MoveVM运行时可以充当“运行时审核员”。

The verifier inside the MoveVM ensures that the transaction code is not harmful and that it cannot create, duplicate or destroy resources not allowed by the signer(s) of the transaction. In other words, MoveVM is an “auditor at runtime” rather than a human smart contract auditor.

MOVEVM内部的验证者确保交易代码无害，并且无法创建，复制或破坏交易签名者不允许的资源。换句话说，MoveVM是“运行时的审核员”，而不是人类的智能合同审核员。

Today, Move on Aptos is more than just a smart contract language. Move on Aptos is the longest-standing, most recognized and widely used version of Move, boasting one of the fastest-growing developer communities and a rapidly growing ecosystem of infrastructure, tooling and projects.

如今，搬运Aptos不仅仅是一种智能合同语言。在APTO上移动是移动的最长，最知名和使用最广泛的版本，它是增长最快的开发人员社区之一，并且是基础架构，工具和项目的快速增长的生态系统。

Quickly verifying code before deployment created the conditions for the Move on Aptos ecosystem. From a flawed Web2 beginning, Move is now primed to grow DeFi.

在部署之前，快速验证代码在APTOS生态系统上创建条件。从有缺陷的Web2开始，Move现在已准备好生长Defi。