上一輪週期中,湧現出了一批新的Layer1項目,如Solana、Polygon、Fantom和Near等,它們都試圖在底層公鏈上進行一些改進和探索。
隨著周期進入了新一輪熊市,一波新的公鏈正在嶄露頭角。其中,最受關注的,無疑是採用了Move編程語言的Libra系項目:Aptos和Sui。
2019年,當時的Facebook(現已更名為Meta)高調宣布推出全球流通的加密貨幣Libra(後更名為Diem)。後來由於監管等問題,Libra這個項目未能成型。但這也使團隊意識到,要想真正建立有創新性的Web3項目,必須完全跳脫出傳統領域,進入加密領域。
Aptos和Sui的開發者都曾是Libra的核心開發者,他們繼承了Libra項目中的編程語言--Move語言,構建了這兩條新公鏈。
本文將簡單介紹Move語言的一些特點和這兩條公鏈的現狀。
Move語言被稱為是最適合編寫智能合約的語言。許多人拿它來與目前主流的Solidity語言比較並認為其優於Solidity。主要是因為Move在誕生之初就被針對於區塊鏈資產做了相關的優化。
幾乎每一個區塊鏈項目都有自己的加密資產。資產的價值增長既是項目發展的結果,也是項目發展的動力。資產安全原本應該是項目發展的頭等大事。但是加密行業頻頻發生的資產被盜、資產丟失事件讓許多還未進入行業的投資者望而生畏。
Move還定義了一些資源的特性:
如與賬戶進行綁定。 Resource 數據必須要綁定在賬戶下面,所以只有分配了賬戶後才會存在對應的Resource 資產,以及Resource 只要取出後就必須有一個去向,要么將其作為返回值傳遞即流向一個賬戶,要么直接將其銷毀。可以理解成Move 的Token 移動是轉移,從一個賬戶轉移到另一個,而Solidity 則是加減法,先在一處減了,再在另一處加上。
再就是資產的訪問權限。在Solidity 中,數據集中存儲在合約裡,在合約出現漏洞的時候,一旦黑客獲取到了合約權限,所有用戶數據都將遭受攻擊。
而在Move 中,數據存儲在擁有它的帳戶中,而不是合約中。 Move中有許多模塊,模塊是可以創建、轉移、存儲資產的程序,類似於以太坊中的智能合約。 Move 規定只有公共模塊功能可以被其他模塊訪問。
每個resource(對象)都存儲在由所有者的帳戶控制的模塊裡。想要訪問或者修改模塊時,必須有模塊所有者的簽名,簽名者在Move 中擁有最高級別的權限,並且是唯一能夠將resource 添加到帳戶中的實體。此功能允許在智能合約中維護數字資產的所有權信息和特權。如果資產被發送到智能合約,所有權不會改變。在這種情況下,即使智能合約被攻擊者攻破,資產也不會丟失。
架構安全
Move 在Solidity的安全事件中吸取了經驗和教訓,在Solidity 的基礎上,增加了很多的特性,在底層的安全設計上有很大的創新,讓系統變得更加安全可靠。
Move語言有幾個特點:
靜態調用。那什麼是靜態調用?靜態調用是與動態調用相對的。一個程序在調用另一個程序時,如果必須到運行時才能確定被調用的目標,則稱該調用為動態調用;反之,如果程序在運行前即可確定被調用的目標,且在運行時無法變更該目標,則稱該調用為靜態調用。
Solidity中的調用都是通過動態調用實現的,由於無法確定調用對象,所以可能造成循環調用,這帶來了很大的安全風險。例如TheDAO 攻擊、PolyNetwork 跨鏈攻擊,就是類似的事件。
Move語言吸取這些教訓,選擇了靜態調用的設計,降低了運行時程序崩潰的可能。
形式化驗證。形式化驗證就是通過數學的手段證明程序的安全性。 Move團隊為使用者開發了Move Prover工具,可以使用數學的手段來測試和證明合約的可靠性,開發人員可以在幾分鐘內運行測試,使他們能夠在部署前就發現代碼中的錯誤。
簡而言之,Move是專門針對區塊鏈資產和智能合約而創立的語言,在安全性和可驗證性上都大幅優於Solidity。
圖片來源:BuilderDao
從開發進展、生態豐富度、融資進展來看,Aptos目前是Move系新公鏈中的龍頭項目。
今年3月,Aptos 完成2 億美元融資,同樣由a16z 領投。參投方包括Tiger Global、Multicoin Capital、FTX Ventures、Coinbase Ventures、Binance Labs等頂級機構。今年7月25日, Aptos 又完成了1.5 億美元融資,FTX Ventures 和Jump Crypto 領投,a16z、Multicoin Capital 和Circle Ventures 等參投,不到半年,Aptos籌集了3.5億美元。
Aptos 成立於今年2月初,但是繼承了過去幾年Libra團隊的開發成果,旨在追求區塊鏈安全性、高性能、可擴展性和可升級的發展。其核心開發者都是原Libra項目中的開發人員。
現狀
今年3月15日,Aptos發布了開發者測試網,5月,啟動了激勵測試網(AIT1),為開發人員和合作夥伴提供了類似於主網的測試平台,並對所有幫助保障網絡安全的參與者提供激勵。
Aptos激勵測試網3(AIT3)從8月30日到9月9日,主題是治理和升級。
Aptos 在博客文章中表示,其測試網絡已經達到了20,000 多個節點,同時,該測試網絡可以每秒驗證和同步超過1 萬交易(TPS),延遲為亞秒級,正在向超過10 萬的TPS邁進。
安全性
除了採用了更安全的Move語言作為開發語言之外,在共識方面,Aptos採用了優化後的拜占庭共識「Proof-Of-Stake Diem BFT」,在過去三年中進行了四次共識方面的迭代,以實現高事務吞吐量、低延遲及更節能。
Aptos 的BFT 協議使網絡保持平穩運行,同時也保持世界級的速度。 Aptos 使用信譽系統來更新驗證者輪換並使用“起搏器”同步投票。該系統在不到一秒的時間內完全驗證交易(通常稱為“最終確定時間”的度量),這使其成為生產中最快的區塊鏈之一。
為保證安全性,Aptos還啟用了大量驗證器來進行測試。為了防止密鑰丟失或被盜,Aptos 中還設置了帳戶密鑰恢復和輪換協議,具體表現為Aptos 支持任何帳戶輪換其私鑰,驗證者還可以定期輪換他們的共識密鑰。為防止密鑰丟失,Aptos 還在開發可直接集成到區塊鏈賬戶模型中的密鑰恢復新技術。
可擴展性
Aptos還對身份驗證的數據結構和相關的狀態存儲進行了優化,以提升性能。在驗證賬本狀態(例如賬戶餘額、智能合約等)時,內存中的小規模的Merkle tree 是有效的,但大型Merkle tree 無法寫入持久存儲。為解決這個問題,Aptos 正在通過探索通過訪問模式優化的緩存和版本控制來設計經過身份驗證的數據結構,且Aptos 還在開發對大型帳戶的支持。
可升級性
生態
Aptos 舉辦過一屆Aptos 黑客松。今年6 月底,Aptos 推出了2 億美元的生態系統資助計劃,資助類別包括6 類,分別是開發人員工具、SDK、庫、文檔、指南及教程;用於開發、治理、DeFi 和NFT 的工具和框架;核心協議貢獻:代幣標準、庫、協議升級等;開源和公共產品;教育舉措;應用程序。
據Aptos自己的說法,Aptos 生態已有超過100 個項目在網絡上構建,目前其生態上的應用中有較為詳細介紹、發展路線圖的就只有Pontem Network、Econia、Fewcha Wallet、Martian Wallet 4 個,聚焦在錢包和DEX 應用兩方面。
2021年12月,Move公鏈裡起步最早的Sui 公佈了3600 萬美金的A 輪融資,資方包括a16z 與NFX、Scribble Ventures、Redpoint、Lightspeed、Electric Capital、Samsung NEXT、Slow Ventures、Standard Crypto、Coinbase Ventures等。今年7月12日,Sui被爆出正在尋求2億美元B輪融資,估值已經達到20億美元。
Sui的開發團隊是Mysten Labs,他們設計了自己的高性能Layer1權益證明(PoS) 區塊鏈Sui,發佈於今年3月。
與Aptos一樣,Sui也使用了Diem的開發語言Move,不過Sui 的對像模型與Aptos 略有不同。目前Sui 已經發布了他們的經濟學白皮書,但是開發進展較慢。
在Move語言的使用上,Sui進行了升級調整,讓該語言既能編寫同質化加密資產(FT)的智能合約,也能編寫非同質化(NFT)資產的智能合約。
在關乎網絡性能的可擴展性方面,Sui主打交易並行化(transaction parallelization),即網絡能夠同時處理多筆交易。在大多數區塊鏈中,區塊鏈交易必須按順序進行,而這些交易之間往往沒有任何联系或依賴。這限制了交易量的擴展。而Sui可以鎖定一筆交易的相關數據並實現獨立驗證,從而完成交易並行處理。
在共識協議方面,Sui 對有從屬關係的交易使用BFT拜占庭共識,對獨立交易採用拜占庭廣播算法進行並行驗證,因此在保證高TPS同時減少了節點之間通信,以實現極低的延遲。
現狀
生態
結語
Move語言基於Solidity的經驗和教訓,進行了多方面的創新和改進,在安全性上有了大的提升,也更適用於智能合約的開發。而基於Move語言的新公鏈們,也給Layer1的發展帶來了更大的想像空間。隨著頂級投資機構們紛紛入局,最終公鏈賽道鹿死誰手,還未可知。