Move 語言是什麼

Move 是一種基於 Rust 的程式語言，為 Meta 的 Diem 區塊鏈專案開發。Move 旨在解決現有智能合約語言的局限性，提供稀缺性、確定性和可驗證性。與傳統程式語言不同，Move 專為區塊鏈應用設計，強調安全性和效率。Move 具有平台無關的特性，支持跨區塊鏈的庫、工具和開發者社區。

Move 語言的優勢

Move 在現有的區塊鏈語言上具有多種優勢。其資源導向的程式模型和內建的安全特性使其成為構建安全、高性能區塊鏈應用的理想選擇。Move 的設計強調安全性，旨在避免許多常見的 Web3 問題，如重入漏洞、有毒代幣和偽造的代幣批准。數字資產被視為資源，意味著它們不能被任意複製或銷毀。

面向對象和基於資產的程式設計

Move 被設計為一種面向對象和基於資產的程式語言。在 Sui Move 中，對象是核心，這允許細粒度的訪問控制。全局存儲結構將對象 ID 映射到對象，支持高效的交易處理和精確的訪問表示。Move 的能力模型確保對象具有特定權限，防止未經授權的操作如複製或刪除對象。

使用 Move Prover 進行形式驗證

Move Prover 是一種驗證工具，幫助開發者為其應用程式的關鍵功能編寫形式規範，並在 30 秒內檢查代碼執行的正確性。該工具對於防止常見的智能合約錯誤至關重要，允許制定前置條件、後置條件和數據不變性。Move Prover 與 Move 構建系統集成，使開發者能夠輕鬆驗證其代碼。

治理和社區工具最初在 Facebook 開發時沒有正式的治理機制，Move 的發展現在涉及來自各種機構的多樣化團隊，包括學術界和安全社區。語言的設計原則側重於簡潔性和跨平台適用性，確保其對經驗豐富的智能合約開發者和來自 Web2 的新手都保持靈活和易用。Move 的治理方法旨在通過專注於核心原則並僅在必要時擴展語言來避免爭議性決策。

早期的 Move 生態系統 Sui

Sui 是一種去中心化的權益證明區塊鏈，具有水平可擴展的吞吐量和存儲，由 Mysten Labs 開發。其團隊來自 Novi Research，Meta 的先進區塊鏈研發部門，致力於 Diem 區塊鏈和 Move 程式語言。創始團隊包括 CEO Evan Cheng、CPO Adeniyi Abiodun、CTO Sam Blackshear（Move 的創始人）、首席科學家 George Danezis 和首席密碼學家 Kostas Chalkais。

Sui 預計能處理超過 120,000 TPS，在子秒內處理獨立交易，並在 3 秒內處理更複雜的交易（共享對象）。交易依賴關係在執行前映射出來，允許通過拜占庭一致廣播處理獨立交易，而涉及共享對象的交易則由名為 Narwhal \& Tusk 的共識協議處理。

Sui 對 Move 的核心功能進行了一些更改，特別是在全局存儲操作符和關鍵能力方面。這些更改保留了 Move 的安全性和靈活性，同時優化了存儲和尋址機制，提高了網絡性能並減少了交易確認時間。

Aptos

Aptos 是一個 Layer 1 區塊鏈，使命是為數十億人創造普遍和公平的去中心化資產訪問。由 CEO Mo Shaik 和前 Meta 領先區塊鏈解決方案工程師 CTO Avery Ching 共同創立。在加入 Meta 之前，Mo 曾在 ConsenSys、BlackRock 和波士頓諮詢集團工作，而 Avery 曾在 Yahoo 工作。Aptos 團隊由在 Meta、Novi、Amazon、VMware 等公司的博士、研究員、工程師、設計師和策略師組成。

Aptos 目前可以實現高達 10,000 TPS 的吞吐量，理論最大吞吐量為 160,000 TPS。大多數交易在兩次網絡廣播後得到驗證，最終確認時間為 250 毫秒。通過將交易執行層與共識協議分離，實現並行執行，通過 Block-STM 實現並行執行，通過狀態同步實現子秒延遲。其共識引擎改編自 Diem 的 HotStuff 及其團隊的第四次迭代。

Aptos 通過適配層擴展了核心 MoveVM 功能，包括通過 Block-STM 實現並行性，無需用戶輸入即可並行執行交易，大規模存儲表在賬戶中，以及細粒度的存儲解耦，在賬戶中的數據量會影響相關交易的 GAS 費用。 >

Movement Labs

Movement Labs 是一個區塊鏈開發團隊，致力於集成區塊鏈網絡以支持以太坊上最快和最安全的 Layer 2 解決方案。他們的使命是結合智能合約安全性和平行化與 EVM 的流動性和用戶基礎。通過他們的旗艦 L2，他們將 Rollup 與 Move Stack 連接起來，將 MoveVM 引入以太坊。本文探討了 Movement Labs 帶來的創新以及 Move 程式語言在區塊鏈生態系統中的潛力。

背景

Movement Labs 的聯合創始人 Rushi Manche 從小就對分佈式系統和網絡安全充滿熱情。14 歲時，他開始從事工程工作，並在大學期間使用 Solidity 自由職業。在此期間，他遇到了 Cooper Scanlon，兩人一起加入了 Move 生態系統的早期開發。

在識別出當前區塊鏈基礎設施中的糟糕用戶體驗和智能合約漏洞作為主要問題後，Rushi 和 Cooper 於 2022 年創立了 Movement Labs。他們的目標是加速加密領域的創新，使開發者，即使沒有大型團隊和昂貴的審計師，也能在鏈上構建下個重大應用。 >

解決安全問題

在 2022 年至 2023 年期間，黑客利用智能合約漏洞，通過影響主要協議（如 Curve 和 KyberSwap）的常見重入攻擊，盜取了超過 54 億美元的加密資產。為了解決這些問題，Movement Labs 致力於構建一個基於 Move 的模組化區塊鏈生態系統，從 M2 開始，即以太坊的第一個 MoveVM Layer 2。他們還引入了一個新的執行環境，設計用於每秒超過 30,000 筆交易（TPS）。

Move-EVM 允許開發者在運行時部署經過驗證的代碼，防止重入和其他攻擊向量。這種"集成方法"結合了共享排序、嵌入式形式驗證、替代數據可用性和以太坊結算，以提高安全性和性能。此外，Movement Labs 將推出 Move Stack，這是一種與 Optimism、Polygon 和 Arbitrum 等公司 Rollup 框架兼容的執行層框架。 >

將 Move 與模組化集成

將模組化集成是 Movement Labs 設計哲學的核心。通過將區塊鏈棧分解為具有明確介面的模組化組件，實現無縫集成、定制化和升級。開發者可以混合搭配模組以定制他們的棧。這種集成模組化架構在可擴展性、安全性和創新方面相對於整體設計具有顯著優勢。

平行 EVM 和 Move

平行 EVM 是一種用於改進以太坊可擴展性和性能的令人興奮的發展。Move 和 Solidity 服務於不同的目的，可以共存並互補。Move 關注安全性和表現力，適合構建複雜的智能合約和高性能應用程式。同時，Solidity 擁有龐大的生態系統和開發者社區。在 Movement Labs，開發者可以選擇最適合其需求的語言。通過在以太坊執行環境中實現 MoveVM，可以顯著提高吞吐量，使開發者能夠創建新的以太坊應用程式類型。

去中心化排序器 Movement 是一個模組化 L2，其中 M1 是鏈的執行層，而 M2 則具有集成的去中心化排序器節點機制，為 Movement 網絡提供免費的 gas 市場。

Move 和 Solidity 的兼容性 Solidity 的程式邏輯與 Move 有顯著不同。Movement 設計了一種用於 Solidity 的翻譯器，允許用 Solidity 編寫的智能合約在 Movement 上採用 OOP（面向對象程式設計）原則。然而，翻譯後的合約可能會遇到工程挑戰，例如在使用 Solidity 時與 Move 對象有限的訪問或代幣和 NFT 標準的差異。 >

資金

4 月 25 日，Movement Labs 完成了由 Polychain Capital 領投的 3800 萬美元 A 輪融資，Hack VC、Placeholder、Archetype、Maven 11、Robot Ventures、Figment Capital、Nomad Capital、Bankless Ventures、OKX Ventures、Binance Labs、dao5 和 Aptos Labs 也參與了此輪融資。

Move 是一種最初為 Facebook 的 Diem 專案創建的程式語言，

正在加密領域引起關注。Placeholder 在其文章"From Solidity to Move"中解釋了 Move 的重要性。 >

未來路線圖

短期內，開發者可以期待在以太坊測試網上部署首個 Move 智能合約。Movement Labs 還將發布一套 Move 工具和資源以支持開發者。長期目標是實現主網上的完整 Rollup 啟動，將 Move 的力量帶給整個以太坊生態系統。

作為其全球擴展戰略的一部分，Movement Labs 非常重視亞太地區。認識到 Move 開發者社區內的巨大潛力和人才，他們將繼續通過提供必要的資源、教育和機會來支持亞洲 Move 開發者，展示他們的傑出工作並促進 Move 生態系統的成長。