対話 Taiko：マルチプル証明ルートとは何ですか？イーサリアムのエンドゲームとはどのように関連していますか？

著者：LINDABELL

5月23日、Taikoは初回エアドロップの確認ページを発表しましたが、コミュニティでは公平性についての議論が巻き起こりました。創設者のDaniel Wangの反応に対して、コミュニティはあまり納得していないようです。

同時に、5月25日、イーサリアムの共同創設者であるVitalik Buterinがブロック提案者としてTaikoメインネットで最初のブロックを提案し、そのブロックの附言で「TaikoがBased Rollupプラットフォームとして登場するのを見て嬉しい。イーサリアムはさまざまな方法を採用したL2から恩恵を受けており、Taikoがこの方向に進む最初のプロジェクトの一つであることを評価しています。」と述べました。

カンクンアップグレード後、イーサリアムエコシステムは再びL2分野に焦点を戻しました。他のRollupプロジェクトとは異なり、TaikoはBased Rollupに基づくソリューションを開発しており、Sequoia China、Generative Ventures、Hashed、Lightspeed Faction、Token Bay Capital、Flow Tradersなど多くのVCから支持を集めています。他の有名なZKスケーリングプロジェクトと比較して、Taikoにはどのような特別な点があるのでしょうか？そのスケーリングソリューションはL2エコシステムの構造にどのように影響を与えるのでしょうか？

これらの疑問を持って、ChainFeedsはTaikoチームと対話し、Taikoの起源、ビジョン、イーサリアムのスケーリングソリューションなどについて議論しました。

重要な抜粋：

• Taikoの創設者Daniel Wangは、非中央集権を犠牲にすることなくイーサリアムを拡張し、中央集権と非中央集権の二層ネットワークが共存する状況を実現し、dAppが二つの選択肢の間でより賢明な決定を下せるようにしたいと考えています。
• Contestable Rollupは、zkRollupとOptimistic Rollupの一種の抽象です。将来的に、ゼロ知識証明が十分に安価であれば、Contestableを純粋なzkRollupに構成することができます。
• SGX証明の開発過程で、Taikoチームは無状態クライアントの重要性を徐々に認識し、将来的にzkVMで無状態クライアントがゼロ知識証明を生成する可能性を信じています。
• Taikoはすでにメインネットを立ち上げており、ブロックの提出と証明は許可不要ですが、契約には所有者がいます。Taikoチームは、メインネットが立ち上がってから約1年後に契約の所有権をTaiko DAOに移転し、ネットワークの所有権と管理権を完全に放棄する計画です。

Taikoの起源：非中央集権を犠牲にせずにイーサリアムを拡張する

Taikoの創設者Daniel Wangは2017年に最初のZKRollupに基づくイーサリアムエコシステムDEXプロトコルLoopringを設立しました。しかし、LoopringのアーキテクチャはDanielのビジョンとは完全には一致しませんでした。Danielは、非中央集権を犠牲にすることなくイーサリアムを拡張し、中央集権と非中央集権の二層ネットワークが共存する状況を実現したいと考えていました。これにより、非中央集権アプリケーションが二つの選択肢の間でより賢明な決定を下せるようになります。しかし、Loopringはプログラム可能でない二層ネットワークとして構築され、仮想マシンの構造が欠如しており、コストを削減するためにブロック生成メカニズムも中央集権的でした。

Taikoを設立する前に、Daniel Wangは志を同じくする開発者たちと何度も議論を重ね、主に二つの方向に焦点を当てました：非中央集権的なソーシャルネットワークまたは非中央集権的なソーシャルネットワークに必要なインフラ「許可不要の二層ネットワーク」。熟考の末、皆は非中央集権的なソーシャルネットワーク分野に参入するリスクが高いと考え、許可不要の二層ネットワークにはより大きな差別化競争の余地があると判断し、Taikoが誕生しました。

TaikoはType-1 zkEVMで、イーサリアムと完全に同じオペコードと機能を提供し、既存のイーサリアムエコシステムとの高度な互換性を確保しています。Taikoチームは、最初からTaikoの設計はBased Rollupの構造であり、イーサリアムのバリデーターが最終的にTaikoのブロック生成を担当することを実現し、提案者の非中央集権を実現したと強調しています。現在、Taikoには30,000人以上の非中央集権的提案者と14,000人以上の非中央集権的バリデーターがいます。今年の3月、TaikoはLightspeed Faction、Hashed、Generative Ventures、Token Bay Capitalがリードした1500万ドルのAラウンド資金調達を完了し、総資金調達額は3700万ドルに達しました。VCの支持に対して、Taikoチームは投資機関とTaikoの戦略的協調性を非常に重視していると述べています。また、Taikoが短期間で世界最大のDiscordコミュニティの一つ（107万人以上のメンバー）となり、数百のdAppを展開することを引き寄せたのは、Type-1の特性と完全な非中央集権アーキテクチャの利点だけでなく、投資者の支援も大きな要因です。

イーサリアムRollup設計フレームワークの探求：BCRおよびBBR

Taikoと他のRollupの主な違いの一つは、Based Rollupメカニズムを選択し、中央集権的なオーダーラーに依存せず、イーサリアムのバリデーターに取引とブロックのオーダリングを依存している点です。さらに、Taikoの共同創設者Daniel Wangは2023年末に「Based Contestable Rollup（BCR）」の概念を提案しました。この概念は、ZK-EVMコードが永遠にエラーがないわけではないため、Contestable（争議）メカニズムを導入しました。また、Taikoは非中央集権的であり、耐障害率が低いため、慎重な態度が必要です。

Taikoチームは、Contestable設計を選択した主な考慮事項を以下のように説明しています：

• まず、Based Rollupは許可不要であり、ソフトウェア内の潜在的なバグを解決するために「より高いレベルの証明」を導入する必要があります。これにより、中央集権的なネットワークがデータの訂正のためにネットワークを停止する必要がなくなります。もちろん、Taikoネットワークの稼働時間が増えるにつれて、この訂正メカニズムは徐々に除去されることができます。
• 次に、SGX証明はゼロ知識証明に比べて千倍安価ですが、最も理想的または最も非中央集権的な検証方法ではありません。Contestable設計は、SGX証明に疑念が生じた場合に挑戦を提起し、より高いレベルの証明を使用してブロックを再検証することを要求することを可能にし、コストを削減しつつ検証の信頼性を高めます。
• 最後に、Contestable Rollupは柔軟性と拡張性を持ち、zkRollupとOptimistic Rollupの一種の抽象と見なすことができます。たとえば、将来的にゼロ知識証明がより安価になれば、Contestable Rollupを純粋なzkRollupに構成することができ、またはアプリケーションのニーズに応じて純粋なOptimistic Rollupに構成することができ、異なる検証ニーズに適応します。

Based Contestable Rollupのアーキテクチャについて、Daniel Wangは記事の中で詳細に概説しています。BCRは争議特性を持ち、Basedオーダリングを採用したRollupです。この設計では、誰でもブロック内の状態変換に対して争議を提起できますが、Taikoトークンを使用して争議保証金を支払う必要があり、争議を解決するためにはより高いレベルの証明が必要です。このブロックを検証するために。もし争議者が勝利すれば、争議保証金を取り戻し、元の証明者の有効性保証金の1/4を得ることができます。そして、新しい証明者も元の証明者の有効性保証金の1/4を証明料として受け取ります。残りの1/2は没収されます。逆もまた然り。このメカニズムでは、初期の数年間においてマルチシグネチャによって高レベルの証明層が共同で機能します。最高レベルの証明として、この場合、状態変換は最終的に確定されたものと見なされ、さらなる疑問は許可されません。

さらに、TaikoのBCRアーキテクチャには、各レベルが独自の証明システムを使用できるというコア機能があります。Taikoチームは、Contestable Rollupのアーキテクチャの下で、異なるレベルの証明が構築できると述べています。たとえば、最低コストのOptimistic証明、その後SGX証明、次にzkEVMまたはzkVM証明です。これらの異なる証明タイプはContestableの概念を体現しており、これらの証明を組み合わせてハイブリッド型の多証明システムを構築することも可能です。たとえば、「SGX+zkVM」は、単にzkVM証明を使用するよりも信頼性の高い証明と見なすことができます。

最初の重要なマイルストーンとして、TaikoはAlpha-6テストネットKatlaでBCRの実際の運用をテストし、その後メインネットで導入する計画です。その後、TaikoはプロトコルをBoosted Based Rollup（BBR）にアップグレードするか、独立したBBR二層を第二の重要なマイルストーンとして導入する計画です。Taikoは、イーサリアムのネイティブな拡張能力を実現するためには、Boosted Based Rollupが賢明な選択であると述べています。L1バリデーターがネットワーク全体の新しいブロックを提案できるようにすることで、イーサリアムは即座に拡張能力を得ることができます。開発者にとって、BBRは取引の実行とストレージをシャーディングすることができます。そして、ユーザーにとっては、ユーザー体験が向上し、dAppがすべてのL2に分散されることになります。

ナラティブのアップグレード：ZKVMへの移行？

皆さんはzkEVMに馴染みがあると思いますが、EVMはゼロ知識回路で実行するために設計されていないため、実際にはzkEVMを実装する際にいくつかのトレードオフを行う必要があります。zkEVMとは異なり、zkVMはゼロ知識証明システム回路として実装された仮想マシンです。その利点には以下が含まれます：暗号学やZKPシステムを学ぶ必要がなく、使いやすい；汎用性があり、チューリング完全なZK-VMは任意の計算の証明計算として機能できる；非常にシンプルで、一組のシンプルな制約でVM全体を記述できる；再帰を利用でき、証明検証はVM上で実行される別のプログラムに過ぎない。

TaikoはすでにzkEVMモデルからzkVMモデルへの転換を開始しています。zkVMモデルに移行することで、Taikoはクライアントを修正して実行し、ZK証明を生成できます。そして、堅牢性を確保するために、Taikoはマルチ証明システムを構築し、複数のzkVM（RISC Zero、SP1、Powdrなど）に貢献することで暗号的仮定を多様化し、SGXを使用してデータを漏らさずにプライバシーとセキュリティを強化しています。

Taikoチームは、Taikoがイーサリアム財団PSE zkEVM開発に最初に参加したチームの一つであり、Keccakやモルクなどの重要な回路のコードに貢献し、最適化を行ったと述べています。しかし、この過程でこの開発モデルの限界にも気づきました。たとえば、コードはすべて低レベルのコードであり、テストや検証が難しいことです。また、新人にとっては良くありません。SGX証明の開発過程での探求を続ける中で、チームは無状態クライアントの重要性を徐々に認識し、Risc0チームの進展の影響を受けて、将来的にzkVMで無状態クライアントがゼロ知識証明を生成する可能性を信じています。現在、TaikoはRisc0と協力しており、今後はSP1や他のzkVMチームとも協力し、Contestable Rollupを通じてこれらの異なる証明システムを統合し、Taikoの二層設計と各zkVMを十分に結合させる予定です。

さらに、Taikoは27日にイーサリアムメインネットを立ち上げ、現在イーサリアム全体の約15%のデータブロックを処理しています。チームは、Stage1メインネットモードではブロックの提出と証明は許可不要ですが、契約には所有者がいると強調しています。チームはメインネットが立ち上がってから約1年後に契約の所有権をTaiko DAOに移転し、ネットワークの所有権と管理権を完全に放棄する計画です。Taikoチームはまた、Preconfirmation、MEV、Taiko BBRソリューションの研究開発により多くのリソースを投入し、将来的にはエコシステムプロジェクトやコミュニティユーザーにさらなる驚きをもたらすことを望んでいます。

エアドロップの波紋：Taikoはコミュニティの信頼を取り戻せるか？

Taikoは5月23日にTKOトークンの経済学を発表し、初期トークン供給量の5%を創世エアドロップに使用することを発表しました。公式FAQによると、300,000のアドレスが5,000万枚以上のトークンを請求する資格があります。この措置はコミュニティへの還元を目的としていますが、「エアドロップは公平か？」という議論を引き起こしました。一部のコミュニティメンバーは、受け取ったエアドロップの数量が期待を下回ったと報告し、他のユーザーは関連するタスクに参加したがエアドロップを受け取れなかったと述べています。

コミュニティメンバーの不満に直面して、Taikoの共同創設者Daniel Wangも反応を示し、Taikoの目標は公平であるが、すべての人を満足させることはできず、TKOを受け取れなかったユーザーに謝罪しました。しかし、コミュニティは彼の発言に納得していないようで、その後Daniel WangはDiscordコミュニティで再度反応し、エアドロップを受け取れなかったのは他の人のスコアが多かったからだと述べました。エアドロップのルールが不透明であるのは、透明にしても意見の相違を解決できないからであり、「公平」の定義には強い主観性があると述べました。この発言は再びTaikoを世論の中心に押し上げ、さらにコミュニティメンバーの中にはTaikoのボイコットを呼びかける者もいました。しかし、エアドロップがコミュニティから疑問視されるのは新しいことではなく、最近エアドロップを発表したプロジェクトは皆このような状況に直面しています。特に、エアドロップの刷り込みが産業化し、多くの専門チームが参加するようになると、彼らもエコシステムの一部となり、コミュニティの世論もこれらのチームの影響を受ける可能性があります。今後、Taikoはさらに二回のエアドロップを計画しています。