深度：Libra Move硬核解讀_VITE

Facebook最近發表了聯盟鏈項目Libra，其中的最大亮點是Move語言。下面我們從技術視角解讀一下“Move:ALanguageWithProgrammableResources”這篇白皮書，供大家參考。

為了便于理解，我們拿比特幣、以太坊和Libra來做一個對比。

可編程貨幣、可編程應用與可編程資源

其實，單從白皮書的標題，就可以大概看出三個項目在設計目標上的差異。

比特幣的目標是——可編程貨幣，所以白皮書標題是“Bitcoin:Apeer-to-peerelectroniccashsystem”。

以太坊的目標是——可編程的去中心化應用，在貨幣的基礎上，擴展到更通用的領域。所以白皮書標題是：“Ethereum:anextgenerationsmartcontractanddecentralizedapplicationplatform”，黃皮書標題是：“Ethereum:Asecuredecentralizedgeneralizedtransactionledger”。

羅湖發布《深港深度融合發展白皮書》：拓展數字人民幣深港消費先行示范應用場景:金色財經報道，深圳羅湖于12月30日發布《深港深度融合發展白皮書》，在規則要素銜接方面，羅湖將積極推進金融市場互聯互通，拓展數字人民幣深港消費先行示范應用場景。[2022/12/31 22:18:48]

而Libra的設計目標恰好介于二者中間——可編程資源，或者叫可編程資產。

Facebook的技術路線比較務實，沒有嘗試更顛覆性的創新，而是把目光聚焦在“貨幣”和“通用應用”之間的“資產”，圍繞解決實際問題，便于工程實現而展開。從這點來看，Libra既不是區塊鏈3

…………}

以太坊是無法找到代碼中多出來的一行balances=amount;的，每次send()被調用，Coin這個代幣的總量都會憑空多出amount個。

安寧工業園區管委會將與阿里云在區塊鏈等領域業務深度合作:昨日，安寧工業園區管委會與阿里云計算有限公司簽訂推進智慧園區及數字經濟合作框架協議。根據框架協議，安寧工業園區管委會與阿里云將在云計算、大數據、人工智能、區塊鏈等相關業務領域的業務進行深度合作，共同打造以“云制造”區塊鏈為核心的工業互聯網，致力于園區“數字經濟”迅速發展。（昆明日報）[2020/12/24 16:20:33]

Move字節碼驗證器

讀到這里，大家應該能夠意識到，Move中最核心的組件就是字節碼驗證器。讓我們來看看它是如何對一段Move字節碼進行驗證的，驗證過程通常包括以下步驟：

控制流圖構建：這一步會將字節碼分解成代碼塊，并構建它們之間的跳轉關系；

中幣（ZB）與FERRARI達成深度戰略合作:據官方消息，中幣（ZB）集團旗下知名交易平臺中幣已與金融智能鏈FERRARI達成深度戰略合作，共同布局去中心化金融生態，雙方將在Smartchain（智能鏈）、DEX（去中心化交易平臺）、SWAP（流動性礦池）等領域展開多方面的技術合作并共同布局包括基于Eth1、Eth2以太坊信標鏈等領域的流量共享。

中幣（ZB）作為全球前 5 的數字資產交易平臺，2013 年成立至今，已為全球超過 1000 萬人提供數字資產交易服務，有超過 7 年半的安全運營歷史，日均交易額 30 億美金以上，其中BTC、ZB、EOS、XRP 主流幣種成交額長期位居榜首。

FERRARI智能鏈是由資深金融行業從業者和DEFI領域技術極客早在2018年創立，是首個鏈接DeFi（去中心化金融）和CeFi（中心化金融）的去中心化智能鏈，為開發者提供一站式去中心化金融產品發布平臺。[2020/12/2 22:50:11]

棧高度檢查：這一步主要是防止棧的越界訪問；

YeeCall與微軟正在商討深度合作:據消息人士透露，YeeCall正在與微軟商討深度合作，將微軟小冰核心技術運用到YeeCall的IM服務之中，以全面提升聊天體驗。合作還將涉及YeeCall接入微軟云服務，為全球提供更加穩定的即時通訊服務。此前，YeeCall已成為Facebook、Google的戰略合作伙伴。YEE現全球均價0.0261美元，上漲45.06%。[2018/5/2]

類型檢查：這一步會通過一個“類型棧”模型來對代碼進行類型檢查；

資源檢查：這一步主要針對資源類型進行安全性檢查，防止資源被復制或消毀，并確保-資源變量被后續代碼所使用。上文舉的例子中的bug，就是在這一步被發現的；

引用檢查：這一步參考了Rust的類型系統，對引用進行靜態和動態檢查。檢查是在字節碼級別進行的，確保沒有懸空的引用，以及引用的讀寫權限是安全的；

全局狀態鏈接：這一步主要檢查結構體類型和過程的簽名，確保模塊的私有過程不會被調用，以及調用的參數列表符合過程的聲明。

Move虛擬機

Move的虛擬機，和EVM相似的地方比較多。它也是一個基于棧的虛擬機。指令集包含6類指令：數據加載和移動、棧操作/代數運算/邏輯運算、模塊成員及資源操作、引用相關操作、控制流操作、區塊鏈相關操作。

與EVM類似，每一條指令都會計算一個gas，耗光gas后代碼會停機。Move中，一個交易的代碼執行符合原子性，要么全部執行成功，要么一條也不執行。有趣的是，雖然Libra是一個標準的區塊鏈賬本結構，所有交易都是全局有序的，但Move語言本身支持并行執行，這意味著，也許以后Libra可以改進成類似Vite的DAG賬本，提高交易并行處理的效率。

未來工作

當前Move還處于一個比較早起的開發階段，后續工作包括：

實現Libra鏈的基本功能，包括賬戶、Libra代幣、準備金管理、驗證節點的加入和移除、交易手續費管理、冷錢包等；

新的語言功能，包括范型、容器、事件、合約升級等；

提高開發者體驗，包括設計一個人性化的高級語言等；

形式化建模和驗證工具；

支持第三方Move模塊。

本文如有錯誤，請讀者不吝指正。想獲取更多的細節，可以閱讀白皮書或開源代碼。順便說一句，這篇白皮書寫的相當不錯，概念準確，而且通俗易懂，沒有使用特別形式化的描述或者復雜的數學知識，一個對區塊鏈技術有所了解的讀者完全可以一次讀懂。這也從側面反映出Facebook團隊專業和務實的風格。

本文作者：劉春明，ViteLabs創始人，區塊鏈技術專家，中國區塊鏈應用研究中心常務理事。轉載請注明出處。

請通過Vite官方渠道了解最新動態：

官網：https://www.vite.org/

ViteAPP下載：https://app.vite.net/

論壇：https://forum.vite.net

官方微博：http://m.weibo.cn/u/6572727462

Discord：https://discordapp.com/invite/CsVY76q

Telegram：https://t.me/vite_zh

Twitter：https://twitter.com/vitelabs

Tags：MOVMOVEVITVITEMOVE價格movez幣值得投資嗎VITO幣VITES

KuCoin