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

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 的出塊,這實現了提議者去中心化。今年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 上。

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

敘事升級:轉向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 還能否挽回社區信心?

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

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

Total
0
Shares
Related Posts