著者：umede.eth、編集者：Odaily Planet デイリーjk編集者注: Odaily Planet Daily によると、6 月 8 日、zkRollup に基づく第 2 層イーサリアム ネットワークである Taiko は、合計 2,200 万米ドルの 2 ラウンドのシード資金調達を完了しました。最初の資金調達ラウンドはセコイア・チャイナ主導で1,000万米ドルで、2022年の第3四半期に完了する予定だ。最新の1,200万ドルのシリーズA資金調達ラウンドはGenerative Venturesが主導しました。ゼロ知識証明イーサリアムのシーンを少し観察したことがある人なら、おそらく Polygon、Starkware、Scroll、zkSync という名前を聞いたことがあるでしょう。実際、あなたはおそらくそれらについて聞いたことがあるだけでなく、Twitter であらゆる種類の問題について議論しているのを見たことがあるでしょう。zkEVM の本当の定義は何か、zkEVM をイーサリアム メインネットに初めて導入した/現在/導入するのは誰か、マーケティングの改善、およびその他の重要な問題とそれほど重要ではない問題。彼らの議論に対するあなたの見解に関係なく、これらのプロジェクトはすべてイーサリアムを拡張するために懸命に取り組んでいます。しかし、比較的地味ではあるものの、他のプレイヤーと同じくらい実行力のある新しいプレイヤーが台頭しています。この新しいプレーヤーは Taiko です。zkEVM は、イーサリアムと同等の完全分散型、ゼロ知識スケーリングを目指しています。私の知る限り、現在この偉業を達成しようとしている zkEVM チームは他にないので、Taiko は特別な注目に値すると思います。Taiko とは何かを見てみましょう。＃＃＃ バックグラウンドTaiko (日本語で「ドラム」) は、ダニエル ワン、ブレヒト デボス、その他のこの分野の著名人によって 2022 年初めに設立されました。 Taiko を始める前、2 人はイーサリアムに導入された最初のゼロ知識ロールアップである Loopring で働いていました。Taiko の作成と開発において Loopring が果たした役割をすぐに理解することが重要だと思います。 **元々、Taiko が構築していた zkEVM は、ゼロ知識証明を利用したイーサリアムを大衆に提供するという Loopring の取り組みの一部である必要がありました。 ****しかし、開発段階のある時点で、Wnag と彼のチームは、Loopring がアプリ固有の拡張機能であるのに対し、Taiko は汎用拡張機能であることを意図しているため、この 2 つを混同すると非常に混乱を招く可能性があることに気づきました。その結果、Taiko は Loopring から分離し、独自に発展しました。 **Taiko は現在、トルコ、オーストリア、バルバドス、中国、インド、米国、カナダ、ウクライナなどの国々から来た約 20 人の従業員で構成されています。### 技術的な詳細#### タイプ 1 zkEVM**Taiko を競合他社 (またはむしろ同業他社) と区別する主な特徴は、Type-1 zkEVM を目指すことです。 Type-1 の zkEVM は、イーサリアムと完全に同等であることを目指しています。これは、ゼロ知識証明の生成を容易にするためにイーサリアム システムに変更を加えないことを意味します。 **本題に入る前に、Taiko の zkEVM は、Privacy and Scaling Explorations (PSE) チームのコミュニティ活動のフォークであることに注意することが重要です。 Taiko はこのフォークを使用して新しいものをテストし、PSE の zkEVM に貢献します。これにより、タイプ 1 zkEVM (まだ) を開発中のプロジェクトはこの研究から恩恵を受けることができます。**タイプ 1 zkEVM は、イーサリアムと完全な互換性があることを望んでいます。 **Taiko の場合、オペコード レベルでイーサリアムと同等になることを意図しています。つまり、ハッシュ関数、プリコンパイルされたコントラクト、トランザクション ツリーおよびステート ツリー、その他のコンセンサス ロジックは変更されません。ただし、Taiko のホワイトペーパーに記載されているように、このプロトコルは現在、特定のイーサリアム改善提案 (EIP) を無効にしていますが、これは時間の経過とともに変更される予定です。**イーサリアムと同等になることで、開発者には多くのメリットがもたらされます。 **たとえば、開発者はスマート コントラクトと分散型アプリケーション (dApps) を Taiko にシームレスに移行できます。 Uniswap のような dApp が Taiko に移行したい場合、プロトコルを変更する必要がないため、これは非常に重要です。そうしないと、Solidity とは異なるプログラミング言語にコードを書き換えたり、その他の変更を加えたりすると、プロトコルとその資産のセキュリティに直ちに複数のリスクが生じることになります。これに加えて、**太鼓の場合はさらに互換性が高まります。 **Taiko クライアントは、実績のある Ethereum クライアント Go-Ethereum に基づいています。これは、参加を検討している人にとって、これらがより身近で使いやすいことを意味します。エンドユーザーの観点から見ると、Taiko と Ethereum メインネットで Uniswap を使用できることにより、一貫性、アクセシビリティ、ユーザー満足度が維持され、さらには向上します。もちろん、完全な互換性を追求するには、いくつかのトレードオフが必要です。 Taiko のようなタイプ 1 zkEVM の主な課題は、ゼロ知識証明の生成が遅いことです。イーサリアムは設計当初にゼロ知識証明の統合を考慮していなかったため、プロトコルの多くの部分でゼロ知識証明を生成するために多くの計算が必要になります。ただし、適切なプロトコル設計により、この問題を軽減できます。 Taiko がゼロ知識証明の生成をどのようにスピードアップできるかを見てみましょう。#### ゼロ知識証明生成の加速Taiko は、いくつかの方法でゼロ知識証明の生成を高速化します。**Taiko L2 で提案されたブロックはすべて、決定論的で取り消すことができないため、すぐに検証されます。 ** 「決定的」とは、実行後のチェーンの状態を誰でも計算できることを意味します。 L2 ブロックが Taiko L1 に送信されて検証済みとみなされる場合、本質的妥当性テストに 1 回だけ合格する必要があります。**すべての Taiko L2 プロポーザル ブロックは決定論的であるため、並列して証明することができ、証明は任意の順序でコミットできます。 **たとえば、証明者 #1 はブロック #1 を同時に検証でき、証明者 #2 はブロック #2 を同時に検証できます。これは、Taiko L1 だけが証明のために長く待たなければならないことを意味します。**これらすべてにより、ゼロ知識証明の生成をある程度高速化できます。 **エンド ユーザーにとって、これは L2 での即時ファイナリティと、L2 から L1 へのより高速なブリッジングを意味します。#### Taiko 协议Taiko のゼロ知識プロトコルは、イーサリアム メインネット (L1) と Taiko L2 に 2 つのスマート コントラクトを展開します。* **L1 スマート コントラクトは、L2 ブロックの提案、証明、検証に使用されます。 *** **L2 スマート コントラクトは現在、提案されたブロックの無効性を証明し、ブロックを固定するために使用されており、プロトコルが EVM のプログラマビリティを利用して特定のプロトコル動作を強制する方法です。 **#### zkSNARK**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 人の参加者で構成されています。1. **プロポーザーは、L2 ユーザーのトランザクションに基づいてロールアップ ブロックを構築し、それを Taiko L1 クライアントに送信します。 ** ブロックにどのトランザクションが含まれるか、そしてそれらをどのように注文するかは彼らによって決定されます。2. **証明者は、L2 トランザクションとブロックの有効性を確認するために zkSNARK 証明を生成します。 ** どのブロックをオンチェーンで検証するかを決定します。3. **ノード ランナーは、チェーンの状態との同期を保つためにオンチェーン データからトランザクションを実行します。 **提案者と証明者もノードを実行しますが、他のサービス (ブロック エクスプローラーなど) を提供したい人もノードを実行する必要があります。#### Taiko L2 节点Taiko の L2 ノードはイーサリアムからトランザクション データを取得し、それらのトランザクションを Taiko L2 上で実行します。前に述べたように、Taiko の L2 ノードは Go-Ethereum に基づいています。技術的な詳細については、Taiko のホワイト ペーパーをお読みください。＃＃＃ 現在の進行**Taiko は最近、アイスランド西部の火山の名前である Snæfellsjökull と呼ばれる最初のテスト ネットワークをリリースしました。 **ユーザーは、イーサリアム A1 と Taiko A1 の間のブリッジをテストし、異なるアカウント間でトークンを転送し、コントラクトと対話し、プロポーザー ノードを実行することで、Taiko をテストできます。テストの観点から見ると、テストネットは大成功でした。わずか 1 週間で、Taiko L2 ネットワークは 160 万件以上のトランザクション、650,000 件以上のブロック、275,000 件のウォレット アドレスを処理しました。スナイフェルスヨークトルは爆発したと言える。!【1200万ドルの流れに逆らって資金調達、セコイアに撮影される、一式zkEVM新人タイコの由来とは？ ](https://img.gateio.im/social/moments-40baef27dd-01ae119163-dd1a6f-62a40f)出典:explorer.a 1.taiko.xyz。Taiko チームは、今後数か月かけて Snæfellsjökull を段階的に廃止し、ゼロ知識証明技術を使用する新しいテスト ネットワークに置き換える予定です。今後のテストネットは以前のバージョンを改良し、トークンエコノミーモデルを実装する予定です。Taiko はメインネットのローンチ時期については明らかにしなかったが、2023 年後半か来年になる可能性が高いと述べた。### 太閤の信仰Taiko は、この分野の他の zkEVM とは技術設計が大きく異なりますが、その追求についても議論する価値があります。**Taiko は、アクセス可能、包括的、オープン、パーミッションレス、分散化を目指していると主張しています。 ** 実際、完全に分散化された提案者と証明者のセットを使用して稼働できることを望んでいます。これは、他の zkEVM とは異なります。ほとんどの zkEVM は集中化から始めて、徐々に分散化することを選択します。**Taiko は、完全に分散化され、イーサリアムと同じ目標を追求することが、イーサリアムと同等になるために必須であると信じています。さらに、チームは将来的に DAO を立ち上げる予定です。 ** 共同創設者の王氏は、Taiko は非営利団体として運営したいとも述べました。Taiko の価値観について読むと、非常に前衛的で、ほとんど革命的だと感じずにはいられません。これを聞くと、zkSync のミッション ステートメントを思い出します。 Taiko がその約束を果たし、イーサリアムメインネットに上陸する最初の完全分散型タイプ 1 zkEVM になることを願っています。＃＃＃ 結論タイプ 1 zkEVM には長所と短所があります。しかし、その欠点が、それが提供する利点に比べて無視できるものであればどうなるでしょうか?一見最高水準に見えるイーサリアム同等物が、ゼロ知識証明生成を加速する既存の方法や潜在的な方法と組み合わされて、タイプ 1 zkEVM が本当に長期的な勝者になったらどうなるでしょうか?まだ不明な点が多くありますが、少なくとも Vitalik は Type-1 のような zkEVM が正しい選択であることを示唆しているようです。Taikoに関しては、適切なタイミングで適切な場所を見つけたと思います。 2023 年は Build にとって特別な年になるようです。 Taiko が目標を達成し、今年か来年初めにメインネットを立ち上げれば、次の導入サイクルで大きな勝者の 1 つとなる可能性があります。Taiko は明らかに単独で、並外れた偉業を達成しようとしています。それが成功するかどうかは別の問題ですが、ワン氏と彼のチームがループリングで達成した成果から判断すると、可能性は味方にあるようです。 Taikoが勝てばイーサリアムも勝者になります。
1200万ドル資金調達の流れに反して一式zkEVM新人太閤の起源は何なのか
著者：umede.eth、編集者：Odaily Planet デイリーjk
編集者注: Odaily Planet Daily によると、6 月 8 日、zkRollup に基づく第 2 層イーサリアム ネットワークである Taiko は、合計 2,200 万米ドルの 2 ラウンドのシード資金調達を完了しました。最初の資金調達ラウンドはセコイア・チャイナ主導で1,000万米ドルで、2022年の第3四半期に完了する予定だ。最新の1,200万ドルのシリーズA資金調達ラウンドはGenerative Venturesが主導しました。
ゼロ知識証明イーサリアムのシーンを少し観察したことがある人なら、おそらく Polygon、Starkware、Scroll、zkSync という名前を聞いたことがあるでしょう。
実際、あなたはおそらくそれらについて聞いたことがあるだけでなく、Twitter であらゆる種類の問題について議論しているのを見たことがあるでしょう。zkEVM の本当の定義は何か、zkEVM をイーサリアム メインネットに初めて導入した/現在/導入するのは誰か、マーケティングの改善、およびその他の重要な問題とそれほど重要ではない問題。
彼らの議論に対するあなたの見解に関係なく、これらのプロジェクトはすべてイーサリアムを拡張するために懸命に取り組んでいます。
しかし、比較的地味ではあるものの、他のプレイヤーと同じくらい実行力のある新しいプレイヤーが台頭しています。この新しいプレーヤーは Taiko です。zkEVM は、イーサリアムと同等の完全分散型、ゼロ知識スケーリングを目指しています。私の知る限り、現在この偉業を達成しようとしている zkEVM チームは他にないので、Taiko は特別な注目に値すると思います。
Taiko とは何かを見てみましょう。
＃＃＃ バックグラウンド
Taiko (日本語で「ドラム」) は、ダニエル ワン、ブレヒト デボス、その他のこの分野の著名人によって 2022 年初めに設立されました。 Taiko を始める前、2 人はイーサリアムに導入された最初のゼロ知識ロールアップである Loopring で働いていました。
Taiko の作成と開発において Loopring が果たした役割をすぐに理解することが重要だと思います。 **元々、Taiko が構築していた zkEVM は、ゼロ知識証明を利用したイーサリアムを大衆に提供するという Loopring の取り組みの一部である必要がありました。 **
**しかし、開発段階のある時点で、Wnag と彼のチームは、Loopring がアプリ固有の拡張機能であるのに対し、Taiko は汎用拡張機能であることを意図しているため、この 2 つを混同すると非常に混乱を招く可能性があることに気づきました。その結果、Taiko は Loopring から分離し、独自に発展しました。 **
Taiko は現在、トルコ、オーストリア、バルバドス、中国、インド、米国、カナダ、ウクライナなどの国々から来た約 20 人の従業員で構成されています。
技術的な詳細
タイプ 1 zkEVM
**Taiko を競合他社 (またはむしろ同業他社) と区別する主な特徴は、Type-1 zkEVM を目指すことです。 Type-1 の zkEVM は、イーサリアムと完全に同等であることを目指しています。これは、ゼロ知識証明の生成を容易にするためにイーサリアム システムに変更を加えないことを意味します。 **
本題に入る前に、Taiko の zkEVM は、Privacy and Scaling Explorations (PSE) チームのコミュニティ活動のフォークであることに注意することが重要です。 Taiko はこのフォークを使用して新しいものをテストし、PSE の zkEVM に貢献します。これにより、タイプ 1 zkEVM (まだ) を開発中のプロジェクトはこの研究から恩恵を受けることができます。
**タイプ 1 zkEVM は、イーサリアムと完全な互換性があることを望んでいます。 **Taiko の場合、オペコード レベルでイーサリアムと同等になることを意図しています。つまり、ハッシュ関数、プリコンパイルされたコントラクト、トランザクション ツリーおよびステート ツリー、その他のコンセンサス ロジックは変更されません。ただし、Taiko のホワイトペーパーに記載されているように、このプロトコルは現在、特定のイーサリアム改善提案 (EIP) を無効にしていますが、これは時間の経過とともに変更される予定です。
**イーサリアムと同等になることで、開発者には多くのメリットがもたらされます。 **たとえば、開発者はスマート コントラクトと分散型アプリケーション (dApps) を Taiko にシームレスに移行できます。 Uniswap のような dApp が Taiko に移行したい場合、プロトコルを変更する必要がないため、これは非常に重要です。そうしないと、Solidity とは異なるプログラミング言語にコードを書き換えたり、その他の変更を加えたりすると、プロトコルとその資産のセキュリティに直ちに複数のリスクが生じることになります。
これに加えて、**太鼓の場合はさらに互換性が高まります。 **Taiko クライアントは、実績のある Ethereum クライアント Go-Ethereum に基づいています。これは、参加を検討している人にとって、これらがより身近で使いやすいことを意味します。エンドユーザーの観点から見ると、Taiko と Ethereum メインネットで Uniswap を使用できることにより、一貫性、アクセシビリティ、ユーザー満足度が維持され、さらには向上します。
もちろん、完全な互換性を追求するには、いくつかのトレードオフが必要です。 Taiko のようなタイプ 1 zkEVM の主な課題は、ゼロ知識証明の生成が遅いことです。イーサリアムは設計当初にゼロ知識証明の統合を考慮していなかったため、プロトコルの多くの部分でゼロ知識証明を生成するために多くの計算が必要になります。
ただし、適切なプロトコル設計により、この問題を軽減できます。 Taiko がゼロ知識証明の生成をどのようにスピードアップできるかを見てみましょう。
ゼロ知識証明生成の加速
Taiko は、いくつかの方法でゼロ知識証明の生成を高速化します。
**Taiko L2 で提案されたブロックはすべて、決定論的で取り消すことができないため、すぐに検証されます。 ** 「決定的」とは、実行後のチェーンの状態を誰でも計算できることを意味します。 L2 ブロックが Taiko L1 に送信されて検証済みとみなされる場合、本質的妥当性テストに 1 回だけ合格する必要があります。
**すべての Taiko L2 プロポーザル ブロックは決定論的であるため、並列して証明することができ、証明は任意の順序でコミットできます。 **たとえば、証明者 #1 はブロック #1 を同時に検証でき、証明者 #2 はブロック #2 を同時に検証できます。これは、Taiko L1 だけが証明のために長く待たなければならないことを意味します。
**これらすべてにより、ゼロ知識証明の生成をある程度高速化できます。 **エンド ユーザーにとって、これは L2 での即時ファイナリティと、L2 から L1 へのより高速なブリッジングを意味します。
Taiko 协议
Taiko のゼロ知識プロトコルは、イーサリアム メインネット (L1) と Taiko L2 に 2 つのスマート コントラクトを展開します。
zkSNARK
**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 人の参加者で構成されています。
Taiko L2 节点
Taiko の L2 ノードはイーサリアムからトランザクション データを取得し、それらのトランザクションを Taiko L2 上で実行します。前に述べたように、Taiko の L2 ノードは Go-Ethereum に基づいています。
技術的な詳細については、Taiko のホワイト ペーパーをお読みください。
＃＃＃ 現在の進行
**Taiko は最近、アイスランド西部の火山の名前である Snæfellsjökull と呼ばれる最初のテスト ネットワークをリリースしました。 **ユーザーは、イーサリアム A1 と Taiko A1 の間のブリッジをテストし、異なるアカウント間でトークンを転送し、コントラクトと対話し、プロポーザー ノードを実行することで、Taiko をテストできます。
テストの観点から見ると、テストネットは大成功でした。わずか 1 週間で、Taiko L2 ネットワークは 160 万件以上のトランザクション、650,000 件以上のブロック、275,000 件のウォレット アドレスを処理しました。スナイフェルスヨークトルは爆発したと言える。
!【1200万ドルの流れに逆らって資金調達、セコイアに撮影される、一式zkEVM新人タイコの由来とは？ ](https://img.gateio.im/social/moments-40baef27dd-01ae119163-dd1a6f-62a40f)
出典:explorer.a 1.taiko.xyz。
Taiko チームは、今後数か月かけて Snæfellsjökull を段階的に廃止し、ゼロ知識証明技術を使用する新しいテスト ネットワークに置き換える予定です。今後のテストネットは以前のバージョンを改良し、トークンエコノミーモデルを実装する予定です。
Taiko はメインネットのローンチ時期については明らかにしなかったが、2023 年後半か来年になる可能性が高いと述べた。
太閤の信仰
Taiko は、この分野の他の zkEVM とは技術設計が大きく異なりますが、その追求についても議論する価値があります。
**Taiko は、アクセス可能、包括的、オープン、パーミッションレス、分散化を目指していると主張しています。 ** 実際、完全に分散化された提案者と証明者のセットを使用して稼働できることを望んでいます。これは、他の zkEVM とは異なります。ほとんどの zkEVM は集中化から始めて、徐々に分散化することを選択します。
**Taiko は、完全に分散化され、イーサリアムと同じ目標を追求することが、イーサリアムと同等になるために必須であると信じています。さらに、チームは将来的に DAO を立ち上げる予定です。 ** 共同創設者の王氏は、Taiko は非営利団体として運営したいとも述べました。
Taiko の価値観について読むと、非常に前衛的で、ほとんど革命的だと感じずにはいられません。これを聞くと、zkSync のミッション ステートメントを思い出します。 Taiko がその約束を果たし、イーサリアムメインネットに上陸する最初の完全分散型タイプ 1 zkEVM になることを願っています。
＃＃＃ 結論
タイプ 1 zkEVM には長所と短所があります。しかし、その欠点が、それが提供する利点に比べて無視できるものであればどうなるでしょうか?一見最高水準に見えるイーサリアム同等物が、ゼロ知識証明生成を加速する既存の方法や潜在的な方法と組み合わされて、タイプ 1 zkEVM が本当に長期的な勝者になったらどうなるでしょうか?まだ不明な点が多くありますが、少なくとも Vitalik は Type-1 のような zkEVM が正しい選択であることを示唆しているようです。
Taikoに関しては、適切なタイミングで適切な場所を見つけたと思います。 2023 年は Build にとって特別な年になるようです。 Taiko が目標を達成し、今年か来年初めにメインネットを立ち上げれば、次の導入サイクルで大きな勝者の 1 つとなる可能性があります。
Taiko は明らかに単独で、並外れた偉業を達成しようとしています。それが成功するかどうかは別の問題ですが、ワン氏と彼のチームがループリングで達成した成果から判断すると、可能性は味方にあるようです。 Taikoが勝てばイーサリアムも勝者になります。