透過Libra Move和ETH EVM 看聯盟鏈智能合約需求（二）

2020-03-09 11:07:49 Neo老師

Libra Move VS ETH EVM

Libra Move VS ETH EVM 語言形態

Move ：屬於靜態語言
Solidity：屬於動態語言

靜態語言：使用的策略支持編譯器在編譯時確定某個問題。動態語言：只允許在程序運行時作出決定。

Move 在語言開發過程中不存在不確定性，Solidity 在開發過程中存在不確定性。

Libra Move VS ETH EVM 整體架構分析

Libra Move

Libra Move 整體框架分為4個部分

1 虛擬機 (VM)
它包含字節碼格式、字節碼解釋器和執行交易塊的基礎設施。該目錄還包含生成創世區塊的基礎設施
2 字節碼驗證器
其中包含一個靜態分析工具，用於拒絕無效的Move字節碼。虛擬機在執行新的Move代碼前，會先運行字節碼驗證器。編譯器運行字節碼驗證器則會把輸出和錯誤顯示給程序員
3 Move中間層表示 (IR： intermediate representation) 編譯器
它將可讀的程序文本編譯成Move字節碼. 警告:IR編譯器是一個測試工具。它會生成將被Move字節碼驗證器拒絕的無效字節碼。IR語法工作仍在進行，或將經歷重大的變化。
4 標準庫
其中包含 LibraAccount 和 LibraCoin 等核心系統模塊的Move IR代碼

ETH EVM

ETH EVM 整體框架分為4個部分

1 虛擬機 EVM ETH EVM虛擬機是一個堆在運行代碼。
2、編譯器 ETH EVM 編譯器採用的是字節碼編譯器，目前市面上有很多編譯器，remix，truffer等。
3、標準庫其中包括標準ERC20，以及標準鏈上操作函數。
4、State 一直我都覺得State是EVM的一部分，因為EVM執行的結果需要或者過程，比如Log都要用log來存儲。

Libra Move VS ETH EVM 優略分析

我們通過以下幾個點來分析一下各自的優缺點。

安全性

Libra Move Move是靜態語言，是一種類型化的字節碼，相對Solidity 更低級，但是相對也比價安全。
ETH EVM EVM的資產安全性需要通過很嚴格的邏輯判斷才可以保證資產安全性，比如對資產的transfer函數，要判斷對方是否有錢，有些token的transfer是否有返回值。

合約之間調用

Libra Move Libra Move的合約其實都是一個個Modules，每個人都可以創建很多Modules，Modules和Modules之間可以通過類似類的方式來調用。
ETH EVM Solidity 合約之間的調用是通過對合約地址的引用進行調用，因為EVM執行的時候，會通過合約地址在State裡面找到對應的二進制代碼然後執行。

Token性質

Libra Move 在Libra Move裡面把Token定義為資源（Resources），Move為了保證資源的的安全性，保證資源永遠不會被複制，重用或者丟棄，資源的類型只能由定義類型的模塊創建或者銷燬。這些保證由Move虛擬機通過字節碼靜態驗證，Move虛擬機將拒絕運行未通過字節碼驗證的程序代碼。
ETH EVM 在ETH EVM 裡面把資產定義為Value，coin 的Value 是在ERC20裡面需要定義的，包括數量，小數點，這些Value在使用的時候需要對transfer對象也就是msg.sender 的value進行判斷。

可應用性

我本人是從主網再到solidity Dapp 合約開發整個過程，我覺得在使用的時候Solidity有一下優點和缺點。優點：solidity 上手快，調試方便，前端接口調用方便尤其JS/java等，方便開發應用。缺點：ERC20 token 轉賬需要特殊應用程序監聽，安全性需要程序員對真個solidity以及以太坊EVM執行過程熟悉。

所以就可用性而言我覺得Solidity比較好。

聯盟鏈智能合約需求思考

大家都知道聯盟鏈是一個不完全去中心化的分佈式賬本，在應用訪問聯盟鏈數據的時候是需要授權背書的。那麼聯盟鏈的智能合約和公鏈的智能合約由哪些區別呢？我覺得他們之間的區別在在於，一個ToB，一個ToC，對於ToB產品而言，所有數據上鍊或者交互的時候肯定是需要B端用戶或者聯盟用戶對數據進行規整。而不會出現用戶數據直接上鍊。所以我覺得Solidity 應該就滿足要求，目前市面上很多人覺得重新設計虛擬機是一個最大的創新工作，我覺得對於鏈而言，應該把重點放到共識算法，節點數量上。