Taiko：レッドウッド中国が重視するType-1 zkEVM

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

作者：umede.eth

编译：jk，Odaily星球日报

編者按：暗号データプラットフォームRootDataによると、6月8日にzkRollupに基づくイーサリアムのレイヤー2ネットワークTaikoが合計2200万ドルの2回のシードラウンドの資金調達を完了しました。最初のラウンドは1000万ドルで、セコイア中国がリードし、2022年第3四半期に終了しました。最近の第2ラウンドは1200万ドルで、Generative Venturesがリードしました。

免責事項：以下はOdaily星球日报の見解を代表するものではなく、投資アドバイスを構成するものでもありません。

もしあなたがゼロ知識証明のイーサリアム分野の動向に少しでも関心を持っているなら、Polygon、Starkware、Scroll、zkSyncといった名前を聞いたことがあるかもしれません。

実際、あなたはそれらを聞いただけでなく、Twitterでさまざまな問題について議論しているのを見たかもしれません：zkEVMの真の定義は何か、誰がイーサリアムメインネットに最初にzkEVMをデプロイしたか、誰がマーケティングで優れているか、その他の重要な問題やそれほど重要でない問題。

彼らの議論に対するあなたの見解が何であれ、これらのプロジェクトはすべてイーサリアムのスケーラビリティを推進するために努力しています。

しかし、新しい参加者が登場しており、この人物は比較的控えめですが、他の人と同様に実行可能です。この新しい参加者はTaikoであり、完全に分散化され、イーサリアムと同等のゼロ知識拡張を目指すzkEVMです。私の知る限り、現在他のzkEVMチームはこの偉業を達成しようとしていないので、Taikoは特に注目に値すると考えています。

Taikoが何であるかを一緒に見てみましょう。

一、背景

Taiko（日本語で「太鼓」）は2022年初頭に設立され、Daniel Wang、Brecht Devos、およびこの分野の他の著名な人物によって共同設立されました。Taikoを設立する前に、彼らはLoopringで働いていました。Loopringはイーサリアム上にデプロイされた最初のゼロ知識ロールアップです。

LoopringがTaikoの設立と発展において果たした役割を素早く理解することが重要だと思います。最初、Taikoが構築していたzkEVMは、Loopringがゼロ知識証明を駆使してイーサリアムを一般に普及させる努力の一部である必要がありました。

しかし、開発段階のある時点で、Wangと彼のチームは両者を混同することが大きな混乱を引き起こす可能性があることに気づきました。なぜなら、Loopringはアプリケーション特化型の拡張であり、Taikoは汎用の拡張を目指しているからです。そこで、TaikoはLoopringから分離し、独立して発展しました。

現在、Taikoはトルコ、オーストリア、バルバドス、中国、インド、アメリカ、カナダ、ウクライナなどの国々から約20名のスタッフで構成されています。

二、技術的詳細

1、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にシームレスに移行できます。これは非常に重要です。なぜなら、UniswapのようなdAppがTaikoに移行したい場合、プロトコルに対して何の変更も必要ないからです。さもなければ、コードをSolidityとは異なるプログラミング言語に書き直すか、他の変更を行う必要があり、プロトコルの安全性やその上の資産に多くのリスクをもたらします。

さらに、Taikoの場合、互換性はさらに強化されています。Taikoクライアントは、実戦で検証されたイーサリアムクライアントGo-Ethereumに基づいています。これは、参加を希望する人々にとって、より親しみやすく、使いやすいことを意味します。最終ユーザーの観点から見ると、Taiko上でのUniswapの使用能力は、イーサリアムメインネットでの使用と一貫性、アクセス可能性、ユーザー満足度を維持し、さらには改善されています。

もちろん、完璧な互換性を追求する道にはいくつかのトレードオフが必要です。TaikoのようなType-1 zkEVMが直面する主な課題は、ゼロ知識証明の生成が遅いことです。イーサリアムは設計当初からゼロ知識証明の統合を考慮していなかったため、プロトコル内の多くの部分はゼロ知識証明を生成するために大量の計算を必要とします。

しかし、適切なプロトコル設計がこの問題を緩和することができます。Taikoがゼロ知識証明の生成速度をどのように加速するかを見てみましょう。

2、ゼロ知識証明生成の加速

Taikoは以下の方法でゼロ知識証明の生成速度を加速しています：

Taiko L2上のすべての提案ブロックは、決定的で取り消し不可能であるため、即座に検証されます。「決定的」とは、誰でも実行後のチェーン状態を計算できることを意味します。L2ブロックをTaiko L1に提出する際に内在的な有効性テストを一度通過すれば、検証が完了したと見なされます。

すべてのTaiko L2提案ブロックは決定的であるため、並行して証明でき、証明は任意の順序で提出できます。たとえば、証明者#1はブロック#1を同時に検証でき、証明者#2はブロック#2を同時に検証できます。これは、Taiko L1が証明を取得するために長い時間を待つ必要があることを意味します。

これらすべては、ある程度ゼロ知識証明の生成速度を加速することができます。最終ユーザーにとっては、L2上での即時の最終性と、L2からL1へのより速いブリッジ速度を意味します。

3、Taikoプロトコル

Taikoのゼロ知識プロトコルは、イーサリアムメインネット（L1）とTaiko L2に2つのスマートコントラクトをデプロイしています：

（1）L1スマートコントラクトは、L2のブロックを提案、証明、検証するために使用されます。

（2）L2スマートコントラクトは、現在提案ブロックの無効性を証明し、アンカーするために使用されており、これはEVMのプログラマビリティを利用して特定のプロトコル動作を強制する方法の一つです。

4、zkSNARKs

Taikoプロトコルは、ゼロ知識簡潔非対話型証明（zkSNARK）を使用しています。理論的には、zkSTARKと比較してzkSNARKはスケーラビリティに欠け、信頼できる設定プロセスが必要とされています。しかし、zkSNARKはzkSTARKよりも軽量であるため、検証時間が短くなります。また、zkSNARKに必要なガスが少なく、より安価な取引を提供します。

zkSNARKを生成するために、Taikoはラグランジュ基数に基づくグローバル無交互知識証明（PLONK）証明システムを使用しています。PLONKの利点は、標準的な暗号学に依存し、その証明の規模が小さいことです。しかし、TaikoはPLONKを他の証明システム（Plonky 2、Hyperplonk、Haloなど）と組み合わせる可能性も研究しています。

Taikoネットワークは、3つの参加者で構成されています：

（1）提案者はL2ユーザーの取引に基づいてロールアップブロックを構築し、それをTaiko L1クライアントに提出します。彼らはどの取引をブロックに含めるか、またそれらをどのように並べるかを決定します。

（2）証明者はzkSNARK証明を生成し、L2取引とブロックの有効性を確認します。彼らはどのブロックがチェーン上で検証されるべきかを決定します。

（3）ノード運営者は、チェーン上のデータから取引を実行し、チェーンの状態と同期を保ちます。提案者と証明者もノードを運営しますが、他のサービス（ブロックエクスプローラーなど）を提供したい人もノードを運営する必要があります。

5、Taiko L2ノード

TaikoのL2ノードはイーサリアムから取引データを取得し、Taiko L2上でこれらの取引を実行します。前述のように、TaikoのL2ノードはGo-Ethereumに基づいています。

詳細な技術的詳細については、Taikoのホワイトペーパーをお読みください。

三、現在の進展

Taikoは最近、Snæfellsjökullという名前の最初のテストネットを発表しました。これはアイスランド西部の火山の名前です。ユーザーは、Ethereum A1とTaiko A1の間でブリッジテストを行い、異なるアカウント間でトークンを移動し、コントラクトと対話し、提案者ノードを実行することでTaikoをテストできます。

Snæfellsjökull火山。出典：アイスランドのマグ。

テストの観点から見ると、このテストネットは大成功を収めました。わずか1週間余りの間に、Taiko L2ネットワークは160万件以上の取引、65万以上のブロック、27.5万のウォレットアドレスを処理しました。Snæfellsjökullはすでに噴火したと言えます。

出典：https://l2 explorer.a 1.taiko.xyz。

Taikoチームは、今後数ヶ月以内にSnæfellsjökullを段階的に廃止し、新しいテストネットに置き換える予定です。この新しいネットワークはゼロ知識証明技術を採用します。さらに、テストネットは以前のバージョンを改善し、トークン経済モデルを実施します。

Taikoは主ネットのリリース時期を具体的に示していませんが、2023年末または来年の初めがより可能性が高いと述べています。

四、Taikoの信念

Taikoは技術設計においてこの分野の他のzkEVMとは完全に異なりますが、その追求も議論に値します。

Taikoは、自身がアクセス可能で、包括的で、オープンで、許可不要で、分散化されていることを望んでいると主張しています。実際、完全に分散化された提案者と証明者の集合を使用してオンラインになることを望んでいます。これは他のzkEVMとは異なり、ほとんどが中央集権から始まり、徐々に分散化を実現しています。

Taikoは、完全に分散化され、イーサリアムと同じ目標を追求することが、イーサリアムと同等になるための必要条件であると考えています。さらに、チームは将来的にDAOを立ち上げる予定です。共同創設者のWangは、Taikoが非営利組織の形で運営されることを望んでいるとも述べています。

Taikoの価値観を読むと、非常に前衛的で、ほとんど革命的だと感じざるを得ません。これは私にzkSyncの使命宣言を思い起こさせます。私はTaikoが約束を果たし、完全に分散化されたType-1 zkEVMとしてイーサリアムメインネットに上陸することを期待しています。

五、結語

Type-1のzkEVMには利点と欠点があります。しかし、もしその提供する利点に対して欠点が無視できるものであればどうでしょうか？イーサリアムと同等であることは、最高の基準のように見え、既存および潜在的なゼロ知識証明生成の加速方法が加われば、Type-1のzkEVMが長期的に勝者になる可能性が本当にあるのでしょうか？現在、多くの未知数がありますが、少なくともVitalikはType-1のzkEVMが正しい選択であることを示唆しているようです。

Taikoについて言えば、私はそれが正しいタイミングで正しい位置を見つけたと思います。2023年は「Build」のために取っておかれた年のようです。もしTaikoがその目標を達成し、今年または来年初めに主ネットをリリースすれば、次の採用サイクルの大勝者の一人になる可能性があります。

Taikoは明らかに独自の道を歩み、並外れた偉業を達成しようとしています。それが成功するかどうかは別の問題ですが、Wangと彼のチームがLoopringで達成した成果を見ると、勝算は彼らに味方しているようです。もしTaikoが勝利すれば、イーサリアムも勝者となるでしょう。