由於single-proof 方案無法應對zkEVM 複雜程式碼所潛藏的Bug,Vitalik 提出了Multi-proofs,並將其視為未來以太坊終局之路的重要發展方向之一。 而Taiko便是少數基於Multi-proofs 構建的Layer2項目之一。 5 月27 日,Taiko 在以太坊上線主網,近期多家主流交易所陸續上線本計畫代幣,市場熱議不斷。那麼,Taiko與其他Layer2有何不同? Taiko背後技術又有何優勢與創新?
什麼是多重證明路線? Taiko與其他Layer2有何不同
Taiko 是一個Type-1 zkEVM,提供了與以太坊完全相同的操作碼和功能,確保了與現有以太坊生態的高度相容性。 Taiko 與其他Rollup 的主要區別之一在於其選擇了Based Rollup 機制,其不依賴中心化的排序器,而是依賴以太坊驗證者對交易和區塊進行排序。
2023 年底,Taiko 聯合創始人Daniel Wang 提出了「Based Contestable Rollup(BCR)」概念,引入了Contestable(爭議)機制。 Taiko 團隊選擇Contestable 設計的原因主要有三:
首先,Based Rollup 無需許可,必須引入「更高等級的證明」來解決軟體中的潛在Bug。這避免了中心化網路需要停掉網路進行資料糾錯的必要性。當然,隨著Taiko 網路運行時間的增加,這種糾錯機制可以逐漸去除;
其次,雖然SGX 證明相對於零知識證明便宜了上千倍,但它並不是最理想或最去中心化的驗證方式。 Contestable 設計允許在對SGX 證明產生懷疑時提出挑戰,要求使用更高級別的證明重新驗證區塊,在降低成本的同時,提高了驗證的可信度。
最後,Contestable Rollup 具有靈活性和可擴展性,可以看作是對zkRollup 和Optimistic Rollup 的一種抽象。例如,如果未來零知識證明更便宜,我們就可以將Contestable Rollup 配置成純粹的zkRollup,或者根據應用的需要將其配置成純粹的Optimistic Rollup,從而適應不同的驗證需求。
多家知名VC青睞,Taiko技術有何優勢
今年3 月,Taiko 完成了1,500 萬美元A 輪融資,在投資Taiko的VC名單中有紅杉中國、Generative Ventures、Hashed、Lightspeed Faction、Token Bay Capital 及Flow Traders 等。那麼,為什麼這麼多VC看好Taiko呢?
此前,Vitalik一直認為以太坊最終要走向zkEVM。但是,zkEVM的single-proof 方案無法應付zkEVM 複雜程式碼所潛藏的Bug 問題。 Vitalik 認為, Multi-proofs 對單一區塊產生多種proof 類型,即使其中一種證明類型出現問題,其他類型的證明可以繼續確保系統的正常運作並及時檢測到任何錯誤的狀態轉換。而Taiko實質上就是對Multi-proofs的實踐和應用,其BCR 框架的核心理念就涉及Multi-proofs。具體來講,Taiko 分為三個主要模組:Multi-Prover、Layer 2 Rollup 以及Taiko 協議。
●Multi-Prover: 利用多種zkVM 和SGX 等整合證明系統,直接編譯及運行基於Rust 的以太坊虛擬機,產生零知識或TEE 證明以驗證以太坊區塊執行的準確性和完整性。
●Layer 2 Rollup 節點:負責在Layer 2 上管理和執行交易,同時與以太坊Layer 1 (L1) 互動。透過Layer 2 Rollup 技術,Taiko 能夠提高以太坊的交易吞吐量,降低交易成本,並保持去中心化和安全性。
●Taiko 協議:定義並執行Layer 2 Rollup 的規則,確保交易的正確性和網路的安全性。透過智慧合約和去中心化驗證,Taiko 協議實現了以太坊的高效擴展,同時保持其去中心化和安全特性。
整體上講,Taiko 協議的關鍵創新是BCR 框架(Based Contestable Rollup),其基於Multi-proofs (多證明者互動式證明)打造。 BCR 框架(Based Contestable Rollup)的核心在於「競爭」:任何人都可以成為提議者,提交區塊提議,且任何對狀態轉換結果有異議的驗證者都可以提交安全等級挑戰證明,更改L2 區塊狀態,在正確和錯誤的分叉之間作出選擇。提議者需要打包用戶交易並產生零知識證明,多個提議者可以同時競爭提交區塊;驗證者負責驗證提議者提交的區塊和零知識證明,多個驗證者可以競爭驗證區塊。這個流程不僅確保了每個區塊的生成和提交過程的去中心化,而且進一步增加了網路的安全性。
V神大贊,Taiko有望開啟以太坊的終局之路
Taiko 自2022 年開始開發,其在測試網階段便擁有超110 萬個獨立錢包,超30, 000 名去中心化提議者和14000 多名去中心化驗證者。 5 月27 日,Taiko正式主網上線。根據Taiko 官方網站的數據顯示,目前已有100+ 項目已入駐Taiko 生態,類別囊括錢包、NFT 市場、預言機、 DeFi、AI 應用程式等。近期,Taiko 生態建設價快,吸引了一批優質項目進駐,其中有Pyth、Etherscan、Pancakeswap、Layer Zero 等。
對於Taiko 主網上線,市場也多持看好態度。 Vitalik 發布的《Layer 2 s as cultural extensions of Ethereum》文章提及Taiko 時表示:每個以太坊L2 都有其獨特的靈魂,Taiko 強調'無縫用戶體驗、'以社區為本'、'安全至上'和'Based'。我很高興看到Taiko 作為一個Based Rollup 平台而推出,以太坊受益於採用多種不同方法的L2s,我很欣賞Taiko 是第一批朝這個方向發展的項目。
知名VC Hashed表示:想像一下,在這個世界裡,以太坊的可擴展性是無止境的,交易速度快如閃電,用戶隱私是神聖不可侵犯的。這不是一個遙遠的夢想,而是一個迅速接近的現實,這一切都歸功於Taiko。
總結
從上文可以看出,Taiko 在技術上有很多優勢,雖然一眾大V看好。但Taiko上線時間相對較短,這還需要市場檢驗。除此之外,Taiko公佈代幣經濟後社區有爭議,認為規則不透明。 Taiko 聯合創始人兼CEO Daniel Wang 在Discord 發文回應稱,規則不透明是因為透明也無法解決分歧,對'公平'的定義每個人都有很強的主觀性,我們無法統一,也不試圖達成共識。
從長遠發展來看,zkEVM系整體生態發展滯緩,Arbitrum和Optimism等Op系Layer2在生態建設上已經佔盡先機。 Optimism透過Op Stack開源,Arbitrum透過L3授權建設,已然構築起強大生態護城河。這就如同,Solana等公鏈技術上或許比以太坊更先進,但以太坊的發展仍然比Solana好。從目前發展現況來看,zk系在生態建設遠不及Op系,從技術上Zk係有優勢,但不可否認的是Op系還是在不斷努力,不排除Op系最後在技術上進一步革新。