區塊鏈:深度：Libra Move硬核解讀

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

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

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

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

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

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

財政部：推動區塊鏈等新一代信息技術和科技產品深度融合應用:金色財經報道，5月4日，財政部發布關于做好2023年農村綜合性改革試點試驗有關工作的通知指出，創新數字鄉村發展機制。發揮新一代信息技術創新引領作用，大力推進數字鄉村建設，推動數字技術與發展鄉村實體經濟、構建鄉村治理體系加速融合，著眼解決實際問題，拓展農業農村大數據應用場景。加強“互聯網+農業”建設，推動云計算、大數據、物聯網、區塊鏈、北斗終端、多光譜、人工智能技術等新一代信息技術和科技產品深度融合應用，加快推動傳統產業數字化、智能化轉型，探索鄉村數字經濟新業態。以數字技術賦能鄉村公共服務，完善農民生活服務體系，構建線上線下相結合的鄉村便民服務機制，提高鄉村治理智能化、精細化、專業化水平。注重網絡安全、數據安全。[2023/5/4 14:42:57]

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

工信部等五部門：將強化虛擬現實與區塊鏈、數字孿生等技術深度融合:11月1日消息，工業和信息化部、教育部、文化和旅游部、國家廣播電視總局、國家體育總局印發《虛擬現實與行業應用融合發展行動計劃（2022—2026年）》，發展目標包括，到2026年，產業生態持續完善。我國虛擬現實產業總體規模超過3500億元，虛擬現實終端銷量超過2500萬臺，培育100家具有較強創新能力和行業影響力的骨干企業，打造10個具有區域影響力、引領虛擬現實生態發展的集聚區，建成10個產業公共服務平臺。

計劃指出，圍繞近眼顯示、渲染處理、感知交互、網絡傳輸、內容生產、壓縮編碼、安全可信等關鍵細分領域，做優虛擬現實+內生能力，強化虛擬現實與5G、人工智能、大數據、云計算、區塊鏈、數字孿生等新一代信息技術的深度融合，疊加虛擬現實+賦能能力。[2022/11/1 12:04:59]

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

現場 | 大漢軟件房迎：面向政府服務的區塊鏈需要深度場景挖掘:金色財經現場報道，9月25日下午，外灘大會區塊鏈產業峰會在上海開幕。在《區塊鏈生態上的公共服務體系》圓桌論壇上，大漢軟件股份有限公司副總裁房迎指出，在政務數字化的環節中，特別是數字化應用的過程中，需要解決的問題還有很多，比如部門之間的數字壁壘、數據的過分共享等問題。另外，面向政府服務的區塊鏈，需要深度場景挖掘，還有一段路要走。[2020/9/25]

…………}

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

Move字節碼驗證器

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

CoinBene滿幣與臺灣BitPro社區達成深度戰略合作:據官方消息，CoinBene滿幣與臺灣BitPro社區達成深度戰略合作，臺灣BitPro社區簽約成為CoinBene滿幣合約營運商，將享有全球市場營運、渠道商招募以及全方面業務拓展等權益。臺灣BitPro社區負責人潘緣以及CoinBene雙方，將圍繞虛擬貨幣展開全方位合作，幫助社區人員有更好的合約體驗，共建線上共識社區。

CoinBene滿幣數字資產交易平臺，在全球180多個國家和地區擁有500多萬用戶，日活躍用戶數超10萬，日均交易額30億美元。2019年初，平臺戰略布局合約衍生品市場，主要為投資者提供安全、穩定，以BTC、USDT進行結算的永續合約服務，未來CoinBene滿幣將繼續深化與社區合作。[2020/4/21]

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

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

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

資源檢查：這一步主要針對資源類型進行安全性檢查，防止資源被復制或消毀，并確保-資源變量被后續代碼所使用。上文舉的例子中的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：區塊鏈MOVMOVEVITE區塊鏈幣種類MOVE NetworkAmoveovite幣還能起來嗎

XLM