Taiko 是一個基於 Multi-proofs 構建的 Layer2 項目，被 Vitalik 讚賞為以太坊終局之路的重要發展方向之一，其特別之處在哪裡呢？
（前情提要：Vitalik 在 Taiko 主網提交創世區塊：很開心有第一個Based Rollup項目 ）
（背景補充：哪家zk-EVM更強？實測合約開發Taiko、Polygon、Linea、Scroll、zkSync Era.. ）
由於 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。
總結
從上文可以看出，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 系最後在技術上進一步革新。
📍相關報導📍
Taiko項目詳解：被紅杉中國看重的Type-1 zkEVM
