Cardano IBC クライアントが Mithril によるステーク検証を追加

Cardano Foundation は10月16日に、実験的な Cardano IBC ライトクライアントコアのバージョン v0.1.6 をリリースした。今後の新規クライアントはすべて Mithril によって認証されたステーク分布を起点とし、クロスチェーンのメッセージやトークン転送のためのインフラに真正性のあるステークデータを取り込む。

Mithril が Cardano のステーク分布を認証

ステーク分布は、各ステークプールにどれだけの ADA が委任されているかを記録する。IBC クライアントは Cardano のブロックを検証し、Cardano の IBC 状態を受け入れる条件が満たされているかを評価する際にその情報を利用する。

Mithril は、参加するステークプールオペレーターの署名を通じて Cardano のデータを認証する。この実装では、その証明書は特定のエポックに対応するステーク分布を認証する。エポックは Cardano のプロトコルで定義された期間を指す。

クライアントのドキュメントによると、ステーク量はエポックデータにおける未署名の残存要素だった。このため、ネットワーク間で情報を運ぶサービスであるリレイヤーが提供する分布には6時間のチャレンジ期間が設けられていた。

現在は、認証済みの分布がアップロードされたテーブルより優先される。もし Mithril の証明書が以前に受け入れられたステークデータと矛盾した場合、クライアントは凍結する。また、このリリースでは署名検証を Mithril のリファレンス実装に合わせ、より厳格な証明チェックを導入した。

この変更が Cardano IBC の転送に与える影響

IBC は Inter-Blockchain Communication の略で、ブロックチェーン間でメッセージやトークンをやり取りするためのプロトコルである。Cardano IBC Incubator は、代替可能トークンの転送を支えるコンポーネントを含む Cardano の実装を開発している。

ライトクライアントは受信側チェーン上で動作し、IBC メッセージが受理される前に相手ネットワークからの情報を検証する。Cardano の場合、ブロックの追跡、プロデューサーの検証、後続のブロック生成を通じた十分な証拠の収集が含まれる。

一致する Mithril 証明書があれば、ステーク検証の待ち時間は不要になる。その認証がない後続のエポックは引き続きチャレンジ手続きの対象となる。

他の受け入れ要件は引き続き適用される。現在のモデルでは、観測対象ブロックの後に構築された少なくとも24ブロック、要件を満たすプールが少なくとも5つ、そして指定されたステーク閾値が必要だ。したがって、最小ブロック数に到達しただけでは受け入れは保証されない。

個々の転送時間は依然としてブロックの確定、クライアントの更新、IBC メッセージ処理に左右される。

Cardano IBC のデプロイは依然として実験段階

リポジトリでは引き続き、本プロジェクトを本番ブリッジとしては不完全でテストが不十分な実験的ソフトウェアと説明している。開発者は test ADA を含むトークン転送を試験できる一方で、実装のセキュリティは設定されたデータソースや受け入れパラメータにも依存する。

参加する Cosmos チェーンは Cardano クライアントを統合し、その利用を明示的に許可する必要がある。新しいコアは、サポートされている ibc-go の2つのバージョン向けアダプターとともにリリースされた。

以前のインラインストレージ形式を使用する既存のクライアントは、ホストチェーンが新しいモジュールにアップグレードする前に再作成しなければならない。

オペレーターはクライアントを作成する際、初期の信頼済み Mithril 構成を設定する。インポートされたステーク分布が検証済みの証明書と一致した後にのみ初期化が完了し、これにより、真正性のあるステークデータがその後のクロスチェーン検証に向けたクライアントの必須の出発点となる。