由于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 完成了1500 萬美元 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。
Add A Comment