由於single-proof 方案無法應對 zkEVM 復雜代碼所潛藏的 Bug,Vitalik 提出了Multi-proofs,並將其視爲未來以太坊終局之路的重要發展方向之一。 而Taiko便是少數基於Multi-proofs 構建的Layer2項目之一。5 月 27 日,Taiko 在以太坊上線主網,近期多家主流交易所陸續上線該項目代幣,市場熱議不斷。那麼,Taiko與其他Layer2有何不同?Taiko背後技術又有何優勢和創新?
Taiko 是一個 Type-1 zkEVM,提供了與以太坊完全相同的操作碼和功能,確保了與現有以太坊生態的高度兼容性。Taiko 與其他 Rollup 的主要區別之一在於其選擇了 Based Rollup 機制,其不依賴中心化的排序器,而是依賴以太坊驗證者對交易和區塊進行排序。
2023 年底,Taiko 聯合創始人 Daniel Wang 提出了「Based Contestable Rollup(BCR)」概念,該概念引入了 Contestable(爭議)機制。Taiko 團隊選擇 Contestable 設計的原因主要有三個:
首先,Based Rollup 無需許可,必須引入「更高級別的證明」來解決軟件中的潛在 Bug。這避免了中心化網路需要停掉網路進行數據糾錯的必要性。當然,隨着 Taiko 網路運行時間的增加,這種糾錯機制可以逐漸去除;
其次,雖然 SGX 證明相對於零知識證明便宜了上千倍,但它並不是最理想或最去中心化的驗證方式。Contestable 設計允許在對 SGX 證明產生懷疑時提出挑戰,要求使用更高級別的證明重新驗證區塊,在降低成本的同時,提高了驗證的可信度。
最後,Contestable Rollup 具有靈活性和可擴展性,可以看作是對 zkRollup 和 Optimistic Rollup 的一種抽象。例如,如果未來零知識證明更便宜,我們就可以將 Contestable Rollup 配置成純粹的 zkRollup,或者根據應用的需要將其配置成純粹的 Optimistic Rollup,從而適應不同的驗證需求。
今年 3 月,Taiko 完成了1500 萬美元 A 輪融資,在投資Taiko的VC名單中有紅杉中國、Generative Ventures、Hashed、Lightspeed Faction、Token Bay Capital 及 Flow Traders 等。那麼,爲什麼這麼多VC看好Taiko呢?
此前,Vitalik一直認爲以太坊最終要走向zkEVM。但是,zkEVM的single-proof 方案無法應對 zkEVM 復雜代碼所潛藏的 Bug 問題。Vitalik 認爲, Multi-proofs 對單個區塊生成多種 proof 類型,即使其中一種證明類型出現問題,其他類型的證明可以繼續確保系統的正常運行並及時檢測到任何錯誤的狀態轉換。而Taiko實質上就是對Multi-proofs的實踐和應用,其BCR 框架的核心理念就涉及Multi-proofs。具體來講,Taiko 分爲三個主要模塊:Multi-Prover、Layer Rollup 以及Taiko 協議。
● Multi-Prover: 利用多種 zkVM 和 SGX 等集成證明系統,直接編譯及運行基於 Rust 的以太坊虛擬機,生成零知識或 TEE 證明以驗證以太坊區塊執行的準確性和完整性。
● Layer Rollup 節點:負責在 Layer 上管理和執行交易,同時與以太坊 Layer 1 (L1) 進行交互。通過 Layer Rollup 技術,Taiko 能夠提高以太坊的交易吞吐量,降低交易成本,並保持去中心化和安全性。
● Taiko 協議:定義並執行 Layer Rollup 的規則,確保交易的正確性和網路的安全性。通過智能合約和去中心化驗證,Taiko 協議實現了以太坊的高效擴展,同時保持其去中心化和安全特性。
整體上講,Taiko 協議的關鍵創新是BCR 框架(Based Contestable Rollup),其基於 Multi-proofs (多證明者交互式證明)打造。BCR 框架(Based Contestable Rollup)的核心在於「競爭」:任何人都可以成爲提議者,提交區塊提議,且任何對狀態轉換結果有異議的驗證者都可以提交安全級別挑戰證明,更改 L2 區塊狀態,在正確和錯誤的分叉之間作出選擇。提議者需要打包用戶交易並生成零知識證明,多個提議者可以同時競爭提交區塊;驗證者負責驗證提議者提交的區塊和零知識證明,多個驗證者可以競爭驗證區塊。這一流程不僅確保了每個區塊的生成和提交過程的去中心化,而且進一步增加了網路的安全性。
Taiko 自 2022 年開始開發,其在測試網階段便擁有超 110 萬個獨立錢包,超 30, 000 名去中心化提議者和 14000 多名去中心化驗證者。 5 月 27 日,Taiko正式主網上線。根據 Taiko 官方網站的數據顯示,目前已有 100+ 項目已入駐 Taiko 生態,類別囊括錢包、NFT 市場、預言機、 DeFi、AI 應用程序等。近期,Taiko 生態建設價快,吸引了一批優質項目入駐,其中有 Pyth、Etherscan、Pancakeswap、Layer Zero 等。
對於Taiko 主網上線,市場也多持看好態度。Vitalik 發布的《Layer s as cultural extensions of Ethereum》文章提及 Taiko 時表示:每個以太坊 L2 都有其獨特的靈魂,Taiko 強調‘無縫用戶體驗、’以社區爲本‘、’安全至上‘和’Based‘。我很高興看到 Taiko 作爲一個 Based Rollup 平台而推出,以太坊受益於採用多種不同方法的 L2s,我很欣賞 Taiko 是第一批朝這個方向發展的項目。
知名VC Hashed表示:想象一下,在這個世界裏,以太坊的可擴展性是無止境的,交易速度快如閃電,用戶隱私是神聖不可侵犯的。這不是一個遙遠的夢想,而是一個迅速接近的現實,這一切都歸功於 Taiko。
從上文可以看出,Taiko 在技術上有很多優勢,雖然一衆大V看好。但Taiko上線時間相對較短,這還需要市場檢驗。除此之外,Taiko公布代幣經濟後社區存有爭議,認爲規則不透明。Taiko 聯合創始人兼 CEO Daniel Wang 在 Discord 發文回復稱,規則不透明是因爲透明也無法解決分歧,對‘公平’的定義每個人都有很強的主觀性,我們無法統一,也不試圖達成共識。
從長遠發展看,zkEVM系整體生態發展滯緩,Arbitrum和Optimism等Op系Layer2在生態建設上已經佔盡先機。Optimism通過Op Stack開源,Arbitrum通過L3許可建設,已然構築起強大生態護城河。這就如同,Solana等公鏈技術上或許比以太坊更先進,但是以太坊的發展仍然要好於Solana。從目前發展現狀看,zk系在生態建設遠不及Op系,從技術上Zk系有優勢,但不可否認的是Op系還是在不斷努力,不排除Op系最後在技術上進一步革新。
由於single-proof 方案無法應對 zkEVM 復雜代碼所潛藏的 Bug,Vitalik 提出了Multi-proofs,並將其視爲未來以太坊終局之路的重要發展方向之一。 而Taiko便是少數基於Multi-proofs 構建的Layer2項目之一。5 月 27 日,Taiko 在以太坊上線主網,近期多家主流交易所陸續上線該項目代幣,市場熱議不斷。那麼,Taiko與其他Layer2有何不同?Taiko背後技術又有何優勢和創新?
Taiko 是一個 Type-1 zkEVM,提供了與以太坊完全相同的操作碼和功能,確保了與現有以太坊生態的高度兼容性。Taiko 與其他 Rollup 的主要區別之一在於其選擇了 Based Rollup 機制,其不依賴中心化的排序器,而是依賴以太坊驗證者對交易和區塊進行排序。
2023 年底,Taiko 聯合創始人 Daniel Wang 提出了「Based Contestable Rollup(BCR)」概念,該概念引入了 Contestable(爭議)機制。Taiko 團隊選擇 Contestable 設計的原因主要有三個:
首先,Based Rollup 無需許可,必須引入「更高級別的證明」來解決軟件中的潛在 Bug。這避免了中心化網路需要停掉網路進行數據糾錯的必要性。當然,隨着 Taiko 網路運行時間的增加,這種糾錯機制可以逐漸去除;
其次,雖然 SGX 證明相對於零知識證明便宜了上千倍,但它並不是最理想或最去中心化的驗證方式。Contestable 設計允許在對 SGX 證明產生懷疑時提出挑戰,要求使用更高級別的證明重新驗證區塊,在降低成本的同時,提高了驗證的可信度。
最後,Contestable Rollup 具有靈活性和可擴展性,可以看作是對 zkRollup 和 Optimistic Rollup 的一種抽象。例如,如果未來零知識證明更便宜,我們就可以將 Contestable Rollup 配置成純粹的 zkRollup,或者根據應用的需要將其配置成純粹的 Optimistic Rollup,從而適應不同的驗證需求。
今年 3 月,Taiko 完成了1500 萬美元 A 輪融資,在投資Taiko的VC名單中有紅杉中國、Generative Ventures、Hashed、Lightspeed Faction、Token Bay Capital 及 Flow Traders 等。那麼,爲什麼這麼多VC看好Taiko呢?
此前,Vitalik一直認爲以太坊最終要走向zkEVM。但是,zkEVM的single-proof 方案無法應對 zkEVM 復雜代碼所潛藏的 Bug 問題。Vitalik 認爲, Multi-proofs 對單個區塊生成多種 proof 類型,即使其中一種證明類型出現問題,其他類型的證明可以繼續確保系統的正常運行並及時檢測到任何錯誤的狀態轉換。而Taiko實質上就是對Multi-proofs的實踐和應用,其BCR 框架的核心理念就涉及Multi-proofs。具體來講,Taiko 分爲三個主要模塊:Multi-Prover、Layer Rollup 以及Taiko 協議。
● Multi-Prover: 利用多種 zkVM 和 SGX 等集成證明系統,直接編譯及運行基於 Rust 的以太坊虛擬機,生成零知識或 TEE 證明以驗證以太坊區塊執行的準確性和完整性。
● Layer Rollup 節點:負責在 Layer 上管理和執行交易,同時與以太坊 Layer 1 (L1) 進行交互。通過 Layer Rollup 技術,Taiko 能夠提高以太坊的交易吞吐量,降低交易成本,並保持去中心化和安全性。
● Taiko 協議:定義並執行 Layer Rollup 的規則,確保交易的正確性和網路的安全性。通過智能合約和去中心化驗證,Taiko 協議實現了以太坊的高效擴展,同時保持其去中心化和安全特性。
整體上講,Taiko 協議的關鍵創新是BCR 框架(Based Contestable Rollup),其基於 Multi-proofs (多證明者交互式證明)打造。BCR 框架(Based Contestable Rollup)的核心在於「競爭」:任何人都可以成爲提議者,提交區塊提議,且任何對狀態轉換結果有異議的驗證者都可以提交安全級別挑戰證明,更改 L2 區塊狀態,在正確和錯誤的分叉之間作出選擇。提議者需要打包用戶交易並生成零知識證明,多個提議者可以同時競爭提交區塊;驗證者負責驗證提議者提交的區塊和零知識證明,多個驗證者可以競爭驗證區塊。這一流程不僅確保了每個區塊的生成和提交過程的去中心化,而且進一步增加了網路的安全性。
Taiko 自 2022 年開始開發,其在測試網階段便擁有超 110 萬個獨立錢包,超 30, 000 名去中心化提議者和 14000 多名去中心化驗證者。 5 月 27 日,Taiko正式主網上線。根據 Taiko 官方網站的數據顯示,目前已有 100+ 項目已入駐 Taiko 生態,類別囊括錢包、NFT 市場、預言機、 DeFi、AI 應用程序等。近期,Taiko 生態建設價快,吸引了一批優質項目入駐,其中有 Pyth、Etherscan、Pancakeswap、Layer Zero 等。
對於Taiko 主網上線,市場也多持看好態度。Vitalik 發布的《Layer s as cultural extensions of Ethereum》文章提及 Taiko 時表示:每個以太坊 L2 都有其獨特的靈魂,Taiko 強調‘無縫用戶體驗、’以社區爲本‘、’安全至上‘和’Based‘。我很高興看到 Taiko 作爲一個 Based Rollup 平台而推出,以太坊受益於採用多種不同方法的 L2s,我很欣賞 Taiko 是第一批朝這個方向發展的項目。
知名VC Hashed表示:想象一下,在這個世界裏,以太坊的可擴展性是無止境的,交易速度快如閃電,用戶隱私是神聖不可侵犯的。這不是一個遙遠的夢想,而是一個迅速接近的現實,這一切都歸功於 Taiko。
從上文可以看出,Taiko 在技術上有很多優勢,雖然一衆大V看好。但Taiko上線時間相對較短,這還需要市場檢驗。除此之外,Taiko公布代幣經濟後社區存有爭議,認爲規則不透明。Taiko 聯合創始人兼 CEO Daniel Wang 在 Discord 發文回復稱,規則不透明是因爲透明也無法解決分歧,對‘公平’的定義每個人都有很強的主觀性,我們無法統一,也不試圖達成共識。
從長遠發展看,zkEVM系整體生態發展滯緩,Arbitrum和Optimism等Op系Layer2在生態建設上已經佔盡先機。Optimism通過Op Stack開源,Arbitrum通過L3許可建設,已然構築起強大生態護城河。這就如同,Solana等公鏈技術上或許比以太坊更先進,但是以太坊的發展仍然要好於Solana。從目前發展現狀看,zk系在生態建設遠不及Op系,從技術上Zk系有優勢,但不可否認的是Op系還是在不斷努力,不排除Op系最後在技術上進一步革新。