Taiko: Type-1 zkEVM が Sequoia China によって評価されました

Odaily资深作者

2023-06-11 06:38

この記事は約3110文字で、全文を読むには約5分かかります

Loopring から生まれ、独自に開発されたものは、次の「採用サイクル」の大きな勝者の 1 つになる可能性があります。

オリジナル"Taiko: A New zkEVM on the Blockオリジナル"

"by umede.eth、Odaily JKがまとめたもの。

編集者注: Odaily によると、6 月 8 日、zkRollup に基づくイーサリアムの第 2 層ネットワークである Taiko は、合計 2,200 万米ドルの 2 ラウンドのシード資金調達を完了しました。最初の資金調達ラウンドはセコイア・チャイナ主導で1,000万米ドルで、2022年の第3四半期に完了する予定だ。最新の1,200万ドルのシリーズA資金調達ラウンドはGenerative Venturesが主導しました。

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

ゼロ知識証明イーサリアムのシーンを少し観察したことがある人なら、おそらく Polygon、Starkware、Scroll、zkSync という名前を聞いたことがあるでしょう。

実際、あなたはおそらく彼らのことを聞いたことがあるだけでなく、あらゆる種類の問題について Twitter で議論しているのを見たことがあるでしょう。zkEVM の本当の定義は何か、zkEVM をイーサリアムメインネットに初めてデプロイした/現在/デプロイするのは誰なのか、マーケティングの改善に誰が携わっているのか、その他の重要な問題とそれほど重要ではない問題。

彼らの議論に対するあなたの見解に関係なく、これらのプロジェクトはすべてイーサリアムを拡張するために懸命に取り組んでいます。

最初のレベルのタイトル

背景

背景Taiko (日本語で「ドラム」) は、ダニエルワン、ブレヒトデボス、その他のこの分野の著名人によって 2022 年初めに設立されました。Taiko を設立する前、2 人は Loopring で働いていました。

Loopring は、イーサリアムに導入された最初のゼロナレッジロールアップです。

Taiko の作成と開発において Loopring が果たした役割をすぐに理解することが重要だと思います。もともと、Taiko が構築していた zkEVM は、ゼロ知識証明を利用したイーサリアムを大衆に提供するという Loopring の取り組みの一部である必要がありました。

Taiko は現在、トルコ、オーストリア、バルバドス、中国、インド、米国、カナダ、ウクライナなどの国々から来た約 20 人の従業員で構成されています。

技術的な詳細

Type-1 zkEVM

副題

Taiko を競合他社 (またはむしろ同業他社) と区別する主な特徴は、Type-1 zkEVM であることを目指していることです。 Type-1 の zkEVM は、イーサリアムと完全に同等であることを目指しています。これは、ゼロ知識証明の生成を容易にするためにイーサリアムシステムに変更を加えないことを意味します。

本題に入る前に、Taiko の zkEVM は Privacy and Scaling Explorations (PSE) チームのコミュニティ活動のフォークであることに注意することが重要です。 Taiko はこのフォークを使用して新しいものをテストし、PSE の zkEVM に貢献します。これにより、タイプ 1 zkEVM (まだ) を開発中のプロジェクトはこの研究から恩恵を受けることができます。

Type-1 zkEVM は、イーサリアムと完全な互換性があることを望んでいます。 Taiko の場合、オペコードレベルでイーサリアムと同等になることを目指しており、ハッシュ関数、プリコンパイルされたコントラクト、トランザクションツリーとステートツリー、その他のコンセンサスロジックは変更されません。ただし、Taiko のホワイトペーパーに記載されているように、このプロトコルは現在、特定のイーサリアム改善提案 (EIP) を無効にしていますが、これは時間の経過とともに変更される予定です。イーサリアムと同等になることで、開発者には多くのメリットがもたらされます。たとえば、開発者はスマートコントラクトと分散型アプリケーション (dApps) を Taiko にシームレスに移行できます。

Uniswap のような dApp が Taiko に移行したい場合、プロトコルを変更する必要がないため、これは非常に重要です。そうしないと、Solidity とは異なるプログラミング言語にコードを書き換えたり、その他の変更を加えたりすると、プロトコルとその資産のセキュリティに直ちに複数のリスクが生じることになります。

さらに、太鼓の場合は互換性がさらに強化されました。 Taiko クライアントは、実績のある Ethereum クライアント Go-Ethereum をベースにしています。これは、参加を検討している人にとって、これらがより身近で使いやすいことを意味します。エンドユーザーの観点から見ると、Taiko で Uniswap を使用できることにより、イーサリアムメインネットでの Uniswap の一貫性、アクセシビリティ、ユーザー満足度が維持され、さらには向上します。

ただし、適切なプロトコル設計により、この問題を軽減できます。 Taiko がゼロ知識証明の生成をどのようにスピードアップできるかを見てみましょう。

副題

ゼロ知識証明生成の加速

Taiko は、いくつかの方法でゼロ知識証明の生成を高速化します。

Taiko L2 で提案されたすべてのブロックは決定論的で取り消すことができないため、すぐに検証されます。「決定的」とは、実行後のチェーンの状態を誰でも計算できることを意味します。 L2 ブロックが Taiko L1 に送信されて検証済みとみなされる場合、本質的妥当性テストに 1 回だけ合格する必要があります。

これらすべてにより、ゼロ知識証明の生成をある程度高速化できます。エンドユーザーにとって、これは L2 での即時ファイナリティと、L2 から L1 へのより高速なブリッジングを意味します。

副題

Taikoプロトコル

Taiko のゼロ知識プロトコルは、イーサリアムメインネット (L1) と Taiko L2 に 2 つのスマートコントラクトを展開します。
L2 スマートコントラクトは現在、提案されたブロックの無効性を証明し、ブロックを固定するために使用されており、プロトコルが EVM のプログラマビリティを利用して特定のプロトコル動作を強制する方法です。

zkSNARKs

副題

Taiko プロトコルは、Zero-Knowledge Succinct Non-Interactive Argument of Knowledge (zkSNARK) 証明を使用します。少なくとも理論的には、zkSNARK は zkSTARK に比べてスケーラビリティが欠けており、信頼できるセットアッププロセスが必要であると考えられています。ただし、zkSNARK は zkSTARK よりも軽量であるため、検証にかかる時間が短くなります。また、zkSNARK では必要なガスが少なくなり、より安価な取引が可能になります。

zkSNARK を生成するために、Taiko はラグランジュ基底ベースの Global No Interaction Proof of Knowledge (PLONK) 証明システムを使用します。 PLONK の利点は、標準の暗号化に依存しており、証明のサイズが小さいことです。ただし、Taiko は PLONK を Plonky 2、Hyperplonk、Halo などの他の証明システムと組み合わせる可能性も調査しています。

Taiko ネットワークは 3 人の参加者で構成されています。
プロポーザーは、L2 ユーザーのトランザクションに基づいてロールアップブロックを構築し、Taiko L1 クライアントに送信します。彼らは、ブロックにどのトランザクションが含まれるか、そしてそれらをどのように順序付けるかを決定します。
ノードランナーは、チェーン上のデータからトランザクションを実行して、チェーンの状態との同期を保ちます。提案者と証明者もノードを実行しますが、他のサービス (ブロックエクスプローラーなど) を提供したい人もノードを実行する必要があります。

副題

Taiko L2ノード

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

最初のレベルのタイトル

Taiko は最近、アイスランド西部の火山にちなんで、Snæfellsjökull と呼ばれる最初のテストネットを立ち上げました。ユーザーは、イーサリアム A1 と Taiko A1 の間のブリッジをテストし、異なるアカウント間でトークンを転送し、コントラクトを操作し、プロポーザーノードを実行することで、Taiko をテストできます。

画像の説明

テストの観点から見ると、テストネットは大成功でした。わずか 1 週間で、Taiko L2 ネットワークは 160 万件以上のトランザクション、650,000 件以上のブロック、275,000 件のウォレットアドレスを処理しました。スナイフェルスヨークトルは爆発したと言える。

Source: https://l2 explorer.a 1.taiko.xyz.

画像の説明

Taiko はメインネットのローンチ時期については明らかにしなかったが、2023 年後半か来年になる可能性が高いと述べた。

最初のレベルのタイトル

太閤の信仰

Taiko はこの分野の他の zkEVM とは技術設計がまったく異なりますが、その追求についても議論する価値があります。

Taiko は、アクセス可能、包括的、オープン、許可不要、分散化を目指していると主張しています。実際、完全に分散化された提案者と証明者のセットで稼働できるようにしたいと考えています。これは、他の zkEVM とは異なります。ほとんどの zkEVM は集中化から始めて、徐々に分散化することを選択します。

最初のレベルのタイトル

エピローグ

タイプ 1 zkEVM には長所と短所があります。しかし、その欠点が、それが提供する利点に比べて無視できるものであればどうなるでしょうか?一見最高水準に見えるイーサリアム同等物が、ゼロ知識証明生成を加速する既存の方法や潜在的な方法と組み合わされて、タイプ 1 zkEVM が本当に長期的な勝者になったらどうなるでしょうか?まだ不明な点が多くありますが、少なくとも Vitalik は Type-1 のような zkEVM が正しい選択であることを示唆しているようです。

Taikoに関しては、適切なタイミングで適切な場所を見つけたと思います。 2023 年は Build にとって特別な年になるようです。 Taiko が目標を達成し、今年か来年初めにメインネットを立ち上げれば、次の導入サイクルで大きな勝者の 1 つとなる可能性があります。