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

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

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

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

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

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

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

黃奇帆：數字金融公司要對大數據、云計算、人工智能、區塊鏈等都有深度研究:11月16日，在第三屆十字門金融周藍迪國際智庫專題報告會上，原重慶市市長、藍迪國際智庫專家委員會聯合主席、復旦大學特聘教授黃奇帆表示，產業互聯網和金融結合形成的數字金融，才是真正的普惠金融。產業互聯網和金融相結合形成的數字金融，要遵循以下五個原則。

第一，數字金融公司要對大數據、云計算、人工智能、區塊鏈等都有深度研究，并將研究成果應用在數字化平臺、數字金融系統中。

第二，數字金融公司要有金融的基因、性質，要按照金融的規則、金融防風險的宗旨來辦事，遵循金融業的基本制度。比如遵照巴塞爾協議，資本充足率要達標，要有風險準備金，風險撥備要到位，控制好信用杠桿風險。

第三，在產業互聯網基礎上發展起來的數字金融，既要解決融資難，也要解決融資貴難題。通過產業鏈上的“五全”信息，實現低成本高效獲客，就能降低貸款利息，這也是數字金融公司應該遵循的原則。第四，數字金融公司應利用好“五全”信息實現全社會的資源優化配置。

第五，數字金融平臺需要與專業銀行等金融機構強強聯合，實現資源優化配置，這是更合理的發展模式。（新華財經）[2020/11/16 20:58:54]

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

聲音 | 塞力斯：將與螞蟻區塊鏈在區塊鏈等方面展開深度合作:據財聯社5月26日消息，塞力斯發布公告稱，與螞蟻區塊鏈科技（上海）有限公司簽訂《合作協議》，雙方將在區塊鏈醫療領域互為合作伙伴，在區塊鏈技術、可信存證等方面開展全方位深度合作。[2019/5/26]

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

…………}

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

聲音 | 雄安新區中級人民法院有關負責人：將推動區塊鏈等科技成果與司法工作深度融合:據河北法院網報道，5月10日，全國首個5G環境下的刑事案件三方遠程視頻庭審在河北雄安新區中級人民法院順利完成。雄安新區中級人民法院有關負責人表示，今后，雄安新區中級人民法院將充分發揮雄安新區技術資源和政策優勢，將智慧法院建設與雄安新區智慧城市建設一體規劃部署，積極推動5G、人工智能、大數據、區塊鏈等科技成果與司法工作深度融合，不斷提升審判質效，讓群眾享受到更高水平的司法服務。　　[2019/5/11]

Move字節碼驗證器

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

中高會區塊鏈產業聯盟與NULS達成深度戰略合作:5月7日，中國高科技產業化研究會區塊鏈產業聯盟（簡稱聯盟）與NULS項目在北京達成戰略合作。聯盟理事長朱濤和NULS聯合發起人王小莉出席簽約儀式，雙方將攜手共建區塊鏈技術研究院，并且就區塊鏈人才培訓、技術普及、應用落地等領域展開以下合作：NULS基金會出任任聯盟理事會單位，NULS基金會理事楊霖擔任聯盟理事；聯盟與NULS合作成立區塊鏈技術研究院，為NULS項目提供代碼檢驗服務；NULS入駐聯盟打造的海南區塊鏈產業特色小鎮，雙方將共同利用商務、技術、法律、學術等資源組織區塊鏈培訓課程，培訓區塊鏈高級人才；朱濤出任NULS項目顧問，為NULS項目在應用落地、專家團隊社群組建工作上提供專業咨詢與指導；NULS主網正式上線后，聯盟將參與NULS全球節點競選，旗下的“鑰匙圈”DAPP將接入NULS主鏈。[2018/5/8]

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

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

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

資源檢查：這一步主要針對資源類型進行安全性檢查，防止資源被復制或消毀，并確保-資源變量被后續代碼所使用。上文舉的例子中的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：區塊鏈NULSMOVEMOV哪個不是區塊鏈特性nuls幣還有發展嗎MoveXMovement DAO

以太坊價格