以太坊價格 以太坊價格
Ctrl+D 以太坊價格
ads

MOV:Web3.0 底層語言:Move 彌補了 Solidity 哪些不足?

Author:

Time:1900/1/1 0:00:00

作者:宋嘉吉任鶴義,國盛證券研究所

為什么基于Solidity語言的以太坊生態如此龐大,市場依然對新公鏈有著新期待?Move出自大廠,被行業普遍看好,前期一些基于Move語言開發的公鏈得到了市場的青睞和資本的追捧。面向Web3更為豐富的應用,底層語言的進化是基礎,Move有哪些優勢,彌補了Solidity哪些不足?基于這些特點,Move生態有可能誕生新模式和新應用。

針對已有的編程語言如Solidity,Move語言在很多細節設計考慮的比較周到,如將庫與應用邏輯分離開來;但最為突出的特點是資源類型方面,即面向資源的編程。在Dapp應用支持方面,吸收了比特幣script和以太坊的smartcontract的優點,因此行業普遍對該編程語言比較看好。而針對Solidity被外界詬病的安全問題,move也在嘗試解決。

Move是面向資源(resources)的編程語言,資源在Move的世界里是“第一等公民”,其關鍵特性是自定義資源類型:resources永遠不能被復制或隱式丟棄,只能在程序存儲位置之間移動。Solidity并不是面向資源的,用戶的賬戶擁有某個Token資產,只是該Token合約分配給用戶的一個數值。

而Move創建的Token賬戶資產是獨一無二的資源類型,比如賬戶A中的資產是保存在A賬戶中的,雖然也是數值,但不能復制、丟棄或重用,可以被安全地存儲和轉移。同時,賬戶資產只能由定義該資源的模塊進行創建和銷毀,這使得同質化的數值類型的資產可能產生的重入、類似雙花或者賬戶余額出現不平衡的狀況得以避免。在這一點上,Move賬戶資產有些類似比特幣的UTXO機制,Token不再是簡單的同質化數值,而是可區分的。

為了可以實現更靈活的業務,Move另外定義了4種權限屬性:可復制(copy)、可丟棄(drop)、可存儲(store)、可檢索(key)。這4種屬性可以任意組合,來定義資源的屬性,方便用戶靈活操作。如drop+store+key的組合,定義的資源是不可以復制的,可以避免復制引發的代幣增發以及雙花的問題,這一點類似NFT以及比特幣的UTXO機制。

GameStop與Elixir Games達成戰略合作將為旗下Web3游戲分發平臺“GameStop Playr”提供支持:金色財經報道,Web3游戲分發平臺Elixir Games已宣布與“游戲驛站”GameStop達成戰略合作,并將為GameStop旗下 Web3 游戲分發平臺“GameStop Playr”提供支持,包括游戲托管、游戲競賽管理、游戲社交、Web3游戲Launchpad等,旨在進一步提升Web3游戲可玩性和可發現性。Elixir Games此前也和《最終幻想》開發商Square Enix達成戰略合作,旨在傳統游戲玩家中提高 Web3游戲的知名度和采用率。(prnewswire)[2023/6/22 21:54:09]

對于模塊化和合約組合性方面,Moe使用了模塊和腳本設計,通過傳遞資源實現合約交互。Solidity上面的Contract合約通過library進行消息的傳遞,從而實現Contract合約之間的調用、交互。而Move語言使用了模塊(module)和腳本(script)的設計,前者類似于Contract合約,Move語言的合約組合性則是模塊之間的組合,通過傳遞資源。關于組合性方面,Solidity和Move的區別非常明顯。

在交易執行方面,Move的并行處理相交Solidity帶來區塊鏈性能的極大提升。并行執行通過識別獨立交易并同時執行,這極大提升了區塊鏈的擴展性。Solidity并不支持并行處理,如以太坊上的交易按順序執行,其他交易置于暫停狀態——因此產生了mempool和MEV市場。如基于Move的公鏈Aptos,利用Block-STM引擎實現并行處理,帶來性能的明顯提升。

一:核心觀點

Move出自大廠,被行業普遍看好,期間一些基于Move語言開發的公鏈得到了市場的青睞和資本的追捧。為什么基于Solidity語言的以太坊生態如此龐大,市場依然對新公鏈有著新期待?Move所擁有的優勢,彌補了Solidity哪些不足?基于這些特點,Move生態有可能誕生新模式和新應用。

Unstoppable Domains承諾在Web3域名聯盟中簽署“專利互不侵犯條約”:金色財經報道,Unstoppable Domains承諾在Web3域名聯盟中簽署“專利互不侵犯條約(patent nonaggression pact)”, 該聯盟由數十家提供命名服務的公司組成,Unstoppable Domains稱不會對Web3域聯盟的行業組織的其他成員強制執行一項名為“解析區塊鏈域”的關鍵專利。在宣布專利承諾的同時,Unstoppable Domains還透露另有52個項目已加入了Web3域名聯盟,包括加密貨幣交易所Blockchain.com和NFT市場Rarible,不過目前以太坊域名服務Ethereum Name Service(ENS)暫未加入,ENS首席開發人員對其競爭對手決定在開放源代碼和域名知識產權的決定表示持保留意見。[2023/2/23 12:24:13]

本文對比Solidity和EVM存在的不足,分析了Move的優勢與特點。

二:為什么發明Move:彌補Solidity的哪些問題?

Move是Meta公司為其Diem項目開發的一種安全可靠的智能合約語言,Aptos、Sui等新公鏈使用的正是move編程語言,這些公鏈正是看中了Move的優勢及其并行處理特性,可拓展單片鏈的局限。Move是基于Rust的編程語言,但是Move專門針對智能合約進行開發優化,主要用于操作資源,因此入門門檻是低于rust的。

因為主要針對智能合約,因此砍掉了許多Rust多余的操作,更加簡潔。為了彌補Solidity和EVM出現的一些不足,Move做了一些優化,使得基于Move的Dapp應用有著更多靈活玩法。

針對已有的編程語言如Solidity,Move語言在很多細節設計考慮的比較周到,如將庫與應用邏輯分離開來;但最為突出的特點是資源類型方面,即面向資源的編程。在Dapp應用支持方面,吸收了比特幣script和以太坊的smartcontract的優點,因此行業普遍對該編程語言比較看好。而針對Solidity被外界詬病的安全問題,move也在嘗試解決。

調查:75%的游戲開發者希望在未來參與Web3游戲開發:12月20日消息,區塊鏈娛樂公司Coda Labs委托進行的調查結果顯示,四分之三(75%)的受訪游戲開發者希望在未來從事Web3游戲項目工作。

除此之外,超過一半的受訪者相信Web3將徹底改變游戲行業。一些人認為Web3將在用戶獲取和留存方面產生影響。40%的人預計實施Web3將帶來更多新用戶,36%的人認為Web3集成將使游戲更好地留存用戶。(Cointelegraph)[2022/12/21 21:57:02]

2.1.一等資源與數字資產

與其出現的背景相匹配,Move是面向資源(resources)的編程語言,資源在Move的世界里是“第一等公民”,其關鍵特性是自定義資源類型:resources永遠不能被復制或隱式丟棄,只能在程序存儲位置之間移動。它可以像傳統的類型一樣,可以存儲在數據結構中,也可以作為參數傳遞。

簡單的說,他就是傳統編程語言中一個不可隨意銷毀的新數據類型。對比Solidity定義的資產,如以太坊上的某種Token賬戶,資產只是一個數值,兩個賬戶之間發生轉賬后,賬戶資產數值相應的發生變化,不同賬戶資產的區別就是數值余額,并無本質區別。

同時需要注意,例如以太坊上ERC20代幣TokenA,其是一個獨立的合約賬戶,這個合約為用戶分配一個數值,代表用戶擁有的TokenA的數量。從這一點可以看出,Solidity并不是面向資源的,用戶的賬戶擁有某個Token資產,只是該Token合約分配給用戶的一個數值。

而Move創建的Token賬戶資產是獨一無二的資源類型,比如賬戶A中的資產是保存在A賬戶中的,雖然也是數值,但不能復制、丟棄或重用,可以被安全地存儲和轉移,用并不完全準確的比喻,可以認為A賬戶中的資產與其他賬戶資產在某種意義上是不完全同質的。

全球首個K-12 Web3線上學院JetLearn完成120萬歐元種子輪融資:金色財經報道,全球首個面向K-12教育的Web3線上學院JetLearn宣布完成120萬歐元種子輪融資,由歐洲工商管理學院天使集團(INSEAD Angel Group)領投,一些著名天使投資人參投,包括 Soho House 首席財務官、Backed VC 前任首席財務官 Humera Afzal,以及由紅杉和軟銀支持的硅谷新興獨角獸 Zum 創始人 Ritu Narayan。JetLearn總部位于阿姆斯特丹,幫助兒童學習包括 Web 3.0、AI(人工智能)和機器人技術在內的新時代技術技能,據悉 JetLearn 的 STEM.org 認證計劃是世界上第一個也是唯一一個針對 K-12 教育的 Web 3.0 課程。(globalbankingandfinance)[2022/7/13 2:09:36]

同時,賬戶資產只能由定義該資源的模塊進行創建和銷毀,這使得同質化的數值類型的資產可能產生的重入、類似雙花或者賬戶余額出現不平衡的狀況得以避免。在這一點上,Move賬戶資產有些類似比特幣的UTXO機制,Token不再是簡單的同質化數值,而是可區分的。

為了可以實現更靈活的業務,Move另外定義了4種權限屬性:可復制(copy)、可丟棄(drop)、可存儲(store)、可檢索(key)。這4種屬性可以任意組合,來定義資源的屬性,方便用戶靈活操作。如drop+store+key的組合,定義的資源是不可以復制的,可以避免復制引發的代幣增發以及雙花的問題,這一點類似NFT以及比特幣的UTXO機制。

可以這樣理解,以太坊的資產是由相應的合約控制,如果把TokenA合約比喻為保險箱,保險箱會給所有用戶分配一個數值余額,來表達用戶所有擁有的TokenA資產數量,但資產本身還是放在TokenA合約的保險箱內。而Move用戶賬戶本身就是一個單獨的大保險箱,由用戶自己控制,所有的Token資產都放在這個保險箱內。且這些Token并不是以數字的形式存在,而是不可復制的、權限受用戶控制的資源。

Web3 Foundation推出Polkadot 1000個驗證人計劃:據官方消息,Web3 Foundation推出Polkadot 1000個驗證人計劃。按照驗證人安裝設置的說明進行,就有資格從Web3 Foundation接收提名,以幫助啟動Polkadot節點。通過加入該計劃,可以提高Polkadot的共享安全性從而增強網絡的實力,也可以使網絡更加去中心化。[2020/12/6 14:21:19]

Move語言中的資源定義與權限是分離的,資源的權限屬于用戶。Solidity中賬戶資源權限歸屬于合約,比如以太坊上某個erc20Token屬于相應的合約,如用戶在DEX如Uniswap合約進行TokenA兌換為TokendB交易時,無法在Uniswap合約里直接提取自己的A資產換為B資產——因為Uniswap里資產的權限屬于其合約。

實際的流程至少三步交易操作:i)首先對Uniswap合約進行授權,授權Uniswap合約代用戶提取A合約的資產;ii)進入Uniswap合約進行兌換,提取A后將B存入賬戶;iii)取消授權。但用戶一般不會在完成兌換后立刻取消授權,一旦Uniswap合約受到攻擊或者出現漏洞,就為用的AToken賬戶帶來風險。需要注意的是,授權/取消授權都需要在以太坊上執行合約操作,從而產生gas費。

從這里我們可以清晰看到,TokenA、TokenB、Uniswap里的LP資產權限分屬于各自的合約,用戶無法通過一個賬戶在三個合約之間自由切換。而Move的資產大賬戶則不需要跨合約授權,權限是屬于用戶的,用戶直接在DEX里提取A、兌換為B存儲到賬戶里,這個過程可以在一個交易操作里完成,無需授權/取消授權操作,一定程度上提高了安全性。

2.2.Move語言的模塊化和靈活組合性

此前我們的深度報告《Web3.0時代:開放、隱私、共建》中提出了Web3.0與Web2.0很大的區別在于開放性、可組合性。那么這種開放調用從底層上是如何實現的呢?Move語言又將提供哪些便利?

對于模塊化和合約組合性方面,Solidity上面的Contract合約通過library進行消息的傳遞,從而實現Contract合約之間的調用、交互。而Move語言使用了模塊(module)和腳本(script)的設計,前者類似于Contract合約,Move語言的合約組合性則是模塊之間的組合,通過傳遞資源。關于組合性方面,Solidity和Move的區別非常明顯。

以部署Token合約為例,Solidity的Token作為一種服務存在,可以查詢余額,而Move的Token則是一種資源,也就是上文提到的“永遠不能被復制或隱式丟棄,只能在程序存儲位置之間移動”。而這兩者之間的區別,可以這樣比喻:基于Solidiy的合約之間調用是通過消息服務,如各類接口的調用,Solidity上面的合約交互就好比是兩個原始部落之間的貿易交流,為了方便兩個部落之間的往來,需要統一生產工具和制作方法等標準信息——即兩合約之間的狀態同步,實現交互。

A部落發明了石斧頭,于是將這個石斧頭的用材標準、制作方法等信息告知B部落,由B部落自行生產。注意這里為了安全,合約要保持隔離狀態,只能傳遞消息服務,但消息服務顯然是可以復制或被丟棄。

如果一個合約出現升級,如以太坊NFT接口標準ERC721、ERC721A和ERC4907等系列優化升級,就好比A部落發明了鐵器,因此需要通過消息服務告知對方部落更新生產配置。一個合約的升級,需要調用過該合約的其他合約進行狀態同步,跟隨升級。這個工作流程無疑會增加復雜性,以太坊合約的升級迭代也是同樣復雜的,且會帶來EVM的字節代碼膨脹。

Move的世界,合約交互則更具備靈活組合性。還是上面的喻例,作為Move的模塊(module)之間交互是通過傳遞資源來實現的,這種優化相當于科技升級,A部落并不是告知B部落生產工具的配置信息,而是根據需求,將生產工具封裝在一輛型號合適的標準運輸車中,對方不必需升級生產配置,而是每次只需要接收車輛開走就行。

換句話說,Move的模塊之間交互傳遞的不是消息,而是干脆傳遞了運輸車輛。無疑這種模式更具有靈活組合性,接收方收到車輛可以存儲,也可以轉移給其他方,甚至可以將車輛貨物卸下來后分裝在不同的車輛里。也就是說,一個Move模塊的升級,其他使用過該模塊的合約自動會升級到最新狀態。

2.3.對Web3安全性的改進

Move語言帶來的安全改進是多方面的。

Move語言的資源有四個屬性:可復制、可索引、可丟棄、可存儲,通過這四個屬性的不同組合,用戶可以方便的定義出任何類型的資源。Solidity的資產是由代幣合約賦予用戶賬戶的數值余額,相比較,Move無疑增加了資產的安全性。

Solidity的資產是由相應的Token合約賦予用戶的數值。而Move規定資源會存儲在由所有者的帳戶控制的模塊里,資源的所有者具有最高決定權,只有所有者能夠決定資源的存儲和轉移。操作權限分離,使得不同場景可以定義不同的權限,這也是安全的一面。

Move資源的設計讓數字資產轉移不是賬戶間余額數值的簡單加減,而是存儲位置間的移動,避免重入和雙花攻擊。重入指的是黑客抓住代碼漏洞,制造惡意合約,在用戶轉賬的同時再次調用轉賬函數,在不改變賬戶余額的情況下不斷提走資金。對于Solidity語言Token合約的賦值方案,重入攻擊和雙花的風險都很大。

另外,Move的模塊工作模式也大大降低了系統風險——如前文所述,Solidity合約升級需要其他合約作出相應的升級,否則將帶來安全隱患,而Move的合約升級非常簡單,只需相應合約自身升級,并不需要其他合約作出更新,這在一定程度上規避了合約升級不及時帶來的安全風險。

2.4.Move的并行處理帶來更高的擴展性

在交易執行方面,Move的并行處理相交Solidity帶來區塊鏈擴展性的極大提升。并行執行通過識別獨立交易并同時執行,這極大提升了區塊鏈的擴展性。Solidity并不支持并行處理,如以太坊上的交易按順序執行,其他交易置于暫停狀態——因此產生了mempool和MEV市場。對于兩個不關聯的交易,如果能夠并行處理,則高效且可擴展。

如基于Move的公鏈Aptos,利用Block-STM引擎實現并行處理,帶來性能的明顯提升。其工作理念類似以太坊二層網絡的OptimisticRollup,交易在區塊內是預先排序的,先假設交易之間是沒有依賴關系,樂觀底執行并行交易。

執行后驗證所有交易結果,如果發現一個交易訪問了由先前交易修改的內存位置,則該交易無效——因為很明顯兩個交易是相關的。刷新交易的結果,然后重新執行交易。重復該過程,直到區塊中的所有交易都被執行。Block-STM的特點是支持比較復雜的事物,適合多種應用負載工況。

如下圖,將Block-STM與區塊按交易順序執行進行了比較。每個區塊包含一萬筆交易,賬戶數量決定了區塊處理的交易的競爭復雜程度。在低競爭和高競爭情況下,Block-STM比順序執行的方案實現了8-16倍的加速。當交易任務是順序的情況下,Block-STM的消耗也更小。由此可見,Move帶來的并發性能是非常突出的。

由此可見,在L2之前,主鏈的并行處理能力亦是公鏈擴容積極考慮的方案。這為Move生態帶來更多的可能性。

風險提示

區塊鏈商業模式落地不及預期:區塊鏈、密碼學等相關技術和項目處于發展初期,存在商業模式落地不及預期的風險。

監管政策的不確定性:區塊鏈項目實際運行過程中涉及到多項金融、網絡及其他監管政策,目前各國監管政策還處于研究和探索階段,并沒有一個成熟的監管模式,所以行業面臨監管政策不確定性的風險。

Tags:MOVEMOVSOLIDLIDMOVEZmove幣能長起來嗎SOLID價格ethylidene

火幣下載
MYT:Mythical Games 指控前高管利用公司機密為其私人項目籌集 1.5 億美元

鏈游工作室MythicalGames提起訴訟,指控三名前高管利用公司機密為其離開公司后創立的新項目FenixGames籌集1.5億美元資金,違反了他們的信托義務.

1900/1/1 0:00:00
EFI:Pantera 年終信:從 FTX 風波看去中心化系統的必要性

原文作者:PanteraCapital 編譯:白澤研究院 尊敬的投資者, 在上一次?DeFi?Summer備受矚目的爆發之后,我們將我們的年終信命名為: DeFi運作良好 DeFi仍然運作良好.

1900/1/1 0:00:00
OIN:詳解 Grants 2.0 升級:從社交體到信任體

整理編譯:Kay,?Gitcoin 校對:Bob GitcoinGrants自2019年1月誕生后以來,已然過了3年光景.

1900/1/1 0:00:00
NFT:Bankless:2022 年預測復盤及 2023 年趨勢預測

撰文:Bankless 編譯:DeFi之道 2022年是充滿驚喜的,不是嗎?至少我沒想到……一個排名前三的交易所犯下歷史上最嚴重的欺詐行為之一最大的加密貨幣基金是一個大規模的過度杠桿化騙局最大的.

1900/1/1 0:00:00
GEN:2023 年以太坊生態 5 大預測

作者:neworder 編譯:隔夜的粥,DeFi之道我們對以太坊生態系統的五個預測: 熊市還沒有過去; EigenLayer將是以太坊最重要的創新;Blob交易不會修復可擴展性問題;2023年.

1900/1/1 0:00:00
Gemini:Gemini 創始人炮轟 DCG“一團糟”,17 億美元資金謎團重重

撰文:MaryLiu,比推2023年剛開年,幣圈“互撕”大戲又迎來新劇情。1月2日,美國加密交易所Gemini聯合創始人CameronWinklevoss拋出一份公開信,指責DigitalCur.

1900/1/1 0:00:00
ads