MOV:Move 語言的特點_SYN

Move是Meta為其穩定幣項目Diem開發的編程語言，Diem的愿景是作為一款全球性的數字原生貨幣，集穩定性、低通脹、全球普遍接受和可互換性于一體。其愿景決定了Move是為金融而生的編程語言。Move的特點主要有以下五個方面：將資產作為一等公民編程

通過靜態調用、虛擬機沙盒等確保其安全性可驗證性靈活性合約可組合性將資產作為一等公民編程

Move語言通過Resource為數字資產定義。Move語言中數字資產以被特殊定義的代碼/resource/表示和存儲。

Beosin發現Move VM嚴重級別漏洞:金色財經報道，近日，區塊鏈安全公司Beosin發現Move VM嚴重級別漏洞。Beosin安全研究團隊在Move虛擬機中發現了一個沒有限制遞歸調用深度而導致的棧溢出漏洞，這個漏洞可以導致整個網絡崩潰（total network shutdown），還會讓新的validator節點無法加入到網絡中，甚至有可能導致硬分叉（hard fork）。Sui mainnet_v1.2.1、Aptos mainnet_v1.4.3以前的版本都受此漏洞影響。目前該漏洞已被官方修復。Suimainnet_v1.2.1、Aptosmainnet_v1.4.3、Move-language 2023年6月10日之后的版本修復了此漏洞。[2023/6/15 21:37:59]

Move語言抽象了資源的四個屬性：可復制、可索引、可丟棄、可存儲，通過這四個屬性的不同組合，用戶可以方便的定義出任何類型的資源。

跨鏈橋 SyncSwap Move 正式上線，現已支持 USDT 與 WBTC:6月5日消息，基于 zkSync 的 DEX SyncSwap 發推稱，跨鏈橋 SyncSwap Move 已正式上線，SyncSwap Move 由 zkSync 官方橋與 ZK tech 提供支持，允許在以太坊與 zkSync Era 之間轉賬。USDT 與 WBTC 是 Move 第一批原生支持的代幣，用戶可在 SyncSwap 上進行交易。

Move 允許用戶檢查提款與認領，不收取任何額外費用，與 zkSync 官方橋的 Gas 成本相同，橋接代幣是 100% zkSync 原生資產，沒有第三方風險。Move 是 zkSync Era 官方橋的前端，由 ZK tech 驅動，與官方橋具有相同的安全性。當用戶用 Move 批準或轉賬時，直接與官方 zkSync 智能合約交互。[2023/6/5 21:16:18]

Move規定資源會存儲在由所有者的帳戶控制的模塊里，經過驗證的所有者以/簽名者/表示，這些資源的所有者具有最高決定權，只有所有者能夠決定資源的存儲和轉移。

電影訂閱服務MoviePass完成種子輪融資，Animoca Brands領投:金色財經報道，電影訂閱服務MoviePass完成種子輪融資，Animoca Brands領投，Claritas Capital、Emerald Plus、Gaingels、Harlem Capital、PKO VC和Sandhill Angels等參投。作為交易的一部分，Animoca Brands的執行主席兼聯合創始人Yat Siu將加入MoviePass的董事會。

MoviePass聯合創始人Stacy Spikes于2021年底回購了該公司，他表示計劃在2023年底或2024年進行另一輪融資。

MoviePass表示，它計劃利用新資金加速其電影院訂閱服務的測試版重新啟動，并制定和實施公司的Web3戰略，其中包括虛擬現實影院體驗和使用技術來推動影院流量。Spikes表示，Animoca Brands認為電影客戶與元宇宙和區塊鏈的粉絲之間存在重疊。[2023/1/13 11:09:01]

資源的設計讓數字資產轉移不是賬戶間余額數值的簡單加減，而是存儲位置間的移動，避免重入和雙花攻擊。

重入和雙花攻擊是黑客攻擊常見類型。重入指的是黑客抓住項目方轉賬模式的漏洞，制造惡意合約，在接受轉賬的同時再次調用項目方轉賬函數，在不改變賬戶余額的情況下不斷提走資金。雙花攻擊則更好理解，用同一筆錢多次完成支付。

資源確定數字資產僅在存儲位置之間轉移，避免了重入。不憑空產生或銷毀數字資產，避免了雙花攻擊。通過靜態調用、虛擬機沙盒等確保其安全性

Move語言采用靜態調用，靜態調用指程序A在調用程序B時，在運行之前就已經確定調用的對象，在運營過程中不改變調用對象。

靜態調用提升了運行的安全性。動態調用過程中，惡意用戶可以通過制造惡意合約，調用項目方函數，從而完成攻擊。靜態調用解決了動態調用存在的問題，增強網絡運行的穩定性。

MoveVM是Move編程語言的虛擬機沙盒，虛擬沙盒讓采用Move語言的區塊鏈具備確定性，合約調用被放在同一個沙盒當中，在此過程中合約的狀態的安全性主要要通過編程語言內部的安全性進行隔離，而非依賴虛擬機進行隔離。可驗證性

Move編程語言采用形式化驗證。簡而言之，形式化驗證是用數字工具分析的手段證明程序的安全性。此前提到的靜態調用、虛擬機沙盒能夠提升驗證的安全性。靈活性

Move的靈活性體現在可以通過transaction腳本來z由組合各種transaction來實現不同的功能，一個腳本可以調用多個transaction。

Move通過面向泛型編程，保障了合約的擴展性，增加了代碼的復用能力。合約可組合性

Move語言的合約可組合性源自于其Module的設計，基于Module間的組合只需要對Module進行升級和優化，所有使用過這個Module的其他合約都會自動使用最新的版本，加速使用Move語言的智能合約升級優化的速度。

Module相當于給這些智能合約提供了統一的兼容空間，智能合約就像樂高玩具的各個部分，通過任意組合產生新的產品。文章來自

Tags：MOVMOVESYNCSYNMOV價格MoveCashsync幣怎么樣SYND幣

NEAR