Move 程式語言以資源管理的獨特設計、安全性優先的架構，以及模組化的開發模式，為區塊鏈智慧合約帶來了顛覆性變革。在其驅動下，新興公鏈透過並行執行、物件中心設計和水平擴展等創新技術，實現了高效能與可擴展性的突破。然而，隨著Move 生態的不斷擴展，其安全性也經歷了實際應用的挑戰。 2023 年和2024 年曝出的拒絕服務漏洞等問題，揭示了區塊鏈系統中複雜性與安全性之間的平衡難題。透過及時修復漏洞、強化權限管理和推進程式碼驗證，Move 生態正在逐步建立一個技術創新與安全並重的區塊鏈發展模式，為未來區塊鏈技術的演化奠定基礎。
Move 程式語言：區塊鏈智能合約的革新力量
在深入探討Move 生態中具體的技術創新之前，我們需要先了解這個生態的基礎—Move程式語言。作為區塊鏈智慧合約開發的顛覆性力量，Move 不僅重新定義了資源管理和模組化開發的可能性，更透過其安全性優先的設計理念，為生態內相關公鏈專案提供了堅實的技術支柱。接下來，我們將詳細解析Move 語言的獨特優勢，以及相關公鍊和專案如何透過創新的智慧合約架構，成功展現Move 生態的巨大潛力。
Move 語言最初由Facebook（現Meta）為Diem（Libra）專案開發，旨在解決傳統智慧合約語言的效能和安全瓶頸。 Move 的設計強調資源的明確性與安全性，確保區塊鏈上每個狀態變化的可控制性。這款創新程式語言具備以下顯著優勢：
資源管理模型：Move 將資產視為資源，使其不可複製或銷毀。這種獨特的資源管理模型避免了智慧合約中常見的雙重支付或意外銷毀資產問題。
模組化設計：Move 允許智慧合約以模組化的方式構建，提高程式碼復用性，並且降低了開發複雜度。
高安全性：Move 在語言層面內建了大量的安全檢查機制，防止常見的安全漏洞，例如重入攻擊（reentrancy attacks）等。
綜上，Move 程式語言以其創新的設計理念和強大的技術優勢，為區塊鏈智慧合約開發樹立了全新標準。透過將資產視為不可複製或銷毀的資源，Move 大幅提升了資源管理的安全性；其模組化設計則為開發者帶來了更高的靈活性和開發效率。同時，內建的多重安全檢查機制有效避免了常見的智慧合約漏洞問題。這些特性不僅解決了傳統智慧合約語言的效能與安全瓶頸，也為相關新興公鏈提供了技術核心，推動了區塊鏈生態的高效與安全發展。
Move 生態中的安全事件
隨著Move 生態的不斷發展，在技術創新的同時也面臨了許多安全挑戰。從虛擬機器的核心設計到具體的網路運作機制，安全性問題成為影響生態穩定發展的重要因素。近年來，Move 生態中發生的兩起重要安全事件—— 2023 年的無限遞歸漏洞和2024 年的記憶體池DoS 漏洞，不僅暴露了系統潛在的風險，也突顯了生態中安全研究和漏洞修復的重要性。透過開發團隊和第三方安全機構的緊密合作，這些問題得到了及時解決，為Move 生態的進一步發展奠定了安全基礎。
圖片來源https://www.bankless.com/sui-vs-aptos
具體安全事件細節如下：
2023 年6 月，Move 虛擬機被發現嚴重拒絕服務漏洞，可以導致Sui、Aptos 等公鏈全網崩潰，甚至可能硬分叉。安全研究員poetyellow 在發現漏洞後，公佈了相關細節。不過Move 虛擬機開發團隊內部先前也獨立發現了該漏洞，並花費1 個多月來修復此漏洞。
這個漏洞的類型是無限遞歸漏洞。在程式語言裡面，函數無限遞歸呼叫導致的堆疊溢出，是一個通用DoS 漏洞類型，即使安全的Rust 語言也逃不掉。
2024年9月，MoveBit 成功發現並協助修復了Aptos 網路中的一個記憶體池DoS 漏洞，定級為High。該漏洞因記憶體池交易驅逐機制不完善，可能導致多達90% 的正常交易被節點拒絕。 Aptos 團隊已在 v1.19.1 版本中修復了漏洞，並在官方發布說明中感謝MoveBit 的貢獻。
從無限遞歸漏洞到記憶體池DoS 漏洞，Move 生態中的這些安全事件揭示了技術創新背後潛在的安全隱患，同時也展現了生態中快速回應和修復的能力。然而，安全挑戰的解決不僅依賴單一事件的處理，更需要從整體架構和語言設計層面進行系統性最佳化。接下來，我們將從資源管理、權限控制和程式碼稽核等多個維度，深入探討Move 生態在安全性上的持續關注點，分析其如何在技術發展與安全防護之間找到平衡。
Move 生態的安全觀察
Move 語言的出現為區塊鏈生態系統提供了全新的智慧合約程式設計方式，主要應用在Aptos 和Sui 等公鏈上。 Move 語言的設計初衷便是以安全性為核心，透過其資源管理、靜態類型系統和記憶體管理來預防常見漏洞。然而，隨著生態的不斷擴展，Move 仍需關注特定的安全領域：
資源管理和狀態一致性：Move 獨特的資源類型允許開發者在合約中明確管理資產的所有權，這雖然減少了資產損失或重入攻擊的風險，但複雜的資源轉移和管理邏輯可能帶來新的錯誤。確保資源生命週期管理的有效性、避免資源轉移漏洞，是關鍵。
權限控制與存取管理：Move 生態的模組化開發便於元件重複使用，但模組的存取權控制至關重要。開發者應嚴格限制敏感操作的權限，確保模組功能和存取等級的合理性，避免攻擊者利用高權限合約模組進行操作。
安全性稽核與程式碼驗證：Move 程式碼的複雜度增加了稽核的難度，需要持續進行安全稽核和形式化驗證，確保程式碼不包含溢位、邏輯錯誤等常見風險。標準化的審計流程和定期的程式碼回溯有助於確保Move 生態的長期安全。
最後，我們總結，Move程式語言的推出，標誌著區塊鏈智能合約領域的重大革新。其獨特的資源管理模型、安全性優先的設計理念以及模組化的開發方式，解決了傳統智慧合約語言在效能、安全性和靈活性上的多重瓶頸。透過將資產視為不可複製或銷毀的資源，Move 有效避免了雙重支付等常見的安全性問題；同時，模組化設計的實現，使得開發者能夠更有效率地重複使用程式碼，減少複雜度。在Aptos 和Sui 等基於Move 語言的公鏈上，創新的平行執行引擎、物件中心設計以及水平擴展技術，為區塊鏈帶來了前所未有的高效能和可擴展性。這一切標誌著Move 生態在技術上正邁向區塊鏈發展的新高峰。
然而，隨著Move 生態的快速擴展，安全性問題也逐漸顯現。 2023 年和2024 年發生的兩起關鍵安全事件——無限遞歸漏洞和記憶體池DoS 漏洞，揭示了區塊鏈系統在複雜性與安全性之間的微妙平衡。儘管如此，Move 生態透過及時的漏洞修復、權限管理加強和程式碼驗證的推進，展現出了應對安全挑戰的高效能力。身為業界資深的安全審計公司，BitsLab 始終致力於提供全面的安全保障，為Move 生態和區塊鏈產業的健康發展保駕護航，確保技術創新和安全防護能夠並行推進，推動區塊鏈技術的未來演進。
閱讀我們的全部報告內容請點擊：https://bitslab.xyz/reports-page
關於BitsLab
BitsLab 是一家致力於守護和建構新興Web3 生態系統的安全組織，願景是成為備受業界和使用者尊敬的Web3 安全機構。旗下擁有三個子品牌：MoveBit、ScaleBit 和TonBit。 BitsLab 專注於新興生態系統的基礎設施開發與安全審計，涵蓋但不限於Sui、Aptos、TON、Linea、BNB Chain、Soneium、Starknet、Movement、Monad、Internet Computer 和Solana 等生態。同時，BitsLab 在審計多種程式語言方面展現了深厚的專業能力，包括Circom、Halo2、Move、Cairo、Tact、FunC、Vyper 和Solidity。
作為區塊鏈安全領域的領先者，BitsLab 已為Movement、Aptos Framework、Catizen、Synthetix、Tether、Cetus、UniSat、Nervos CKB、iZUMI Finance 和Pontem 等多個旗艦專案提供安全審計服務。迄今為止，BitsLab 已交付超過400 項安全解決方案，審計了40 萬行程式碼，保護了價值80 億美元以上的資產，為全球超過200 萬用戶提供了安全保障。這些成就充分體現了BitsLab 對高品質審計服務的承諾，並樹立了區塊鏈產業的安全標準。
此外，BitsLab 團隊匯聚了多位頂尖漏洞研究專家，他們曾多次榮獲國際CTF 獎項，並在TON、Aptos、Sui、Nervos、OKX 和Cosmos 等知名專案中發現了關鍵漏洞。 BitsLab 將持續深耕Web3 安全領域，協助新興生態系統的健康發展。
造訪BitsLab 官網： https://bitslab.xyz/
BitsLab 官方推特：https://x.com/0xbitslab
加入官方Telegram 社群：https://t.me/BitsLabHQ
BitsLab品牌資源：https://somber-throne-617.notion.site/BitsLab-Brand-Assets-12e7c2e0096880e58c9fd49f0852f49b
BitsLab子品牌官方網站：
MoveBit: https://www.movebit.xyz/
TonBit: https://www.tonbit.xyz/
ScaleBit: https://www.scalebit.xyz/
審計需求Telegram聯繫：@starchou
聲明：本內容為作者獨立觀點，不代表0x财经 立場，且不構成投資建議，請謹慎對待，如需通報或加入交流群，請聯絡微信：VOICE-V。
來源：BitsLab