移動編程語言的起源不是超級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。