# Move 語言及其生態系統Move 是一種基於 Rust 的編程語言,最初爲區塊鏈項目開發。它旨在解決現有智能合約語言的局限性,提供稀缺性、確定性和可驗證性。Move 專爲區塊鏈應用設計,強調安全性和效率,具有平台無關的特性,支持跨區塊鏈的庫、工具和開發者社區。## Move 語言的優勢Move 在現有的區塊鏈語言上具有多種優勢。其資源導向的編程模型和內置的安全特性使其成爲構建安全、高性能區塊鏈應用的理想選擇。Move 的設計強調安全性,旨在避免許多常見的 Web3 問題,如重入漏洞、有毒代幣和僞造的代幣批準。數字資產被視爲資源,不能被任意復制或銷毀。## 面向對象和基於資產的編程Move 是一種面向對象和基於資產的編程語言。對象是核心,允許細粒度的訪問控制。全局存儲結構將對象 ID 映射到對象,支持高效的交易處理和精確的訪問表示。Move 的能力模型確保對象具有特定權限,防止未經授權的操作如復制或刪除對象。## 使用 Move Prover 進行形式驗證Move Prover 是一種驗證工具,幫助開發者爲其應用程序的關鍵功能編寫形式規範,並在短時間內檢查代碼執行的正確性。該工具對於防止常見的智能合約錯誤至關重要,允許制定前置條件、後置條件和數據不變性。Move Prover 與 Move 構建系統集成,使開發者能夠輕鬆驗證其代碼。## 治理和社區Move 的發展現在涉及來自各種機構的多樣化團隊,包括學術界和安全社區。語言的設計原則側重於簡潔性和跨平台適用性,確保其對經驗豐富的智能合約開發者和來自 Web2 的新手都保持靈活和易用。Move 的治理方法旨在通過專注於核心原則並僅在必要時擴展語言來避免爭議性決策。## 早期的 Move 生態系統### SuiSui 是一種去中心化的權益證明區塊鏈,具有水平可擴展的吞吐量和存儲。其團隊來自先進區塊鏈研發部門,致力於區塊鏈和 Move 編程語言的開發。Sui 預計能處理超過 120,000 TPS,在子秒內處理獨立交易,並在 3 秒內處理更復雜的交易。Sui 對 Move 的核心功能進行了一些更改,特別是在全局存儲操作符和關鍵能力方面,以優化存儲和尋址機制,提高網路性能並減少交易確認時間。### AptosAptos 是一個 Layer 1 區塊鏈,使命是爲數十億人創造普遍和公平的去中心化資產訪問。Aptos 目前可以實現高達 10,000 TPS 的吞吐量,理論最大吞吐量爲 160,000 TPS。大多數交易在兩次網路廣播後得到驗證,最終確認時間爲 250 毫秒。Aptos 通過適配層擴展了核心 MoveVM 功能,包括通過 Block-STM 實現並行性,無需用戶輸入即可並行執行交易,大規模存儲表在帳戶中,以及細粒度的存儲解耦。## Movement LabsMovement Labs 是一個區塊鏈開發團隊,致力於集成區塊鏈網路以支持以太坊上最快和最安全的 Layer 解決方案。他們的使命是結合智能合約安全性和平行化與 EVM 的流動性和用戶基礎。通過他們的旗艦 L2,他們將 Rollup 與 Move Stack 連接起來,將 MoveVM 引入以太坊。### 解決安全問題Movement Labs 致力於構建一個基於 Move 的模塊化區塊鏈生態系統,從 M2 開始,即以太坊的第一個 MoveVM Layer。他們還引入了一個新的執行環境,設計用於每秒超過 30,000 筆交易。Move-EVM 允許開發者在運行時部署經過驗證的代碼,防止重入和其他攻擊向量。### 將 Move 與模塊化集成Movement Labs 設計哲學的核心是將模塊化集成。通過將區塊鏈棧分解爲具有明確接口的模塊化組件,實現無縫集成、定制化和升級。開發者可以混合搭配模塊以定制他們的棧。### 平行 EVM 和 Move平行 EVM 是一種用於改進以太坊可擴展性和性能的發展。Move 和 Solidity 服務於不同的目的,可以共存並互補。在 Movement Labs,開發者可以選擇最適合其需求的語言。## 資金Movement Labs 完成了由某投資機構領投的 3800 萬美元 A 輪融資,多家知名投資機構參與了此輪融資。## 未來路線圖短期內,開發者可以期待在以太坊測試網上部署首個 Move 智能合約。Movement Labs 還將發布一套 Move 工具和資源以支持開發者。長期目標是實現主網上的完整 Rollup 啓動,將 Move 的力量帶給整個以太坊生態系統。作爲其全球擴展戰略的一部分,Movement Labs 非常重視亞太地區。他們將繼續通過提供必要的資源、教育和機會來支持亞洲 Move 開發者,展示他們的傑出工作並促進 Move 生態系統的成長。
Move語言生態系統:從安全設計到跨鏈應用
Move 語言及其生態系統
Move 是一種基於 Rust 的編程語言,最初爲區塊鏈項目開發。它旨在解決現有智能合約語言的局限性,提供稀缺性、確定性和可驗證性。Move 專爲區塊鏈應用設計,強調安全性和效率,具有平台無關的特性,支持跨區塊鏈的庫、工具和開發者社區。
Move 語言的優勢
Move 在現有的區塊鏈語言上具有多種優勢。其資源導向的編程模型和內置的安全特性使其成爲構建安全、高性能區塊鏈應用的理想選擇。Move 的設計強調安全性,旨在避免許多常見的 Web3 問題,如重入漏洞、有毒代幣和僞造的代幣批準。數字資產被視爲資源,不能被任意復制或銷毀。
面向對象和基於資產的編程
Move 是一種面向對象和基於資產的編程語言。對象是核心,允許細粒度的訪問控制。全局存儲結構將對象 ID 映射到對象,支持高效的交易處理和精確的訪問表示。Move 的能力模型確保對象具有特定權限,防止未經授權的操作如復制或刪除對象。
使用 Move Prover 進行形式驗證
Move Prover 是一種驗證工具,幫助開發者爲其應用程序的關鍵功能編寫形式規範,並在短時間內檢查代碼執行的正確性。該工具對於防止常見的智能合約錯誤至關重要,允許制定前置條件、後置條件和數據不變性。Move Prover 與 Move 構建系統集成,使開發者能夠輕鬆驗證其代碼。
治理和社區
Move 的發展現在涉及來自各種機構的多樣化團隊,包括學術界和安全社區。語言的設計原則側重於簡潔性和跨平台適用性,確保其對經驗豐富的智能合約開發者和來自 Web2 的新手都保持靈活和易用。Move 的治理方法旨在通過專注於核心原則並僅在必要時擴展語言來避免爭議性決策。
早期的 Move 生態系統
Sui
Sui 是一種去中心化的權益證明區塊鏈,具有水平可擴展的吞吐量和存儲。其團隊來自先進區塊鏈研發部門,致力於區塊鏈和 Move 編程語言的開發。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 的流動性和用戶基礎。通過他們的旗艦 L2,他們將 Rollup 與 Move Stack 連接起來,將 MoveVM 引入以太坊。
解決安全問題
Movement Labs 致力於構建一個基於 Move 的模塊化區塊鏈生態系統,從 M2 開始,即以太坊的第一個 MoveVM Layer。他們還引入了一個新的執行環境,設計用於每秒超過 30,000 筆交易。Move-EVM 允許開發者在運行時部署經過驗證的代碼,防止重入和其他攻擊向量。
將 Move 與模塊化集成
Movement Labs 設計哲學的核心是將模塊化集成。通過將區塊鏈棧分解爲具有明確接口的模塊化組件,實現無縫集成、定制化和升級。開發者可以混合搭配模塊以定制他們的棧。
平行 EVM 和 Move
平行 EVM 是一種用於改進以太坊可擴展性和性能的發展。Move 和 Solidity 服務於不同的目的,可以共存並互補。在 Movement Labs,開發者可以選擇最適合其需求的語言。
資金
Movement Labs 完成了由某投資機構領投的 3800 萬美元 A 輪融資,多家知名投資機構參與了此輪融資。
未來路線圖
短期內,開發者可以期待在以太坊測試網上部署首個 Move 智能合約。Movement Labs 還將發布一套 Move 工具和資源以支持開發者。長期目標是實現主網上的完整 Rollup 啓動,將 Move 的力量帶給整個以太坊生態系統。
作爲其全球擴展戰略的一部分,Movement Labs 非常重視亞太地區。他們將繼續通過提供必要的資源、教育和機會來支持亞洲 Move 開發者,展示他們的傑出工作並促進 Move 生態系統的成長。