比特幣交易所 比特幣交易所
Ctrl+D 比特幣交易所
ads

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

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機制。

Web3基礎設施公司Portal完成530萬美元融資:金色財經報道,Web3錢包基礎設施初創公司Portal宣布完成530萬美元融資,Slow Ventures、以及由Andreessen Horowitz校友Kaite Haun創立的風險投資公司Haun Ventures、Acrew Capital、Chapter One等參投。

據悉,總部位于舊金山的Portal提供錢包基礎設施和去中心化應用程序 (dapp) 商店,使項目成為支持Web3的應用程序。開發人員工具包可幫助門戶合作伙伴直接或從移動或桌面瀏覽器輕松連接到協議和dapp。此外,Portal首席執行官Raj Parekh曾領導Visa的全球加密產品部門。[2023/3/1 12:34:57]

對于模塊化和合約組合性方面,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生態有可能誕生新模式和新應用。

幣安CTO:正在考慮投資幾家印度Web3初創公司:金色財經報道,幣安首席技術官Rohit Wad在接受Businessline采訪時透露,幣安一直在密切關注印度區塊鏈生態系統,計劃在不久的將來投資幾家印度Web3初創公司,但沒有透露可能投資的潛在對象。此外,Rohit Wad透露幣安將從印度頂尖大學和科技機構招聘技術專業人員。[2022/12/24 22:04:40]

本文對比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也在嘗試解決。

2.1.一等資源與數字資產

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

創業加速器Archipelago Labs啟動1000萬美元Web3基金:12月5日消息,菲律賓持牌交易所 PDAX 支持的創業加速器 Archipelago Labs (A-Labs) ?在菲律賓啟動了 1000 萬美元的 Web3 基金,Archipelago Labs 還得到了Oak Drive Ventures 和 Magellan Digital Investment Group (MDIG) 等知名合作伙伴的支持。Archipelago Labs 通過投資和咨詢服務幫助基層的創業生態系統。它還希望為特定的垂直領域和啟動階段舉辦編程馬拉松和孵化器等項目。?(e27)[2022/12/5 21:23:39]

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

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

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

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

Web3數字時尚公司Muus Collective完成500萬美元融資,Griffin Gaming Partners領投:10月11日消息,Web3數字時尚公司Muus Collective宣布完成500萬美元新一輪融資,Griffin Gaming Partners領投,LionTree和Griffin Gaming Partners董事總經理Emily Wang將為該公司起步、推出Web3造型游戲和數字藏品提供支持。

據悉,Muus Collective由女性Web3創業者Sarah Fuchs創立,她曾擔任過時尚移動游戲平臺Covet Fashion副總裁兼總經理。該公司首款Web3游戲將于2023年中在iOS和Android平臺發布并探索NFT在旗下產品中的應用。(VentureBeat)[2022/10/11 10:31:20]

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

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

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

以太坊研發者:應為Web加密添加secp256k1橢圓曲線支持:1月24日,以太坊研發者Philippe Castonguay發推稱,是時候為Web加密添加對secp256k1橢圓曲線的支持了。對于基于web的以太坊和比特幣錢包來說,這將能極大增強其安全性。[2021/1/24 13:19:52]

實際的流程至少三步交易操作: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:MOVMOVESOLSOLIDMOVON幣movez幣為什么這么火SOLACESolidex

萊特幣最新價格
一位美國受托人反對 FTX 出售 LedgerX 在內的四家子公司計劃_FTX

據路透社援引法庭文件報道,美國受托人AndrewVara周六對破產加密貨幣交易平臺FTX出售其比特幣期權交易平臺LedgerX以及日本和歐洲子公司的計劃提出異議.

1900/1/1 0:00:00
Pantera 合伙人對 2023 年加密行業的 6 大預測_PAN

原文標題:《2023Predictions》來源:PaulVeradittakit,PanteraCapital合伙人編譯:aididiaojp.eth.

1900/1/1 0:00:00
Bankless:FTX 崩潰之后,Solana 是否會一蹶不振?_OLA

作者:BenGiove,Bankless編譯:深潮TechFlowFTX和AlamedaResearch的倒閉給整個加密貨幣帶來了災難,貸款人、交易所和基金都破產了.

1900/1/1 0:00:00
Lyn Alden 年終總結:對 DeFi 的批判性研究,DeFi 真的是未來嗎?_EFI

原文標題:《TheProblemswithDeFi&Crypto》作者:LynAlden,InvestmentStrategy創始人編譯:GaryMa.

1900/1/1 0:00:00
Balancer 發現一問題后督促部分池的 LP 盡快提取流動性_BAL

據Balancer發推稱,“部分Balancer池的協議費用已設置為0,以避免即將公開披露的一個問題,該問題已得到緩解。該舉措是由緊急多重簽名完成的.

1900/1/1 0:00:00
詳解穩定幣和其他衍生品的現狀_BTC

原文標題:《CoinMetrics’StateoftheNetwork:Issue183》撰文:KyleWaters、MatíasAndrade編譯:Lynn.

1900/1/1 0:00:00
ads