Move 語言簡介

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

Move 語言的優勢

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

面向對象和基於資產的編程

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

使用 Move Prover 進行形式驗證

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

治理和社區

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

早期的 Move 生態系統

Sui

Sui 是一種去中心化的權益證明區塊鏈，具有水平可擴展的吞吐量和存儲。Sui 預計能處理超過 120,000 TPS，在子秒內處理獨立交易，並在 3 秒內處理更復雜的交易（共享對象）。交易依賴關係在執行前映射出來，允許通過拜佔庭一致廣播處理獨立交易，而涉及共享對象的交易則由名爲 Narwhal & Tusk 的共識協議處理。

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

Aptos

Aptos 是一個 Layer 1 區塊鏈，使命是爲數十億人創造普遍和公平的去中心化資產訪問。Aptos 目前可以實現高達 10,000 TPS 的吞吐量，理論最大吞吐量爲 160,000 TPS。大多數交易在兩次網路廣播後得到驗證，最終確認時間爲 250 毫秒。

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

Movement Labs

Movement Labs 是一個區塊鏈開發團隊，致力於集成區塊鏈網路以支持以太坊上最快和最安全的 Layer 解決方案。他們的使命是結合智能合約安全性和平行化與 EVM 的流動性和用戶基礎。通過他們的旗艦 L2，他們將 Rollup 與 Move Stack 連接起來，將 MoveVM 引入以太坊。

背景

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

解決安全問題

爲了解決智能合約漏洞問題，Movement Labs 致力於構建一個基於 Move 的模塊化區塊鏈生態系統，從 M2 開始，即以太坊的第一個 MoveVM Layer。他們還引入了一個新的執行環境，設計用於每秒超過 30,000 筆交易（TPS）。

Move-EVM 允許開發者在運行時部署經過驗證的代碼，防止重入和其他攻擊向量。這種"集成方法"結合了共享排序、嵌入式形式驗證、替代數據可用性和以太坊結算，以提高安全性和性能。

將 Move 與模塊化集成

將模塊化集成是 Movement Labs 設計哲學的核心。通過將區塊鏈棧分解爲具有明確接口的模塊化組件，實現無縫集成、定制化和升級。開發者可以混合搭配模塊以定制他們的棧。

平行 EVM 和 Move

平行 EVM 是一種用於改進以太坊可擴展性和性能的發展。Move 和 Solidity 服務於不同的目的，可以共存並互補。Move 關注安全性和表現力，適合構建復雜的智能合約和高性能應用程序。同時，Solidity 擁有龐大的生態系統和開發者社區。

去中心化排序器

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

Move 和 Solidity 的兼容性

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

資金

4 月 25 日，Movement Labs 完成了由某投資機構領投的 3800 萬美元 A 輪融資，多家知名投資機構也參與了此輪融資。

未來路線圖

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

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