對話 Taiko：什麼是多重證明路線？與以太坊終局有何關聯？

作者：LINDABELL

5 月 23 日，Taiko 公布了首輪空投查詢頁面，但卻在社區掀起了一波關於公平性的爭論。面對其創始人 Daniel Wang 的回應，社區似乎也並不買單。

同時，5 月 25 日，以太坊聯創人 Vitalik Buterin 作為區塊提議者在 Taiko 主網 propose 了首個區塊，並在該區塊附言稱：「我很高興看到 Taiko 作為一個 Based Rollup 平台而推出，以太坊受益於採用多種不同方法的 L2s，我很欣賞 Taiko 是第一批朝這個方向發展的項目。」

坎昆升級後，以太坊生態將關注點再次放回了 L2 領域。和其他 Rollup 項目不同，Taiko 正在開發基於 Based Rollup 的方案，並吸引了紅杉中國、Generative Ventures、Hashed、Lightspeed Faction、Token Bay Capital 及 Flow Traders 等多家 VC 青睞。不禁讓人好奇，相較於其他知名 ZK 擴容項目，Taiko 有何特別之處？它的擴容方案又將如何影響 L2 生態格局？

帶著這些疑問，ChainFeeds 對話 Taiko 團隊，就 Taiko 的起源、願景、以太坊擴容方案等內容進行了探討。

重點摘錄：

• Taiko 創始人 Daniel Wang 希望能夠在不犧牲去中心化的前提下擴展以太坊，實現中心化和去中心化二層網絡並存的局面，使得 dApp 能夠在兩種選擇之間做決策。
• Contestable Rollup 是對 zkRollup 和 Optimistic Rollup 的一種抽象。未來，如果零知識證明足夠便宜，可以將 Contestable 配制成純粹的 zkRollup。
• 在開發 SGX 證明的過程中， Taiko 團隊逐漸意識到無狀態客戶端的重要性，並堅信未來在 zkVM 中運行無狀態客戶端生成零知識證明的可行性。
• Taiko 已經上線主網，區塊的提交和證明都是無需許可的，但合約仍有所有者。Taiko 團隊計劃爭取在主網上線一年左右將合約所有轉移給 Taiko DAO，完全放棄對網絡的所有權和控制權。

Taiko 起源：在不犧牲去中心化的前提下擴展以太坊

Taiko 創始人 Daniel Wang 在 2017 年創建了首個基於 ZKRollup 構建的以太坊生態 DEX 協議 Loopring。但 Loopring 的架構與 Daniel 的願景不盡相符。Daniel 希望能夠在不犧牲去中心化的前提下擴展以太坊，實現中心化和去中心化二層網絡並存的局面，從而讓去中心化應用能夠在兩種選擇之間做出更明智的決策。但 Loopring 只能構建成一個非可編程的二層網絡，缺乏虛擬機結構，並且為了降低成本，其出塊機制也是中心化的。

在創立 Taiko 之前， Daniel Wang 和志同道合的開發者進行了多次討論，主要聚焦在兩個方向上：去中心化社交網絡或去中心化社交網絡所需的基礎設施「無需許可的二層網絡」。深思熟慮後，大家普遍認為涉足去中心化社交網絡領域風險較高，而無需許可的二層網絡則具有更大的差異化競爭空間，Taiko 應運而生。

Taiko 是一個 Type-1 zkEVM，提供了與以太坊完全相同的操作碼和功能，確保了與現有以太坊生態的高度兼容性。Taiko 團隊強調，最初 Taiko 的設計就是 Based Rollup 的結構，即讓以太坊驗證者最終負責 Taiko 的出塊，這實現了提議者去中心化。截至目前，Taiko 擁有超 30,000 多名去中心化提議者和 14,000 多名去中心化驗證者。今年 3 月，Taiko 完成了由 Lightspeed Faction、Hashed、Generative Ventures、Token Bay Capital 領投的 1500 萬美元 A 輪融資，總融資金額達到 3700 萬美元。針對 VC 的青睞，Taiko 團隊表示他們非常重視投資機構和 Taiko 的戰略協同性。且 Taiko 之所以能夠在短時間內成為全球最大的 Discord 社區（超 107 萬名成員）之一，並吸引數以百計的 dApp 進行部署，除了 Type-1 類型和完全去中心化架構的優勢之外，投資者的支持功不可沒。

以太坊 Rollup 設計框架探索：BCR 及 BBR

Taiko 與其他 Rollup 的主要區別之一在於其選擇了 Based Rollup 機制，不依賴中心化的排序器，而是依賴以太坊驗證者對交易和區塊進行排序。更進一步，Taiko 聯合創始人 Daniel Wang 在 2023 年底提出了「Based Contestable Rollup（BCR）」概念。該概念引入了 Contestable（爭議）機制，原因是 ZK-EVM 代碼不可能永遠沒有錯誤，且 Taiko 是去中心化的，容錯率較低，因此需要採取謹慎的態度。

Taiko 團隊也闡述了選擇 Contestable 設計的主要考慮：

• 首先，Based Rollup 無需許可，必須引入「更高級別的證明」來解決軟件中的潛在 Bug。這避免了中心化網絡需要停掉網絡進行數據糾錯的必要性。當然，隨著 Taiko 網絡運行時間的增加，這種糾錯機制可以逐漸去除。
• 其次，雖然 SGX 證明相對於零知識證明便宜了上千倍，但它並不是最理想或最去中心化的驗證方式。Contestable 設計允許在對 SGX 證明產生懷疑時提出挑戰，要求使用更高級別的證明重新驗證區塊，在降低成本的同時，提高了驗證的可信度。
• 最後，Contestable Rollup 具有靈活性和可擴展性，可以看作是對 zkRollup 和 Optimistic Rollup 的一種抽象。例如，如果未來零知識證明更便宜，我們就可以將 Contestable Rollup 配置成純粹的 zkRollup，或者根據應用的需要將其配置成純粹的 Optimistic Rollup，從而適應不同的驗證需求。

關於 Based Contestable Rollup 的架構，Daniel Wang 在文章中也進行了詳細概述。BCR 是一種具有爭議特性並採用 Based 排序的 Rollup。在這種設計下，任何人都可以對區塊中的狀態轉換提出爭議，但必須以 Taiko 代幣支付爭議保證金，且需要更高級別的證明來解決爭議，才能驗證該區塊。如果爭議者獲勝，則可以收回爭議保證金，並獲得原證明者有效性保證金的 1/4。而新的證明者也會獲得原證明者有效性保證金的 1/4 作為證明費，剩余 1/2 將會被沒收。反之亦然。值得注意的是，該機制中由多重簽名者在最初幾年內共同充當證明層級中的高層。作為最高級別的證明，在這種情況下，狀態轉換被視為最終確定，不再允許進一步的質疑。

此外，Taiko 的 BCR 架構還具有一個核心特徵，即允許每個級別使用自己的證明系統。Taiko 團隊表示，在基於 Contestable Rollup 的架構下，不同級別的證明可以被構建出來，例如最低成本的 Optimistic 證明，然後是 SGX 證明，接著是 zkEVM 或 zkVM 證明。這些不同的證明類型是 Contestable 概念的體現，並且還可以將這些證明組合起來做混合型的多證明系統，例如「SGX+zkVM」就可以看作是比僅使用 zkVM 證明更可信的證明。

作為首個重要的里程碑，Taiko 計劃在 Alpha-6 測試網 Katla 上測試 BCR 的實際運作情況，隨後在主網推出。在此之後，Taiko 計劃要麼升級協議為 Boosted Based Rollup（BBR），要麼推出獨立的 BBR 二層作為第二個重要里程碑。Taiko 表示，若要實現以太坊原生的擴展能力，Boosted Based Rollup 是一個明智的選擇。通過允許 L1 驗證者為整個網絡提議新區塊，將使以太坊獲得開箱即用的擴展能力。對於開發者而言，BBR 能夠對交易執行和存儲進行分片。而對於用戶而言，用戶體驗感將獲得提升，因為 dApp 會分布在所有 L2 上。

敘事升級：轉向 ZKVM？

大家對 zkEVM 都不陌生，但 EVM 並不是為在零知識電路中運行而設計的，因此在實踐中，實施 zkEVM 往往需要做出一些權衡。與 zkEVM 不同，zkVM 則是作為零知識證明系統電路實現的虛擬機。其優勢包括：無需學習密碼學和 ZKP 系統，易於使用；具有通用性，圖靈完備的 ZK-VM 可以作為任意計算的證明計算；很簡單，一組簡單的約束足以描述整個 VM；能夠利用遞歸，證明驗證只是在 VM 上執行的另一個程序。

Taiko 已經開始從使用 zkEVM 模型轉型至使用 zkVM 模型。轉向 zkVM 模型後，Taiko 可以修改並運行一個客戶端，生成 ZK 證明。而為了確保穩健性，Taiko 通過構建多重證明系統，並對多個 zkVM（如 RISC Zero、SP1、Powdr）做出貢獻，來多樣化加密假設，並且使用 SGX 以在不洩露數據的情況下增強隱私和安全性。

Taiko 團隊表示，Taiko 是最早參與以太坊基金會 PSE zkEVM 開發的團隊之一，並在 Keccak 和摩爾克等關鍵電路的代碼上做出了貢獻和優化。但在這個過程中也意識到了這種開發模式的局限性，例如代碼都是底層代碼，難以測試和驗證。且對於新手而言並不友好。隨著在 SGX 證明開發過程中的不斷探索，團隊開始逐步意識到無狀態客戶端的重要性，並在 Risc0 團隊取得的進展的影響下，堅信未來在 zkVM 中運行無狀態客戶端生成零知識證明的可行性。目前 Taiko 已經和 Risc0 展開合作，並且後續還會和 SP1 及更多的 zkVM 團隊合作，通過 Contestable Rollup 來聚合這些不同的證明系統，同時保持 Taiko 二層的設計與每個 zkVM 都充分結合。

此外，Taiko 已於 27 日上線以太坊主網，目前已經處理發布了以太坊全網約 15% 的數據塊。團隊強調，雖然在 Stage1 主網模式下，區塊的提交和證明都是無需許可的，但合約仍有所有者。團隊計劃在主網上線一年左右將合約所有權轉交給 Taiko DAO，完全放棄網絡的擁有權和控制權。Taiko 團隊還表示，將會投入更多資源至 Preconfirmation、MEV、及 Taiko BBR 方案的研發中，未來希望能夠為生態項目和社區用戶帶來更多驚喜。

空投風波：Taiko 還能否挽回社區信心？

Taiko 于 5 月 23 日公布了 TKO 代幣經濟學，宣布將初始代幣供應量的 5% 用於創世空投。根據官方 FAQ，將會有 300,000 個地址有資格認領超 5000 萬枚代幣。雖然該舉措是為了回饋社區，但卻引發了一波關於「空投是否公平」的爭議。部分社區成員反映獲得空投數量低於預期，還有部分用戶表示參與了相關任務但並未獲得空投。

面對社區成員的不滿，Taiko 聯創 Daniel Wang 也做出了回應，表示 Taiko 的目標是公平，但無法滿足所有人，並對未獲得 TKO 的用戶表示歉意。但社區對其發言似乎並不買單，隨後 Daniel Wang 在 Discord 社區再次進行了回應，並表示如果沒有獲得空投，是因為其他人分數更多。至於空投規則不透明是因為透明也無法解決分歧，「公平」定義有很強主觀性。此番言論再次將 Taiko 推至輿論中心，更有社區成員呼籲抵制 Taiko。不過，因空投遭到社區質疑並不是什么新鮮事情，近期發布空投的項目都有這樣的情況發生。特別是當空投刷單變成了一個產業，並涉及大量專業團隊的加入後，他們也成為了生態的一部分，而社區的輿論也可能會受到這些團隊的影響。未來，Taiko 還計劃進行兩輪空投。