Taiko：被紅杉中國看重的Type-1 zkEVM

Odaily资深作者

2023-06-11 06:38

本文約3110字，閱讀全文需要約5分鐘

源於Loopring，獨立發展，或許是下個“採用周期”的大贏家之一。

原文《Taiko: A New zkEVM on the Block原文《

原文《

》作者umede.eth，由Odaily jk 編譯。

免責聲明：以下不代表Odaily觀點，也不構成投資建議。

編者按：據Odaily， 6 月8 日基於zkRollup 的以太坊二層網絡Taiko 完成共計2200 萬美元的兩輪種子輪融資。第一輪融資1000 萬美元，紅杉中國領投，於2022 年第三季度結束。最近的第二輪融資1200 萬美元，Generative Ventures 領投。

免責聲明：以下不代表Odaily觀點，也不構成投資建議。

一級標題

背景

背景背景背景

Taiko（日語中的“鼓”）成立於2022 年初，由Daniel Wang、Brecht Devos和該領域的其他知名人士共同創立。

在創辦Taiko之前，這兩位曾在Loopring工作，

我認為快速了解Loopring在Taiko的創立和發展過程中所起的作用是很重要的。最初，Taiko正在構建的zkEVM必須是Loopring努力將零知識證明驅動的以太坊推廣給大眾的一部分。

技術細節

Type-1 zkEVM

二級標題

將Taiko與競爭對手（或者更確切地說，同行）區分開來的主要特點是它的目標是成為一種Type-1 的zkEVM。 Type-1 的zkEVM力求完全與以太坊等效，這意味著它不對以太坊系統進行任何改動，以便更容易生成零知識證明。在深入探討之前，需要注意的是，Taiko的zkEVM是Privacy and Scaling Explorations（PSE）團隊社區努力的一個分支。 Taiko使用這個分支來測試新的東西，然後向PSE的zkEVM做出貢獻，以便任何正在開發Type-1 zkEVM（目前還沒有）的項目都能從這項研究中受益。

Type-1 zkEVM希望與以太坊完全兼容。在Taiko的情況下，它打算成為與操作碼級別的以太坊等效，這意味著哈希函數、預編譯合約、交易和狀態樹以及其他一致性邏輯都不會改動。然而，正如Taiko的白皮書中所指出的，該協議目前確實禁用了某些以太坊改進提案（EIPs），但這將隨著時間的推移而改變。

成為與以太坊等效帶來了許多開發者的好處。例如，開發者可以無縫地將他們的智能合約和去中心化應用（dApp）遷移到Taiko上。

然而，適當的協議設計可以緩解這個問題。讓我們看看Taiko如何加快零知識證明的生成速度。

二級標題

加速零知識證明生成

所有這些在一定程度上都能加快零知識證明的生成速度。對於最終用戶來說，這意味著L2上的即時最終性，以及從L2到L1的更快橋接速度。

二級標題

二級標題
L2智能合約目前用於證明提議塊的無效性並進行錨定，即協議利用EVM的可編程性來強制執行某些協議行為的一種方式。

zkSNARKs

二級標題

Taiko協議使用了零知識簡潔非交互性知識論證（zkSNARK）證明。至少在理論上，與zkSTARK相比，zkSNARK被認為缺乏可擴展性，並且需要一個可信的設置過程。然而，zkSNARK比zkSTARK更輕量級，因此驗證時間更短。而且zkSNARK所需的gas較少，提供了更便宜的交易。
為了生成zkSNARK，Taiko使用了基於拉格朗日基數的全球無交互知識論證（PLONK）證明系統。 PLONK的優勢在於它依賴於標準密碼學，並且其證明的規模較小。然而，Taiko還在研究將PLONK與其他證明系統（如Plonky 2 、Hyperplonk和Halo）相結合的可能性。
節點運行者執行來自鏈上數據的交易，以保持與鏈的狀態同步。提議者和證明者也運行節點，但那些想提供其他服務（如區塊瀏覽器）的人也需要運行一個節點。