主網上線前， Vitalik Buterin 作為區塊提議者 propose 了首個區塊，並附言期待其主網上線。
作者：LINDABELL，ChainFeeds Research
封面： Taiko
Taiko 於昨日上線乙太坊主網，而其代幣則預計將於主網上線幾周後推出。
此前於 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 的出塊，這實現了提議者去中心化。今年 3 月，Taiko 完成了由 Lightspeed Faction、Hashed、Generative Ventures、Token Bay Capital 領投的 1,500 萬美元 A 輪融資，總融資金額達 3,700 萬美元。針對 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 上。
延伸閱讀：能繼承以太坊活性的 Based Rollup 是什麼？
敘事升級：轉向 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 都充分結偶。
延伸閱讀：zkEVM 升級敘事 zkVM，這五個核心項目為何值得關注？
此外，Taiko 已於 27 日上線以太坊主網，目前已經處理發布了以太坊全網約 15% 的資料區塊。團隊強調，雖然在 Stage1 主網模式下，區塊的提交和證明都是無需許可的，但合約仍有所有者。團隊計劃在主網上線⼀年左右將合約所有權轉交給 Taiko DAO，完全放棄網路的所有權和控制權。 Taiko 團隊也表示，將投入更多資源至 Preconfirmation、MEV、及 Taiko BBR 方案的研發中，未來希望能為生態計畫和社區用戶帶來更多驚喜。
空投風波：Taiko 還能否挽回社區信心？
Taiko 於 5 月 23 日公佈了 TKO 代幣經濟學，宣布將初始代幣供應量的 5% 用於創世空投。根據官方 FAQ，將會有 30 萬個地址有資格認領超 5,000 萬枚代幣。雖然該舉措是為了回饋社區，但卻引發了一波關於「空投是否公平」的爭議。部分社群成員反映獲得空投數量低於預期，還有部分使用者表示參與了相關任務但並未獲得空投。
面對社區成員的不滿，Taiko 聯創 Daniel Wang 也做出了回應，表示 Taiko 的目標是公平，但無法滿足所有人，並對未獲得 TKO 的用戶表示歉意。但社群對其發言似乎並不買單，隨後 Daniel Wang 在 Discord 社群再次進行了回應，並表示如果沒有獲得空投，是因為其他人分數更多。至於空投規則不透明是因為透明也無法解決分歧，「公平」定義有強烈主觀性。此番言論再次將 Taiko 推至輿論中心，更有社區成員呼籲抵制 Taiko。不過，因空投遭到社群質疑並不是什麼新鮮事情，近期發布空投的計畫都有這樣的情況發生。特別是當空投刷單變成了一個產業，並涉及大量專業團隊的加入後，他們也成為了生態的一部分，而社區的輿論也可能受到這些團隊的影響。未來，Taiko 還計劃進行兩輪空投。
免責聲明：作為區塊鏈資訊平台，本站所發布文章僅代表作者及來賓個人觀點，與 Web3Caff 立場無關。文章內的資訊僅供參考，均不構成任何投資建議及要約，並請您遵守所在國家或地區的相關法律法規。
