複雑なzkEVMコードに埋め込まれた潜在的なバグに対処する単一証明ソリューションの限界を認識し、Vitalik ButerinはMulti-proofsを提案し、それをEthereumの長期的な開発の重要な方向性と位置付けました。 Taikoは、その中で際立っており、Multi-proofsフレームワークに基づいて構築された少数のLayer2プロジェクトの1つです。 5月27日にEthereumのメインネットで開始されたTaikoは、暗号通貨市場内で注目を集め、最近数週間で主要取引所がそのトークンを上場させたことで話題となっています。では、Taikoは他のLayer2とどのように異なるのでしょうか? Taikoの背後にある技術の利点と革新は何でしょうか?
Taikoは、Ethereumと同じオペコードと機能を提供するType-1 zkEVMであり、既存のEthereumエコシステムとの高い互換性を確保しています。Taikoと他のロールアップとの主な違いの1つは、Ethereumの検証者によるトランザクションとブロックの順序付けを中央集権的なシーケンサーではなく、Based Rollupメカニズムに依存している点です。
2023年末、Taikoの共同創設者であるDaniel Wangは、「Based Contestable Rollup (BCR)」というコンセプトを導入しました。このコンセプトには、争われるメカニズムが組み込まれています。Taikoチームがこの設計を選択した主な理由は3つあります。
まず、ベースロールアップは許可されていますが、ソフトウェアの潜在的なバグを解消するために「高レベルの証明」が必要です。これにより、データ修正のために中央集権的なネットワークをシャットダウンする必要がなくなります。Taikoネットワークが成熟するにつれて、このエラー訂正メカニズムは段階的に段階的に廃止される可能性があります。
第二に、SGXプルーフはゼロ知識プルーフと比較して千倍も安価ですが、それが最も理想的または分散化された検証方法とは限りません。争われる設計により、疑念が生じた場合にSGXプルーフに対する挑戦が可能となり、ブロックの再検証によりコストを削減しつつ検証の信頼性を向上させることが求められます。
最後に、コンテスタブルロールアップは柔軟でスケーラブルであり、zkRollupやOptimistic Rollupの抽象化と見なすことができます。たとえば、将来的にゼロ知識証明が安くなった場合、コンテスタブルロールアップは異なる検証要件に適応し、純粋なzkRollupまたは純粋なOptimistic Rollupとして構成することができます。
今年3月、Taikoは1,500万ドルのシリーズAラウンドの資金調達を完了しました。Taikoに投資するVCには、Sequoia China、Generative Ventures、Hashed、Lightspeed Faction、Token Bay Capital、Flow Tradersなどが含まれています。では、なぜ多くのVCがTaikoに楽観的なのでしょうか?
以前、Vitalik は、最終的に Ethereum が zkEVM に移行すると信じていました。しかし、zkEVM のシングルプルーフソリューションでは、その複雑なコードに埋め込まれたバグを解決することができません。Vitalik は、複数の種類のプルーフを生成する Multi-proofs を重要視しており、1 種類のプルーフが失敗した場合でも、他のプルーフがシステムの正常な動作を保証し、誤った状態遷移を迅速に検出できると考えています。基本的に、Taiko は Multi-proofs の応用であり、その BCR フレームワークの中核コンセプトは Multi-proofs を含んでいます。具体的には、Taiko は Multi-Prover、Layer 2 Rollup、Taiko Protocol の 3 つの主要モジュールに分かれています。
● Multi-Prover: 様々なzkVMおよびSGX統合プルーフシステムを利用して、Rustベースのイーサリアム仮想マシンを直接コンパイルおよび実行し、ゼロ知識またはTEEプルーフを生成して、イーサリアムブロックの実行の正確性と完全性を検証します。
● レイヤー2ロールアップノード:Ethereumレイヤー1とのやり取りをしながら、レイヤー2で取引を管理および実行する責任があります。レイヤー2ロールアップ技術を通じて、TaikoはEthereumの取引スループットを増やし、取引コストを削減し、分散化とセキュリティを維持することができます。
● Taiko Protocol: レイヤー2のロールアップのルールを定義し、トランザクションの正確性とネットワークのセキュリティを確保する。スマートコントラクトと分散型検証を通じて、太鼓プロトコルはイーサリアムの効率的なスケーリングを実現し、その分散化とセキュリティの特性を維持します。
全体的に、Taiko Protocolの主要な革新は、Multi-proofs(multi-prover interactive proofs)に基づいたBCRフレームワーク(Based Contestable Rollup)であり、BCRフレームワークの中心は「競争」です。誰もが提案者となり、ブロック提案を提出でき、状態遷移結果に異議を唱える検証者はセキュリティレベルのチャレンジ証明を提出してL2ブロックの状態を変更し、正しいフォークと間違ったフォークの間で選択できます。提案者はユーザー取引をパッケージ化し、ゼロ知識証明を生成する必要があり、複数の提案者がブロックを提出するために競争し、検証者は提案者が提出したブロックとゼロ知識証明を検証する責任があり、複数の検証者がブロックを検証するために競争します。このプロセスにより、各ブロックの生成と提出の分散化が確保されるだけでなく、ネットワークセキュリティがさらに強化されます。
2022年の開発開始以来、Taikoは独立したウォレットが110万以上、分散型の提案者が3万人以上、そしてテストネットフェーズでは1万4000人以上の分散型の検証者を持っています。5月27日、Taikoはメインネットで正式に開始しました。Taikoの公式ウェブサイトによると、現在、ウォレット、NFTマーケット、オラクル、DeFi、AIアプリケーションを含むTaikoエコシステムには100以上のプロジェクトがあります。最近、Pyth、Etherscan、Pancakeswap、Layer Zeroなどの高品質なプロジェクトが集まり、Taikoエコシステムは急速な発展を遂げています。
市場は、太鼓のメインネットのローンチに対して前向きな見方をしています。ビタリック・ブテリンは、彼の記事「Layer 2s as Cultural Extensions of Ethereum」で、太鼓に言及し、「各Ethereum L2には独自の魂があります。太鼓は『シームレスなユーザーエクスペリエンス』、『コミュニティベース』、『セキュリティファースト』、そして『ベース』を強調しています。太鼓がベースロールアッププラットフォームとしてローンチされているのを見て喜んでいます。Ethereumは、L2がさまざまなアプローチを採用することで恩恵を受けており、太鼓がこの方向で最初の開発者の1人であることを評価しています。
世界的に有名なVC Hashedは、“イーサリアムのスケーラビリティが無限で、取引速度が高速であり、ユーザーのプライバシーが侵害されない世界を想像してみてください。これは遠い夢ではなく、Taikoのおかげで急速に現実のものになっています。
上記から、Taikoには多くの技術的な利点があり、多くの著名な人物に高く評価されていることが明らかです。ただし、Taikoの立ち上げ時間は比較的短く、まだ市場の検証が必要です。さらに、Taikoがトークン経済を発表した後、コミュニティからは透明性に関する懸念が表明されました。Taikoの共同創設者兼CEOであるDaniel Wangは、透明性は皆が「公平さ」に強い主観的な定義を持っており、これを統一することも、合意に達することも試みることもできないため、意見の相違を解決しないとDiscordで述べています。
長期的な開発において、zkEVMエコシステムはゆっくりと進んでいますが、アービトラムやオプティミズムなどのOpベースのLayer2が既にエコシステムの開発で大きなリードを築いています。オプティミズムはオープンソースのOpスタックを通じて強力なエコシステムの堀を作り、アービトラムはL3の権限を通じてそれを実現しています。これは、ソラナのような技術的に先進的な公開チェーンがイーサリアムと比較されるかもしれませんが、イーサリアムの開発はまだソラナよりも優れています。現在、開発の観点では、zkベースのエコシステムはOpベースのエコシステムに遅れを取っています。zkベースの技術には利点がありますが、Opベースのエコシステムも継続的に努力し、さらなる技術革新を実現する可能性さえあります。
複雑なzkEVMコードに埋め込まれた潜在的なバグに対処する単一証明ソリューションの限界を認識し、Vitalik ButerinはMulti-proofsを提案し、それをEthereumの長期的な開発の重要な方向性と位置付けました。 Taikoは、その中で際立っており、Multi-proofsフレームワークに基づいて構築された少数のLayer2プロジェクトの1つです。 5月27日にEthereumのメインネットで開始されたTaikoは、暗号通貨市場内で注目を集め、最近数週間で主要取引所がそのトークンを上場させたことで話題となっています。では、Taikoは他のLayer2とどのように異なるのでしょうか? Taikoの背後にある技術の利点と革新は何でしょうか?
Taikoは、Ethereumと同じオペコードと機能を提供するType-1 zkEVMであり、既存のEthereumエコシステムとの高い互換性を確保しています。Taikoと他のロールアップとの主な違いの1つは、Ethereumの検証者によるトランザクションとブロックの順序付けを中央集権的なシーケンサーではなく、Based Rollupメカニズムに依存している点です。
2023年末、Taikoの共同創設者であるDaniel Wangは、「Based Contestable Rollup (BCR)」というコンセプトを導入しました。このコンセプトには、争われるメカニズムが組み込まれています。Taikoチームがこの設計を選択した主な理由は3つあります。
まず、ベースロールアップは許可されていますが、ソフトウェアの潜在的なバグを解消するために「高レベルの証明」が必要です。これにより、データ修正のために中央集権的なネットワークをシャットダウンする必要がなくなります。Taikoネットワークが成熟するにつれて、このエラー訂正メカニズムは段階的に段階的に廃止される可能性があります。
第二に、SGXプルーフはゼロ知識プルーフと比較して千倍も安価ですが、それが最も理想的または分散化された検証方法とは限りません。争われる設計により、疑念が生じた場合にSGXプルーフに対する挑戦が可能となり、ブロックの再検証によりコストを削減しつつ検証の信頼性を向上させることが求められます。
最後に、コンテスタブルロールアップは柔軟でスケーラブルであり、zkRollupやOptimistic Rollupの抽象化と見なすことができます。たとえば、将来的にゼロ知識証明が安くなった場合、コンテスタブルロールアップは異なる検証要件に適応し、純粋なzkRollupまたは純粋なOptimistic Rollupとして構成することができます。
今年3月、Taikoは1,500万ドルのシリーズAラウンドの資金調達を完了しました。Taikoに投資するVCには、Sequoia China、Generative Ventures、Hashed、Lightspeed Faction、Token Bay Capital、Flow Tradersなどが含まれています。では、なぜ多くのVCがTaikoに楽観的なのでしょうか?
以前、Vitalik は、最終的に Ethereum が zkEVM に移行すると信じていました。しかし、zkEVM のシングルプルーフソリューションでは、その複雑なコードに埋め込まれたバグを解決することができません。Vitalik は、複数の種類のプルーフを生成する Multi-proofs を重要視しており、1 種類のプルーフが失敗した場合でも、他のプルーフがシステムの正常な動作を保証し、誤った状態遷移を迅速に検出できると考えています。基本的に、Taiko は Multi-proofs の応用であり、その BCR フレームワークの中核コンセプトは Multi-proofs を含んでいます。具体的には、Taiko は Multi-Prover、Layer 2 Rollup、Taiko Protocol の 3 つの主要モジュールに分かれています。
● Multi-Prover: 様々なzkVMおよびSGX統合プルーフシステムを利用して、Rustベースのイーサリアム仮想マシンを直接コンパイルおよび実行し、ゼロ知識またはTEEプルーフを生成して、イーサリアムブロックの実行の正確性と完全性を検証します。
● レイヤー2ロールアップノード:Ethereumレイヤー1とのやり取りをしながら、レイヤー2で取引を管理および実行する責任があります。レイヤー2ロールアップ技術を通じて、TaikoはEthereumの取引スループットを増やし、取引コストを削減し、分散化とセキュリティを維持することができます。
● Taiko Protocol: レイヤー2のロールアップのルールを定義し、トランザクションの正確性とネットワークのセキュリティを確保する。スマートコントラクトと分散型検証を通じて、太鼓プロトコルはイーサリアムの効率的なスケーリングを実現し、その分散化とセキュリティの特性を維持します。
全体的に、Taiko Protocolの主要な革新は、Multi-proofs(multi-prover interactive proofs)に基づいたBCRフレームワーク(Based Contestable Rollup)であり、BCRフレームワークの中心は「競争」です。誰もが提案者となり、ブロック提案を提出でき、状態遷移結果に異議を唱える検証者はセキュリティレベルのチャレンジ証明を提出してL2ブロックの状態を変更し、正しいフォークと間違ったフォークの間で選択できます。提案者はユーザー取引をパッケージ化し、ゼロ知識証明を生成する必要があり、複数の提案者がブロックを提出するために競争し、検証者は提案者が提出したブロックとゼロ知識証明を検証する責任があり、複数の検証者がブロックを検証するために競争します。このプロセスにより、各ブロックの生成と提出の分散化が確保されるだけでなく、ネットワークセキュリティがさらに強化されます。
2022年の開発開始以来、Taikoは独立したウォレットが110万以上、分散型の提案者が3万人以上、そしてテストネットフェーズでは1万4000人以上の分散型の検証者を持っています。5月27日、Taikoはメインネットで正式に開始しました。Taikoの公式ウェブサイトによると、現在、ウォレット、NFTマーケット、オラクル、DeFi、AIアプリケーションを含むTaikoエコシステムには100以上のプロジェクトがあります。最近、Pyth、Etherscan、Pancakeswap、Layer Zeroなどの高品質なプロジェクトが集まり、Taikoエコシステムは急速な発展を遂げています。
市場は、太鼓のメインネットのローンチに対して前向きな見方をしています。ビタリック・ブテリンは、彼の記事「Layer 2s as Cultural Extensions of Ethereum」で、太鼓に言及し、「各Ethereum L2には独自の魂があります。太鼓は『シームレスなユーザーエクスペリエンス』、『コミュニティベース』、『セキュリティファースト』、そして『ベース』を強調しています。太鼓がベースロールアッププラットフォームとしてローンチされているのを見て喜んでいます。Ethereumは、L2がさまざまなアプローチを採用することで恩恵を受けており、太鼓がこの方向で最初の開発者の1人であることを評価しています。
世界的に有名なVC Hashedは、“イーサリアムのスケーラビリティが無限で、取引速度が高速であり、ユーザーのプライバシーが侵害されない世界を想像してみてください。これは遠い夢ではなく、Taikoのおかげで急速に現実のものになっています。
上記から、Taikoには多くの技術的な利点があり、多くの著名な人物に高く評価されていることが明らかです。ただし、Taikoの立ち上げ時間は比較的短く、まだ市場の検証が必要です。さらに、Taikoがトークン経済を発表した後、コミュニティからは透明性に関する懸念が表明されました。Taikoの共同創設者兼CEOであるDaniel Wangは、透明性は皆が「公平さ」に強い主観的な定義を持っており、これを統一することも、合意に達することも試みることもできないため、意見の相違を解決しないとDiscordで述べています。
長期的な開発において、zkEVMエコシステムはゆっくりと進んでいますが、アービトラムやオプティミズムなどのOpベースのLayer2が既にエコシステムの開発で大きなリードを築いています。オプティミズムはオープンソースのOpスタックを通じて強力なエコシステムの堀を作り、アービトラムはL3の権限を通じてそれを実現しています。これは、ソラナのような技術的に先進的な公開チェーンがイーサリアムと比較されるかもしれませんが、イーサリアムの開発はまだソラナよりも優れています。現在、開発の観点では、zkベースのエコシステムはOpベースのエコシステムに遅れを取っています。zkベースの技術には利点がありますが、Opベースのエコシステムも継続的に努力し、さらなる技術革新を実現する可能性さえあります。