以太幣交易所 以太幣交易所
Ctrl+D 以太幣交易所
ads
首頁 > Coinw > Info

Solidity 最強對手:MOVE 語言及新公鏈崛起_SOL

Author:

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

作者:BuidlerDAO

Jason|@Jason_chen998|研究員

Frank|@MonolithMatrix|BuidlerDAO研究員

Move小王子|知乎:手把手寫Move智能合約

新一輪公鏈敘事中有兩個亮眼趨勢:一是以Move編程語言為核心的高性能新公鏈,二是以Celestia為代表的模塊化區塊鏈。借助本文,我們簡單聊一聊最新崛起的Move語言系公鏈三巨頭,以及從技術視角出發,他們背后的Move語言究竟好在哪里。

文章速覽:

01/Move語言系公鏈三巨頭的崛起02/當前賽道霸主:Aptos03/Resource特性:Move真正實現了數字資產化04/技術差異總結:Solidityv.s.Move05/Move未來展望與課程學習

1.Move語言系公鏈三巨頭的崛起

2019年,Meta全球流通的超主權數字貨幣項目Libra問世,誰料想出道即巔峰,隨后因監管限制被迫轉型Diem無疾而終。今年?1月底,Diem以約1.82億美元的價格被Meta出售。Libra與Diem團隊在這一過程中,留下了寶貴的遺產——彌補了Solidity及EVM缺陷的Move語言以及衍生出的公鏈團隊,比如最具代表性的Aptos、Sui和Linera。

2021年12月,起步最早的Sui公布了3600萬美金的A輪融資,資方包括a16z與NFX、ScribbleVentures、Redpoint、Lightspeed、ElectricCapital、SamsungNEXT、SlowVentures、StandardCrypto、CoinbaseVentures等。

2022年3月,Aptos完成2億美元融資,同樣由a16z領投。

2022年6月,Linera宣布完成600萬美元種子輪融資,本輪融資的領投機構還是a16z,參投機構包括CygniCapital、KimaVentures和TribeCapital等。

借貸協議Solend將推出無許可借貸市場,允許用戶創建任何代幣的借貸池:8月18日消息,據外媒報道,Solana頭部借貸協議將推出無許可借貸市場,允許任何擁有100SLND(約70美元費用)的用戶創建任何代幣的借貸池。

據悉,Solend擁有21個列入白名單的貸款池,為Solana生態提供了4.71億美元的可借代幣,這些白名單的借貸池由Solend團隊審查。無許可借貸市場旨在幫助項目“引導”其原生代幣的借貸市場,幫助有影響力的人通過推廣使用自己的資產池來“從他們的追隨者中獲利”,甚至支持他們僅靠聲譽創建“無擔保”信貸額度。(CoinDesk)[2022/8/18 12:33:21]

2022年7月,Aptos完成1.5億美元融資,FTXVentures和JumpCrypto領投,a16z、MulticoinCapital和CircleVentures等參投;同時Sui爆出正在尋求2億美元B輪融資,估值已經達到20億美元。

2022年8月,Aptos宣布將于8月30日啟動激勵測試網3,項目方宣布AIT2非常成功,有超過225個社區節點參與測試,分布于全球44個國家和110個城市。按照項目路線圖,主網將于該測試網結束后上線。

不難發現,a16z刻意押注“Move語言系公鏈賽道”,希望三條公鏈跑出下個周期龍頭。Move語言的三足鼎立態勢也在形成。

三條公鏈當中,開發和生態進展最快的無疑是Aptos。截至目前,它有著相比較更強大的社區、更活躍的開發人員和更健全的dApp生態系統,我們在本文第三部分詳細拆解。

排在第二位的Sui已經發布了自己的Tokenomics白皮書。其經濟模型有一個獨特特點:計算費與存儲費分開支付。當用戶提交鏈上數據時,他們會同時支付存儲費與計算費。

計算費會進入Stakerewards完成分配,部分轉移至StorageFund;存儲費直接轉入StorageFund,隨著網絡的增長和成熟,該基金用于補貼未來存儲成本的增加。這一設計將鏈上數據的存儲權回歸用戶,用戶可以選擇刪除鏈上的數據來取消存儲費。此外,Sui的開發工具包嘗試連接其他生態系統和非加密應用,包括GamingAPIs、SuiEcho、Handshake等有特色的SDKs。但其生態應用布局與Aptos相比非常寒酸,公開報道中僅有數個錢包相關的生態項目。

Jito Labs推出Solana MEV儀表盤:7月6日消息,Jito Labs宣布推出Solana MEV儀表盤,并表示從今年1月以來已對360億筆交易進行了分類,在借貸協議Mango和Solend中標記了原子套利和清算交易。Jito Labs表示,預估今年以來套利和清算交易的利潤最低為4500萬美元,但96%的套利和清算交易的嘗試是失敗的。此外,包含MEV交易的區塊數量今年已增長到25%。Jito Labs還表示,Solana將通過增加本地費用市場等方式緩解MEV的負面影響,Jito Labs也將推出包括MEV分發系統、區塊構建器等產品來優化網絡使用體驗。[2022/7/6 1:54:16]

相較于Aptos與Sui,Linera顯得起步較晚且更加低調,在今年6月18日發布的官方推特中僅展示了官網鏈接及使命。參考蜂巢Tech《新生代公鏈再攻不可能三角》中的研究:Linera致力于能將這兩個支付系統的速率引入到應用型的區塊鏈網絡中,使鏈上用戶的操作在幾分之一秒內就能得到確認。

在網絡性能方面,Linera提出了「線性擴展」的概念——通過增加機器數量來使系統容量加倍。目前,區塊鏈優先考慮「順序」執行的模型允許賬戶和智能合約在一系列交易中進行交互,但阻止了線性擴展。在Linera的線性擴展模型中,不同用戶帳戶的操作可在不同的執行線程中同時運行。

2.當前賽道霸主:Aptos

根據蜂巢Tech的報道,今年3月Aptos啟動了開發者測試網,5月Aptos啟動激勵測試網注冊,并將激勵測試網分為4輪:「去中心化啟動」、「質押」、「治理和升級」以及「動態驗證器拓撲」。當前其測試網絡已經達到了2萬多個節點,使其成為當今最大的已知權益證明節點社區。Aptos直言,社區的發展遠遠超出了他們此前最瘋狂的預期。而根據計劃,Aptos激勵測試網的剩余兩個階段預計會在接下來兩個月間完成,到了9月底,Aptos就將啟動主網。

Solend創始人稱AU21 Capital在未能投資該項目后利用域名發出威脅:12月24日消息,Solana借貸項目Solend創始人Rooter在推特表示,有投資機構在未能參與投資該項目的情況下,曾向該項目利用域名發出威脅。據他發布的電報群聊天截圖顯示,對方稱“我們已經向其他團隊出售了Solend.finance,他們會做Solend Finance,祝你們好運。”此后,Rooter指出該機構為AU21 Capital。[2021/12/24 8:00:59]

雖然長期來看,新公鏈最后贏家尚不明確;但是短期來看Aptos無疑占據著“Move語言系公鏈賽道”王者地位,這由其開發速率和生態建構共同奠定。

Aptos的明星團隊讓其在創立初期就收到眾多明星資本加持。根據ForesightNews報道,其聯合創始人兼首席技術官AveryChing曾在Facebook擔任首席軟件工程師超過10年,并且是原Meta旗下加密平臺Novi團隊的技術負責人;AldenHu、DavidWolinsky等大部分開發團隊都參與了Diem、Novi的開發。

其設計重點是絕對安全、可擴展性和可信的中立性,最終目標是能夠在一秒鐘內處理10萬甚至16萬筆交易。在這樣的強技術團隊下,Aptos也充分展現了自己研發戰斗力,打造了如下突出的邊際優勢:

Aptos團隊對其共識機制-拜占庭容錯進行了四次迭代,以實現高事務吞吐量、低延遲與高穩定性,在三分之一的驗證節點故障時,仍能保證穩定運行。

有望比老牌公鏈有更快的交易處理速度,根據Aptos測試網數據,當前該網絡每秒可處理1萬筆以上的交易,理想狀態下,Aptos主網每秒可處理16萬筆交易。公開資料表明,近期有機構對各大公鏈的速度進行了測試,AptosMaxTPS遠超包括Solana在內的老牌公鏈。

Aptos在7月正式公布30余個生態項目,雖然眾多處于測試網和開發階段,可交互的只有錢包和DEX,但是相比較于其他Move語言生態公鏈遙遙領先。如今公布的生態項目類型包括錢包、DEX、流動性協議、NFT、瀏覽器及數據分析工具等主流dApp賽道。

Soldo區塊鏈計劃于12月19日發布:12月11日消息,Soldo公司金融部門宣布Soldo.uno區塊鏈開發階段結束,定于12月19日發布。據悉,Soldo是基于PoTS共識協議的去中心化和節能虛擬金融資產。(Globenewswire)[2021/12/11 7:33:04]

充分利用Move開發語言與當前主流公鏈Solidity語言差異化競爭。我們接下來從技術視角詳細解讀Move語言關鍵優勢。

3.Resource特性:Move真正實現了數字資產化

Move語言被譽為最適合編寫區塊鏈智能合約的語言之一,并且多次被拿來與目前主流的Solidity進行比較并力壓其一頭,主要原因是Move對于區塊鏈最核心的Token資產進行了更為貼合的處理,彌補了Solidity在直觀性和安全性的缺陷,這里我們單獨將其最具有特色的Resource類型進行重點講解。

因資產上鏈使得安全問題成為了區塊鏈核心要解決的問題。在Web2中如果產品Bug或者數據泄露,難以導致用戶資產損失,最多引發產品崩壞或個人信息泄漏、黑市販賣,但是因為資產上鏈使得智能合約一旦出現了Bug就會直接導致背后無數的用戶資產外流或者被鎖死。

我們也可以經常從新聞看到黑客對某些交易平臺或跨鏈橋進行攻擊產生了數以億計的資產損失,BuidlerDAO之前也產出過大量的研報對這些事件進行研究,大部分都是因為合約出現了比較低級的問題被黑客盯上所導致的。這引發了一個需要讀者注意的關鍵屬性:Solidity是面向區塊鏈智能合約的編程語言,但不是面向區塊鏈鏈上資產的編程語言。

為什么這樣說呢?舉個例子,Solidity和絕大多數編程語言一樣將Token作為數值變量處理,就是將Token的轉移過程是進行加減法操作的,即張三要給李四轉10塊錢,于是則先將張三的余額-10,再將李四的余額+10。

Solana NFT售價210萬美元,打破之前網絡記錄:10月2日消息,Solana Monkey Business的NFT是在Solana區塊鏈上鑄造的5,000個NFT的集合,剛剛以13,027SOL(約210萬美元)的價格出售了一個NFT——使其成為迄今為止最昂貴的基于Solana的NFT。所述的Sol Monkey是#1355。根據NFT稀有性工具HowRare.Is,它是收藏品中最稀有的NFT,有一個骷髏身體(2.42%的SolMonkeys有這個特征),一件橙色外套(1.06%)和一個鑲有寶石的皇冠(0.02%)。(TheBlock)[2021/10/2 17:20:31]

所以在Solidity中資產就是一個可以被加減的數字,那么這里面就需要合約代碼非常嚴謹,比如在進行加減法操作時出現了一些問題,給張三-10,李四+20,或者張三-0,李四+10呢?因為這個過程就是通過很多代碼邏輯去來回在若干個錢包中進行加減操作,很難保證不會出現一些問題。

究其原因是資產在Solidity中沒有被特殊定義,只是將其看作和年齡、電話等一樣的變量。而資產的定義本就應該是獨一無二的,就像是在物理世界中,我手里有一塊金條,我要將它給某個人,不論給予中間的過程是怎么樣的,這個金條不會從1根變成2根。所以我們常說的數字資產,在Solidity中只可稱之為可以被加減的數字,而談不上資產。

Move的可編程Resource是其變得安全且強大的核心,實現了真正意義上的數字資產化。Resource是一種數據類型。數據類型即定義一種數據結構的方式:

字符:比如姓名、住址,是String類型;

數字:比如年齡、電話,可以是Int類型;

是否、對錯:一些對立,則可以用Boolean的Ture和False來表示。

Move認為Token資產是一種很特殊且重要的數據,不應該用普通的數值類型來定義和表示,所以單獨創建了Resource來定義鏈上資產。這種方式呈現出三個特性:

Resource在Move中依然是以一個數值的形式存在,可以作為數據結構被儲存,也可以作為參數被傳遞和返回。

Resource可以安全的表示數字資產,它的特殊在于不能被復制,丟棄或重用,但是它卻可以被安全地存儲和轉移,并且Resource類型的值只能由定義該類型的模塊創建和銷毀,所以其實現了資產的含義而非數字。

Resource適配了區塊鏈應用特性,如與賬戶進行綁定。Resource數據必須要存儲在賬戶下面,所以只有分配了賬戶后才會存在對應的Resource資產,以及Resource只要取出后就必須被“使用”,用內置的Move_form方法將資產從賬戶中取出后,要么將其作為返回值傳遞即必須要流向一個地方,要么直接將其銷毀,這意味著資產取多少就用多少。還記得Solidity是如何操作的嗎?它將一個地址的余額減少,再去另外一個地址增加,然后通過代碼使得減少和增加的數字是一致的,所以在Solidity是完全靠代碼邏輯強硬的實現了資產使用,但是Resource則是在底層將資產的概念進行了封裝而非加減法,避免了資產憑空產生和隨意訪問,極大的提高了安全性,可以將Move的Token移動看作是搬磚,從一個地方搬到另一處,而Solidity則是加減法,一處減了,另一處加上。

綜上所述,Move是一種更加原生且貼合的專用于發行數字資產的編程語言,它實現了程序與數字資產的直接集成。

4.技術差異總結:Solidityv.s.Move

從Bitcoin的Script過渡到Ethereum的Solidity,經歷了DeFi的洗禮,Solidity無疑是成功的。但是分析最近半年那些歷歷在目的安全漏洞,例如PolyNetwork、Horizon、Nomad、Solana等等,讓人不寒而栗。對比不可能三角,如何保障鏈上資產的安全,已經成了整個行業急需面對的主要問題,a16z正是看中了這一潛在的剛需,一口氣領投了Move的三大公鏈。

未來擁抱Web3時代,在這些漏洞的背后,VM也在不斷的查缺補漏,例如修復原來的溢出問題,但是底層設計上的缺陷很難有質的改進。不同于以往的開發經驗,DeFi應用本質上是開源、透明的金融系統,對于安全性有極高的要求。所以針對金融場景,設計更安全可靠、低門檻的智能合約語言也許不失于更好的選擇。這里我們深入對比一下Solidity和Move:

從上面可以看出,Move在Solidity的基礎上,增加了很多的特性,具備極好的安全性和工程能力。Move從Solidity真實的安全漏洞中吸取寶貴的經驗教訓,在底層的安全設計上有重大的創新,在保證語言表達能力和靈活性的同時,也讓開源系統更加安全可靠。

舉個栗子,假設有100個Token,在Solidity中,黑客能夠輕易的將100個Token復制成更多的Token。但是在Move中,只要將Token定義成Resource類型,從虛擬機層面保證Token是不可以復制和修改的,黑客絕對不能通過復制來盜取Token。

對Move來說,類似的優點很多:

面向資源編程

Move專門針對金融場景進行了增強,引入了面向資源編程。對于FT和NFT等常用場景,Move將數據定義成資源,能夠從虛擬機層面保障了數據的安全。

純靜態語言

動態調用是Solidity的基石,所有的跨合約調用都要通過動態調用來實現,例如DelegateCall,但是也是大部分安全漏洞的入口,例如TheDAO攻擊、PolyNetwork跨鏈攻擊等等。鑒于Solidity的真實經驗,Move采用了完全純靜態的實現,更好的保障鏈上資產安全。

形式化驗證

形式化驗證是FV(formalverification)是指使用數學工具分析設計可能行為的空間,而不是計算特定值的結果。也就是說,通過數學的手段證明程序的安全性。Move自帶形式化驗證的工具,我們可以使用數學的手段來測試和證明合約的可靠性,這是Solidity不可比擬的優勢。

分散存儲

Web3時代,用戶掌握數據是所有權。Solidity是通過Map的形式,集中存儲合約數據,在合約出現漏洞的時候,例如獲取到了合約Owner權限,所有用戶數據都將遭受攻擊。Move巧用Resource,能夠將數據分散的存儲到每個用戶自己的Account下,既保證了數據的安全,又真正的做到了數據的所有權歸用戶所有,合約的Owner沒有修改數據的權限。

面向泛型編程

出于安全的考慮,Move設計成了純靜態語言,但是靈活性并沒有因此而減少,Move通過面向泛型編程,保障了合約的擴展性,增加了代碼的復用能力。

5.Move未來展望與課程學習

從Script到Solidity是合約表達能力的變革,從Solidity到Move是合約安全能力的變革。

Move是對開發者友好的。Move語言的宗旨就是,降低開發者的安全門檻。合約開發者可以專注于業務邏輯,無需在代碼安全上面花費很多的心思。只有讓合約開發者在無感的情況下寫出高安全性的代碼,遠離那些低級Bug導致的安全漏洞,才能讓DeFi更安全,才能讓用戶更放心。Move還有很多優良特性我們未在本文展開說明,但是非常值得探索的方向。

在研究新公鏈這一火熱話題中,我們研究員不約而同發現理解本輪新公鏈敘事,必須懂得Move技術細節與公鏈技術創新。

Tags:SOLMOVMOVELIDSOLAmovez幣是哪個國家發行的MOVEZBolide

Coinw
NFT 安全初創公司 Tokenproof 完成 500 萬美元融資,Penny Jar capital 領投_NFT

鏈捕手消息,NFT安全初創公司Tokenproof完成500萬美元融資,PennyJarcapital領投.

1900/1/1 0:00:00
Coinbase 因允許美國人交易未注冊的“證券”面臨一項集體訴訟_OIN

鏈捕手消息,全球投資者權益律師事務所羅森律師事務所近日宣布在2021年4月14日至2022年7月26日期間代表Coinbase證券的購買者提起集體訴訟.

1900/1/1 0:00:00
如何領取 V 神新書的紀念 NFT_NFT

作者:0x711,BlockBeats8月31日,V神在其社交平臺表示,其近十年所有文字內容組成的文集《ProofofStake》數字版和實物版將出版.

1900/1/1 0:00:00
晚報 | Sui 開發公司 Mysten Labs 完成 3 億美元融資;Animoca Brands 完成 1.1 億美元融資_以太坊

整理:潤升,鏈捕手 “過去24小時都發生了哪些重要事件”?1、Sui開發公司MystenLabs完成3億美元融資,FTXVentures領投據《華爾街日報》報道.

1900/1/1 0:00:00
穩定幣跨鏈交易協議 Meson 完成 400 萬美元融資_穩定幣

鏈捕手消息,穩定幣跨鏈產品Meson宣布完成近3000萬元融資,GSRV(https://gsrv.fund/)領投.

1900/1/1 0:00:00
晚報 | Animoca Brands Japan 完成 4500 萬美元融資;幣安和 FTX 有意收購 Voyager Digital_ETH

整理:flowie,鏈捕手“過去24小時都發生了哪些重要事件”?1、上海數據交易所設立數字資產板塊,已上線多款數字藏品?上海數據交易所于8月24日宣布設立數字資產板塊,并發布該板塊管理規范.

1900/1/1 0:00:00
ads