由於single-proof方案無法解決zkEVM複雜代碼潛在Bug問題,Vitalik提出了Multi-proofs並視其為未來以太坊發展方向之一,Taiko是其少數Layer2項目之一。 Taiko主網上線後市場熱議不斷,其區別於其他Layer2之處在於Based Rollup機制和BCR框架。 Taiko擁有Multi-Prover、Layer 2 Rollup和Taiko協議等技術模組,優勢在於Contestable設計、高可擴展性和安全性。 Taiko得到多家知名VC青睞,雖技術優秀但有爭議,長遠來看,zkEVM生態步伐滯緩,Op係如Arbitrum和Optimism已佔先機。以太坊未來發展仍更勝於其他公鏈,但Op系在生態建設上表現更強勁。
由於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和我共同提出了“Based Contestable Rollup(BCR)”概念,該概念引入了Contestable(爭議)機制。 Taiko團隊選擇Contestable設計的原因主要有三:
首先,Baseline Rollup無需許可,必須引入「更高層級的證明」來解決軟體中潛在的Bug。這避免了中心化網路需要停掉網路進行資料糾錯的必要性。當然,隨著Taiko 網路運作時的增加,這種糾錯機制可以逐漸去除;
其次,雖然SGX證明相對於零知識證明便宜了千倍,但它並不是最理想或最去中心化的驗證方式。可爭議的設計允許在對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 對單一區塊產生多種證明類型,即使其中一種證明類型出現問題,其他驗證的證明可以繼續確保系統的一致性並及時檢測到任何錯誤的狀態轉換。而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 上線的時間證據表明,這值得市場檢驗。其中一些,Taiko 公佈的經濟後社區有爭議,想法不透明。 Taiko 聯合創始人Daniel Wang 在Discord 發文稱,規則不透明是因為透明無法解決分歧,對’公平’的定義每個人都有很強的動力,我們無法統一,也不試圖達成共識。
從長遠發展來看,zkEVM系整體生態發展滯緩,Arbitrum和Optimism等Op系在生態建設上已經佔盡先機。 Optimism透過Op Stack開源,Arbitrum透過L3授權建設,已構築起強大生態護城河。就我所知,Solana等公鏈技術上或許比以太坊更先進,但以太坊的發展仍然比Solana好。從目前發展現況來看,zk系在生態建設遠不及Op系,從技術上Zk係有優勢,但不可否認的是Op系還是在不斷努力,不排除Op系最後在技術上進一步革新。
資訊來源:0x資訊編譯自網際網路。版權歸作者比推BitPush所有,未經許可,不得轉載