マルチプル・プルーフ・ルートとは？イーサネットの終盤戦との関係は？

Author: LINDABELL Source: chainfeeds

5月23日、Taikoはエアドロップのクエリページの第一弾を公開したが、公正さについてコミュニティで議論が巻き起こった。

5月23日、Taikoはエアドロップのクエリページの第一弾を発表した。

一方、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の創設者であるダニエル・ワンは、分散化を犠牲にすることなくイーサをスケールさせたいと考えていました。Taikoの創設者であるDaniel Wang氏は、分散性を犠牲にすることなくEtherを拡張し、中央集権型と分散型の2層ネットワークの共存を可能にし、dAppが2つの選択肢の間で意思決定できるようにしたいと考えています。

• コンテスタブル・ロールアップは、zkRollupとオプティミスティック・ロールアップを抽象化したものです。

• SGX証明の開発中、Taikoチームはステートレスクライアントの重要性に気づくようになり、将来zkVMでゼロ知識証明を生成するためにステートレスクライアントを実行することは良いアイデアであると確信しています。そして、将来的にゼロ知識証明を生成するためにzkVMでステートレスクライアントを実行することの実現可能性を確信しています。

• Taikoは現在メインネット上で稼働しており、ライセンス無しでブロックが提出され証明されていますが、コントラクトにはまだ所有者がおり、Taikoチームはメインネット上で稼働してから約1年後にコントラクトの所有権をTaiko DAOに移し、ネットワークの所有権とコントロールを完全に放棄する予定です。

Taikoの起源：分散化を犠牲にすることなくイーサを拡大する

Taikoの創設者であるダニエル・ワンは、最初のイーサリアムベースを作成しました。Taikoの創設者であるDaniel Wangは、2017年にZKRollupをベースとしたイーサエコシステム用の最初のDEXプロトコルであるLoopringを作りましたが、Loopringのアーキテクチャは、分散化を犠牲にすることなくイーサをスケールさせ、中央集権型と分散型の2層ネットワークの共存を可能にし、分散型アプリが何をどうすべきかについてよりスマートな意思決定を行えるようにするというDanielのビジョンには全くマッチしませんでした。2つの選択肢の間で意思決定を行うことができる。しかし、Loopringは非プログラマブルな2層ネットワークとしてのみ構築可能で、仮想マシン構造を持たず、コストを抑えるために中央集権的なブロックアウトメカニズムを持っている。

ダニエル・ワンはTaikoを設立する前、志を同じくする開発者たちと、分散型ソーシャルネットワークか、分散型ソーシャルネットワークに必要なインフラである「パーミッションレス・レイヤー2ネットワーク」の2つの方向性に焦点を当てて、何度も議論を重ねた。熟考の末、分散型ソーシャル・ネットワークの領域に関与することはリスクの高いベンチャーであり、パーミッションレスの第2層ネットワークがより大きな競争上の差別化を提供することが一般的に合意され、Taikoが誕生しました。

Taikoはイーサと全く同じオペコードと機能を提供するType-1のzkEVMであり、既存のイーサ・エコシステムとの高い互換性を保証しています。Taikoチームは、Taikoは元々Based Rollup構造として設計されており、EtherバリデーターがTaikoのブロックに最終的な責任を持つことで、提案者の分散化を可能にしていると強調しています。現在までに、Taikoは30,000人以上の分散型提案者と14,000人の分散型検証者を抱えている。今年3月、タイコーはライトスピード・ファクション、ハッシュド、ジェネレイティブ・ベンチャーズ、トークン・ベイ・キャピタルが主導する1500万ドルのシリーズAラウンドを完了し、資金調達総額は3700万ドルに達した。VCの好意に対し、タイコーのチームは、投資機関とタイコーの戦略的相乗効果を高く評価していると述べた。Type-1と完全な分散型アーキテクチャの利点に加えて、投資家の支援は、Taikoが短期間で世界最大のDiscordコミュニティ（107万人以上のメンバー）のひとつとなり、何百ものdAppデプロイメントを引き寄せるのに役立っている。

イーサ・ロールアップ・デザイン・フレームワークの探求：BCRとBBR

Taikoと他のロールアップの主な違いの1つは、Taikoが中央集中型のシーケンサーに頼らないベースド・ロールアップ・メカニズムを選択したことです。中央集権的なシーケンサーに頼らず、代わりにイーサ・バリデーターに頼ってトランザクションとブロックをソートします。これをさらに一歩進め、Taikoの共同設立者であるDaniel Wang氏は2023年末に「Based Contestable Rollup (BCR)」というコンセプトを導入した。このコンセプトは、ZK-EVMコードが永久にエラーフリーであることは不可能であり、Taikoは分散型でフォールトトレランスが低いため、慎重なアプローチが必要であるという事実から、Contestableメカニズムを導入しています。

Taikoチームはまた、コンテスト可能な設計を選択するための主な考慮事項を説明しました。

• 第一に、Based Rollupはライセンスを必要としません。第一に、Based Rollupはライセンスを必要とせず、ソフトウェアの潜在的なバグに対処するために「より高いレベルの証明」を導入しなければならない。これにより、データエラー訂正のために集中管理されたネットワークをシャットダウンする必要がなくなる。もちろん、このエラー修正メカニズムは、太鼓ネットワークが長く稼動するにつれて削除することができる。

• 第二に、SGX証明はゼロ知識証明よりも何千倍も安価ですが、最も望ましい、または分散化された検証方法ではありません。テスト可能な設計により、SGX証明に疑問がある場合に、上位レベルの証明を使用してブロックを再検証するチャレンジが可能になり、コストが削減されます。ブロックを検証することで、コストを削減しながら検証の信頼性を高めることができます。

• 最後に、Contestable Rollupは柔軟で拡張可能であり、zkRollupとOptimistic Rollupを抽象化したものと見なすことができます。例えば、将来的にゼロ知識証明が安価になれば、アプリケーションのニーズに応じて、Contestable Rollupを純粋なzkRollupとして、あるいは純粋なOptimistic Rollupとして構成し、異なる検証要件に適応させることができる。

Based Contestable Rollupのアーキテクチャは、Daniel Wangの記事「BCR is a Rollup with Contested properties and Based ordering」でも詳しく概説されています。この設計では、誰でもブロックの状態遷移に異議を唱えることができますが、ブロックを検証するためには、Taikoトークンで紛争保証金を支払い、紛争を解決するためにより高いレベルの証明を要求しなければなりません。論争者が勝利した場合、論争証拠金は回収され、元の証明者の有効性証拠金の1/4が支払われ、新しい証明者は証明手数料として元の証明者の有効性証拠金の1/4を受け取り、残りの1/2は没収される。その逆も同様である。このメカニズムでは、最初の数年間は複数の署名者が証明階層の最上位層として機能することに注意することが重要である。最高レベルの証明として、この場合、状態遷移は最終的なものとみなされ、それ以上の異議申し立ては認められない。

さらに、TaikoのBCRアーキテクチャの中核的な特徴の1つは、各レベルが独自の証明システムを使用できることです。Taikoチームによると、Contestable Rollupベースのアーキテクチャの下では、最低コストのOptimistic証明に続いてSGX証明、SGX証明に続いてSGX証明、SGX証明に続いてSGX証明、SGX証明に続いてSGX証明、SGX証明に続いてSGX証明といったように、さまざまなレベルの証明を構築することができます。次にSGX証明、zkEVM証明またはzkVM証明が続く。これらの異なるタイプの証明は、Contestableの概念を体現しており、ハイブリッド・マルチ証明システムを作るために組み合わせることができます。例えば、「SGX+zkVM」は、zkVM証明だけを使用するよりも信頼できる証明と見なすことができます。

最初の大きなマイルストーンとして、Taikoはメインネットワークで展開する前に、Alpha-6のテストネットワークであるKatlaでBCRを実際にテストすることを計画しています。その後、タイコーは2つ目の大きなマイルストーンとして、プロトコルをBBR（Boosted Based Rollup）にアップグレードするか、スタンドアロンのBBRレイヤー2を展開する予定である。L1ベリファイアがネットワーク全体に対して新しいブロックを提案できるようにすることで、Etherはすぐに拡張できるようになる。開発者にとっては、BBRはトランザクションの実行とストレージのシャーディングを可能にする。そしてユーザーにとっては、dAppsがすべてのL2に分散されるため、ユーザー体験が向上する。

Narrative Escalation: Moving to ZKVM?

zkEVMを知らない人はいませんが、EVMはゼロ知識回路で動作するようには設計されていないため、実際にはzkEVMを実装するには、多くの場合、いくつかのトレードオフが必要になります。zkEVMとは異なり、zkVMはゼロ知識証明システム回路用の仮想マシンとして実装されています。その利点には、暗号やZKPシステムを学ぶ必要がない使いやすさ、チューリング完全なZK-VMを任意の計算の証明計算として使用できる一般性、VM全体を記述するには単純な制約のセットで十分である単純さ、証明検証がVM上で実行される単なる別の手続きであるため再帰を活用できることなどがあります。

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

太古はイーサネット財団のPSE zkEVMの開発に関わった最初のチームの1つであり、KeccakやMoleculeなどの主要な回路に貢献し、コードを最適化しました。しかし、その過程で、この開発モデルの限界にも気づきました。たとえば、コードがすべて基礎となるコードであるため、テストや検証が難しいことです。また、初心者には向かない。SGX証明の開発を模索し続けるうちに、チームはステートレス・クライアントの重要性に気づき始め、Risc0チームによる進展により、将来的にzkVMでステートレス・クライアントを実行してゼロ知識証明を作成することの実現可能性を確信するようになりました。Taikoは現在Risc0と協力しており、SP1や他のzkVMチームと協力して、各zkVMと完全に結合するように設計されたTaikoのセカンドレイヤーを維持しながら、Contestable Rollupを通じてこれらの異なる証明システムをまとめる予定です。

さらに、Taikoは27日にメインのイーサネット上でライブを開始し、すでにイーサネット全体の約15%のブロックを処理して公開しています。チームは、Stage1メインネットモードではブロックはライセンスなしで提出・証明されるが、契約には所有者がいることを強調した。Taikoチームは、メインネットが稼動してから約1年後にコントラクトの所有権をTaiko DAOに譲り渡し、ネットワークの所有権と管理権を完全に放棄する予定であり、Taikoチームは、将来的にエコプロジェクトとコミュニティにさらなる驚きをもたらすことを期待して、事前確認、MEV、TaikoのBBRソリューションの研究開発にさらなるリソースを投資することを示唆しています。

エアドロップ騒動：大迫はまだ地域の信頼を回復できるのか？

Taikoは5月23日にTKOトークンエコノミクスを発表し、初期トークン供給の5％をGenesisのエアドロップに使用すると発表しました。公式FAQによると、30万アドレスが5,000万以上のトークンを要求する資格がある。このイニシアチブはコミュニティへの還元を意図しているが、エアドロップが公平かどうかについての論争を巻き起こした。一部のコミュニティ・メンバーは、予想よりも少ないエアドロップしか受け取れなかったと報告しており、一部のユーザーは、タスクに参加したがエアドロップを受け取れなかったと述べている。

Taikoの共同設立者であるDaniel Wang氏もまた、コミュニティの不満に応え、Taikoの目標は公平であることだが、すべての人を満足させることはできないと述べ、TKOを得られなかった人々に謝罪した。しかし、コミュニティは彼の発言に納得していないようで、ダニエル・ワンはDiscordのコミュニティで「TKOを取れなかった場合、それは他の人がより多くのポイントを持っているからだ」と再び反論した。エアドロップのルールに透明性がないことについては、透明性があっても相違は解消されないし、『フェア』の定義は極めて主観的だからだ。この発言により、泰光は再び世論の中心に立たされ、一部のコミュニティ・メンバーは泰光のボイコットを呼びかけているが、コミュニティがエアドロップに疑問を呈することは、ここ最近エアドロップをリリースしたすべてのプロジェクトに起こったことであり、今に始まったことではない。特に、エアドロップが多数のプロチームを巻き込む産業になると、エコシステムの一部となり、コミュニティの意見がこれらのチームに影響されることもある。今後、タイコーはさらに2回のエアドロップを計画している。