Move語言簡介

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

Move語言的優勢

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

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

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

使用Move Prover進行形式驗證

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

治理和社區

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

Move生態系統

Sui

Sui是一種去中心化的權益證明區塊鏈,具有水平可擴展的吞吐量和存儲。Sui預計能處理超過120,000 TPS,在子秒內處理獨立交易,並在3秒內處理更復雜的交易。Sui對Move的核心功能進行了一些優化,特別是在全局存儲操作符和關鍵能力方面,以提高網路性能並減少交易確認時間。

Aptos

Aptos是一個Layer 1區塊鏈,致力於爲數十億人創造普遍和公平的去中心化資產訪問。Aptos目前可以實現高達10,000 TPS的吞吐量,理論最大吞吐量爲160,000 TPS。大多數交易在兩次網路廣播後得到驗證,最終確認時間爲250毫秒。Aptos通過適配層擴展了核心MoveVM功能,包括通過Block-STM實現並行性,無需用戶輸入即可並行執行交易。

Movement Labs簡介

Movement Labs是一個區塊鏈開發團隊,致力於集成區塊鏈網路以支持以太坊上最快和最安全的Layer解決方案。他們的使命是結合智能合約安全性和平行化與EVM的流動性和用戶基礎。

背景

Movement Labs的聯合創始人從小就對分布式系統和網路安全充滿熱情。他們在識別出當前區塊鏈基礎設施中的用戶體驗和智能合約漏洞問題後,於2022年創立了Movement Labs。他們的目標是加速加密領域的創新,使開發者能在鏈上構建下一個重大應用。

解決安全問題

Movement Labs致力於構建一個基於Move的模塊化區塊鏈生態系統,從M2開始,即以太坊的第一個MoveVM Layer。他們還引入了一個新的執行環境,設計用於每秒超過30,000筆交易。Move-EVM允許開發者在運行時部署經過驗證的代碼,防止重入和其他攻擊向量。

將Move與模塊化集成

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

平行EVM和Move

Movement Labs提供了平行EVM和Move環境,允許開發者選擇最適合其需求的語言。通過在以太坊執行環境中實現MoveVM,可以顯著提高吞吐量,使開發者能夠創建新的以太坊應用程序類型。

去中心化排序器

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

Move和Solidity的兼容性

Movement設計了一種用於Solidity的翻譯器,允許用Solidity編寫的智能合約在Movement上採用面向對象編程原則。然而,翻譯後的合約可能會遇到一些工程挑戰。

未來發展

短期內,開發者可以期待在以太坊測試網上部署首個Move智能合約。長期目標是實現主網上的完整Rollup啓動,將Move的力量帶給整個以太坊生態系統。Movement Labs非常重視亞太地區,將繼續支持亞洲Move開發者,促進Move生態系統的成長。