Taiko對話:證明路線有哪些以太坊局關聯何在


5 月23日,Taiko 公佈了首輪空投查詢頁面,但引發了關於公平性的爭議。社區對創辦人Daniel Wang的回應並不滿意。同日,以太坊聯合創始人Vitalik Buterin在Taiko主網提出一個參與區塊的提議,並表示支持Taiko的發展。 Taiko正在開發基於Based Rollup的方案,並受到多家VC的青睞。 Taiko的特點是BCR結構,允許不同驗證方式的應用。 Taiko也計劃升級為BBR來實現以太坊原生態的擴展。另外,Taiko將轉向zkVM模型,與Risc0和SP1團隊合作,採用多重證明系統來提高隱私和安全性。雖有空投風波,Taiko仍希望挽回社區信心。

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

同時,5月25日,以太坊聯創人Vitalik Buterin 作為區塊提議者在Taiko 主網提出了一個參與區塊,並在該區塊附言稱:「我很高興看到Taiko 作為一個基於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 老師也闡述了選擇可爭設計的主要考量:

首先,Baseline Rollup無需許可,必須引入「更高層級的證明」來解決軟體中潛在的Bug。這避免了中心化網路需要停掉網路進行資料糾錯的必要性。當然,隨著Taiko 網路運作時的增加,這種糾錯機制可以逐漸去除。

其次,雖然SGX證明相對於零知識證明便宜了千倍,但它並不是最理想或最去中心化的驗證方式。可爭議的設計允許在對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 的架構下,不同等級的證明可以被建構出來,例如最低成本的樂觀證明,然後是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 團隊也表示,將投入更多資源至預確認、MEV、及Taiko BBR 方案的研發中,未來希望能為計畫和社區用戶帶來更多驚喜。

對話Taiko:有哪些證明路線?與以太坊局有何關聯?

空投風波:Taiko 還能否挽回社區信心?

: Taiko 於5 月23 日公佈了TKO 代幣,宣布將初始代幣供應量的5% 用於創世空投。根據官方FAQ,將會有30 萬個地址填補認購,超過5,000 萬枚代幣。雖然該代幣是為了回饋社區,但卻引發了一波關於「空投是否公平」的問題。部分社群成員表示獲得空投的數量低於預期,還有部分用戶表示參與了相關任務,但並未獲得空投。

: 對於社區成員來說,Taiko 聯創Daniel Wang 也做出了貢獻,表示Taiko 獲得了公平的待遇,但滿足了所有人的願望,符號表示歉意。但社區成員表示歉意,他們似乎並沒有得到公平的待遇,隨後Daniel Wang 在Discord 再次進行了回應,並表示如果未能獲得空投,則會受到其他人的讚賞。

資訊來源:0x資訊編譯自網際網路。版權歸作者ChainFeeds所有,未經許可,不得轉載

Total
0
Shares
Related Posts