作者：LINDABELL 來源：chainfeeds
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 領投的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 上。
敘事升級：轉向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，將會有30 萬個地址有資格認領超5,000 萬枚代幣。雖然該舉措是為了回饋社區，但卻引發了一波關於「空投是否公平」的爭議。部分社群成員反映獲得空投數量低於預期，還有部分使用者表示參與了相關任務但並未獲得空投。
面對社區成員的不滿，Taiko 聯創Daniel Wang 也做出了回應，表示Taiko 的目標是公平，但無法滿足所有人，並對未獲得TKO 的用戶表示歉意。但社群對其發言似乎並不買單，隨後Daniel Wang 在Discord 社群再次進行了回應，並表示如果沒有獲得空投，是因為其他人分數更多。至於空投規則不透明是因為透明也無法解決分歧，「公平」定義有強烈主觀性。此番言論再次將Taiko 推至輿論中心，更有社區成員呼籲抵制Taiko。不過，因空投遭到社群質疑並不是什麼新鮮事情，近期發布空投的計畫都有這樣的情況發生。特別是當空投刷單變成了一個產業，並涉及大量專業團隊的加入後，他們也成為了生態的一部分，而社區的輿論也可能受到這些團隊的影響。未來，Taiko 還計劃進行兩輪空投。