Leios テストネットが Cardano のスケーリングを研究段階から実地検証へと前進させる

Input Output で Leios を担当するプロダクトマネージャーの Carlos Lopez De Lara が、Cardano の次の主要なスケーリング路線を説明するために Block//45 の初回放送に登場した。

インタビューでは、Leios がどのように Cardano に新たなブロック構造を加えるのか、なぜ Musashi Dojo テストネットを準備しているのか、将来のメインネット判断の前に SPO と dApp 開発者が何を検証することになるのかに焦点が当てられた。

インタビューには Carlos Lopez De Lara（@carloslodelar）が出演し、司会は Lily Brodi（@lilybrodi）と Cardano With Paul の Paul（@CardanoWithPaul）が務めた。

Leios は Cardano の Praos モデルにエンドーサーブロックを追加する

Lopez De Lara は、Leios を、Ouroboros Praos のブロック間の時間を利用してエンドーサーブロックと呼ばれる追加のブロック種別を生成する、Cardano のスケーリングソリューションだと説明した。Praos は引き続き基盤のプロトコルかつセキュリティレイヤーであり、Leios はネットワーク需要に応じてスループットを追加するために設計されたオーバレイプロトコルとして機能する。

説明されたモデルでは、スロットリーダーに選出された SPO は、エンドーサーブロックを作成することを宣言できる。標準の Praos ブロックとエンドーサーブロックは、その後ネットワーク上を並行して伝播する。エンドーサーブロックが検証されると、次の Praos ブロックに、その検証に投票した SPO からの投票を含む証明書が組み込まれる。

エンドーサーブロックの目的は、通常の Praos ブロックよりも多くのトランザクションデータを運ぶことにある。Lopez De Lara は、Cardano は現在毎秒約4.5トランザクションキロバイトを処理しており、Leios により毎秒200トランザクションキロバイトまでスケールできると述べた。また、初期設定は上限から開始することは想定していないとも述べ、大幅な即時増加は SPO に不要なコストを生むためだとした。

その代わりに、初期の目標は現在のスループットの約2倍から5倍程度で開始し、後のスケーリングに備えて基盤となる仕組みを整える構想だという。このアプローチにより、Leios は最大容量への即時の跳躍ではなく、段階的なスループット拡張として位置付けられる。

Lopez De Lara はまた、Leios を Cardano の長期的な経済モデルとも結び付けた。月間2,700万トランザクションという目標を含むネットワークの2030年ビジョンは、現在のプロトコルだけでは到達できないと述べた。さらに、準備金が減少するにつれて取引手数料の重要性が増すため、高いスループットは長期的な SPO の収益性とネットワークの持続可能性にとって重要になるとも指摘した。

Musashi Dojo は五つの段階で Leios を検証する

インタビューでは、六月末に開始予定の Leios テストネットである Musashi Dojo も紹介された。Lopez De Lara は、これは元の IO Research の成果、Cardano Improvement Proposal のプロセス、形式仕様、そして将来のメインネット実装の間に位置する中間的なマイルストーンだと説明した。

Leios の取り組みは、最初の研究論文から最適化されたプロトコル提案へ、さらに形式仕様へと進み、現在はプロトタイプ実装に至っているという。Musashi Dojo は、そのプロトタイプをラボ環境から実環境へ移すことを目的としており、地域、ハードウェア構成、ネットワーク環境の異なる SPO が運用する分散インフラを活用する。

テストネット名は、二刀の戦略で知られる日本の侍、宮本武蔵に由来する。Lopez De Lara はこの比喩を用いて Leios の設計を説明した。Praos は小さなブロックでありネットワークの鼓動として残り、Leios のエンドーサーブロックは、さまざまなスループット条件で用いられる大きなブロックとして機能する。

Musashi Dojo の構成は『五輪書』の五つの章に従う。地の段階では、基本的なプロトコル設計の妥当性検証に焦点を当てる。水の段階では、プロトコルパラメータと、異なる設定下でシステムがどう振る舞うかを探る。火の段階では、異なるオペレーティングシステム、ソフトウェアバージョン、アーキテクチャ、ハードウェア、物理的なネットワーク制約など、実世界のインフラ条件を導入する。

風の段階は、敵対的テストを行う計画だ。Lopez De Lara は、Leios を過酷な条件下に置き、困難または敵対的なシナリオに直面した際にプロトコルがどう振る舞うかを検証すると述べた。最終段階である空では、メインネット準備前の最終検証を行い、ノードへのタグ付け、リリース準備、そして証拠がそれを支持する場合にはハードフォーク開始プロセスに着手することが含まれる。

SPO と dApp 開発者にはメインネット前の訓練が求められる

Lopez De Lara は、Musashi Dojo を、本番品質のコードを検討する前に、プロトタイプ実装が失敗やフィードバック、改善を生み出せる訓練の場だと表現した。コミュニティの参加は、テストネット結果の質と、将来のメインネット段階に進む前に得られる確信の度合いに影響すると述べた。

SPO にとっては、運用の設定は現在の Cardano ノードのモデルに近いままになるはずだという。主な追加要件は、エンドーサーブロックの検証と投票に用いる新しい BLS 鍵のセットだ。これらの使用方法と登録プロセスは、既存の VRF 鍵モデルに近いと述べた。

Leios のウェブサイトは、参加者の主なエントリーポイントとして機能する想定だ。Lopez De Lara によれば、そこでは Leios ノードを稼働させるための情報に加え、チュートリアル、test ada のファウセット、テスト用デリゲーションのファウセットが提供される。経験豊富な SPO にとって、このテストネットは運用フローに一つの新しいプロトコル機能が加わった、馴染みのある Cardano のテスト環境として提示される。

彼は dApp 開発者にもメッセージを送った。Lopez De Lara によれば、アプリケーションチームは、Leios の下で自分たちのプロトコルがどう振る舞うかを検証するのに、メインネットを待つべきではない。開発者は Musashi Dojo にデプロイし、異なるスループット条件下でのユーザー体験を検証し、将来のメインネットアップグレードに先立ってアプリケーションを適応させることができる。

インタビューでは、リリース候補の作業に並行して進む高信頼トラックについても取り上げられた。Lopez De Lara は、ソフトウェア実装が一つのトラックであり、もう一つのトラックはメインネット判断に必要な証拠に焦点を当てると述べた。そこにはプロトコル設計のテスト、パラメータテスト、敵対的シナリオ、脅威モデルの検証が含まれる。

これらの結果は、将来のハードフォークに関する投票を審査する際に、SPO、DReps、Constitutional Committee のメンバーによって利用されることになる。Lopez De Lara は、チームは2026年末までのプロダクション準備完了を目指しており、開発、テスト、コミュニティ参加が所要のペースで続けば、11月が準備完了の可能な時期、12月がハードフォークの可能なウインドウとして言及されたと述べた。Musashi Dojo により、ガバナンス参加者の審議にプロトコルが付されてメインネットの判断が行われる前に、Cardano のオペレーターやアプリケーションチームが Leios を検証できる明確な環境が提供されることになった。