Move語言安全性分析:智能合約語言的遊戲規則改變者
Move語言是一種可在實現MoveVM的區塊鏈環境中編譯運行的智能合約語言。它誕生之初就考慮了衆多區塊鏈和智能合約的安全性問題,並借鑑了RUST語言的部分安全設計。作爲新一代以安全爲主要特點的智能合約語言,Move的安全性究竟如何?是否能在語言層面或相關機制上規避常見於EVM、WASM等合約虛擬機的安全威脅?它本身是否存在特有的安全隱患?
本文將從語言特性、運行機制和驗證工具三個層面探討Move語言的安全性問題。
1. Move語言的安全特性
與許多現有編程語言不同,Move語言的設計目標是支持編寫能與不受信任代碼安全交互的程序