區塊鏈行業目前有無數的Layer-1項目,包括比特幣、以太坊、BNB Chain、Polygon、Solana、Avalanche、Near、Fantom、Tron。即便在這個競爭激烈的時代,具有不同特點和優勢的L1新公鏈也在相繼出現,其技術也在不斷迭代。我們預計未來包括Aptos和Sui在內是幾乎所有Layer1終將擁抱zkEVM-based的zkRollup,未來終將出現Omnichain zkRollup。

新公鏈Aptos/Sui及Move智能合約語言

截至2022年,眾多新興工鏈中最受關注的則是所謂的Diem L1公鏈,包括主打Move智能合約語言的Aptos、Sui。 Aptos/Su是由曾在Meta(原Facebook)開發Diem(原Libra)的工程師發起,Diem是Meta公司專有區塊鍊及其穩定幣的名稱。這些項目都繼承著Diem的許多功能,同時與現有L1公鏈在性能、編程語言和機制方面具有不同的特點。

Aptos/Sui所採用的編程語言Move的特點在於,它完全重新定義了"模塊結構",使代幣、NFT、智能合約和其他資產能夠使用單一的數據模塊進行簡潔的模塊化定義。這一點是以太坊的EVM無法比擬的--任何使用EVM開發過的人都會知道在Solidity中使用模塊結構(和嵌套結構)是多麼困難。考慮一下經典的重入攻擊(Re-entrancy Attack)。這已經困擾了EVM體系的項目很長時間了,往往造成幾百萬、上千萬美元的損失,由於Move語言採用的是基於資源的方法,所以Move不可能出現重入攻擊。

Aptos/Sui未來是否能作為主流公鏈脫穎而出,不僅跟所採用的語言有關,更是取決於未來鏈上項目的想像力。如果說ETH是一條4車道,雖然車道不寬但是川流不息人來人往,偶爾還夾雜著對擁堵路面的抱怨,那麼Aptos/Sui就像是8車道的高速路,用上了最好的柏油最先進安全的信號燈,但是好像沒有太多的流量。對於公鏈來說,一方面是技術的創新,另一方面則是公鏈上的項目對於公鏈本身流量的反哺,沒有應用的公鏈即使技術再好也很難脫穎而出。

為了獲得EVM體系的巨大流量,Aptos和Sui終將擁抱EVM體係以及Layer2網絡,特別是擁抱最先進的zkEVM-Based zkRollup。

如何在Aptos/Sui上建立zkEVM-based zkRollup

長期而言,zkRollup將成為一個最簡潔、高安全性、高效的擴容方案。從原理上而言,一個zkRollup可以部署在任何網絡上(只要這個網絡可以驗證這個zkRollup發送的證明),所以我們必然可以在Aptos/Sui上建立一個zkEVM的zkRollup。那麼,這麼做有什麼好處呢? 首先是吸納來自EVM的開發者和用戶,對於開發者而言,將產品部署在Aptos/Sui上的一個高兼容性的zkEVM-based zkRollup就像將產品部署在以太坊上或其他EVM兼容的鏈上相同,他們無需修改太多代碼與設計。這意味著有了zkRollup後,在EVM生態中的開發者可以近乎零成本的將他們的應用遷移至Aptos/Sui的生態中。此時,只要有一微小的激勵,都能夠吸引大批EVM體系中的成功項目遷移部署,為Aptos/Sui帶來一大批生態與場境。另一方面,對於用戶而言,zkRollup讓用戶進一步享受更低(甚至是無感)的手續費,並且有機會在交互速度和交費模式上獲得接近傳統應用的使用體驗。這樣的願景無疑是令人興奮的,所以我們如何在Aptos/Sui上建立一個zkEVM-based zkRollup呢?我們來看一下Fox Tech設計的通用型zkEVM-based zkRollup模型。

為什麼 Aptos/Sui 終將擁抱 zkEVM-based zkRollup?

圖1: 通用型zkEVM-based zkRollup

首先,我們需要一個Sequencer,負責接收zkRollup上的交易,通過一個帶有EVM的節點執行交易,以保證EVM兼容性,在這個過程中,Sequencer還會產生一個易於證明的執行過程記錄(Trace),並將其發送給證明打包者zkProver。 zkProver是一個擁有zk-EVM的證明生產者,zk-EVM終有完整的根據EVM設計零知識證明電路,能驗證執行記錄的過程是否正確(即是否和EVM的執行規則相符),最終使用一套零知識證明算法生成零知識證明,並將證明發送至Aptos/Sui上。最後,我們還需要在Aptos/Sui上部署幾份合約:我們需要一個託管zkRollup資產的合約,這份合約會管理資產在Aptos/Sui和zkRollup之間的流動。我們還需要一個驗證合約用以驗證zkProver發送的證明以及一份治理合約,管理權限問題(如記錄Prover和登記zkRollup中的資產類型)。

Web3網絡終將出現Omnichain zkRollup

未來Web3網絡的生態將不是以太坊一家獨大,而是多公鏈並存分庭抗禮, 資產跨鏈與跨鏈交互因此成為重要的需求。如果考慮傳統的跨鏈橋,如果先不論安全性,那麼如果只有3條鏈時只需要3個跨鏈橋,但是如果有5條鏈時就需要10個跨鏈橋,有20條鏈時就需要近200個跨鏈橋才能實現這些鏈兩兩之間的直接通信。

因此,一個Omnichain zkRollup最終將為成為跨鏈甚至是全鏈應用的最終落腳地。在上述通用型zkEVM-based zkRollup的基礎上,接入另外一個Ominichain Interoperation Protocol(這是未來五年裡非常重要的賽道,玩家有LayerZero、HyperLane、Way Network等),從而形成了所謂的Omnichain zkRollup 。它將匯集來自全鏈的資產流動性,扮演全鏈執行層的角色。它通過零知識證明確保交易的正確型,享受與全鏈總和等價的安全性。我們設想一個Omnichain zkRollup上將實現來自全鏈的資產與信息的完全可編程交互性,用戶可以通過在此上發送交易以發起這樣的交互,這些交互會改變來自各個鏈上的賬戶的狀態,Omnichain zkRollup會以塊為單位計算並在各個鏈上更新狀態,並提交狀態更新的證明。

Omnichain zkRollup的願景中包含著無限的可能性,人們可以在其上部署匯集所有鏈的去中心化交易所;可以創造匯集全鏈用戶的GameFi和SocialFi;甚至是更多元、更多樣、更沒有邊界的應用都將成為可能。