Cardano、Injective向けIBCライトクライアント設計の詳細を公開

Cardano Foundationは、カストディ型のブリッジ運営者に依存せずに、CardanoのInjectiveとのIBC接続がクロスチェーン転送をどのように検証するかを詳述した。Developer Office Hoursのセッションで、Head of Ecosystem EngineeringのFabian Bormannが公開テスト環境をデモし、メインネット展開までに残る作業を概説した。

このセッションは、8月上旬にCardano PreprodとInjectiveのテストネット間で有効化されたダイレクトなIBCルートをさらに掘り下げた。

開発者はCardanoとInjective間の転送を再現できる

オープンソースのCardano IBC Incubatorリポジトリには、テスト用ルートを実行し検証するために必要なコンポーネントが含まれている。そのCaribicコマンドラインツールは、開発者が必要なサービスを起動し、その状態を確認し、IBCのクライアント、接続、転送チャネルを確立するのを支援する。

テスト用インターフェースは、VESPRのようなCardanoウォレットと、KeplrのようなCosmos互換ウォレットを接続する。これにより開発者は、Cardano PreprodからInjectiveのテストネットへテスト用ADAを移動し、戻しの転送も完了できる。

現在の実装は、代替可能トークン転送のためのIBC標準であるICS-20に対応している。ADAがInjectiveへ移動すると、元の資産はCardano上でロックされ、宛先ネットワークで対応するバウチャーが発行される。資産を戻すとそのバウチャーが焼却され、元のADAが解放される。

同じモデルにより、移転資産を中央集権的な運営者が保管することなく、テスト用$INJがCardanoに入ることができる。InjectiveはCardanoのライトクライアントを直接実装し、両エコシステム間に別個の中継チェーンを置く必要をなくした。

二つのライトクライアントがクロスチェーンメッセージを検証する

Bormannは、IBCを従来型のブリッジと区別して説明した。リレイヤーはネットワーク間でパケットを運ぶが、転送の妥当性を判断することはない。各受信チェーンは、自身のライトクライアントを通じて相手ネットワークを検証する。

CardanoはAikenで実装されたTendermintライトクライアントを用いて、Injectiveから発信される状態やメッセージを検証する。Injectiveは確率的なCardanoライトクライアントを用い、Cardanoのブロック列を追跡し、それらの生成者に紐づくステークを測定する。

単一のCardanoブロックは、それを生成したステークプールによって署名される。したがってライトクライアントは、元のトランザクションを確定と見なす前に、追加のブロックを待ち、十分なステーク裏付けの証拠を蓄積する。

Bormannは、Cardanoの確定ウィンドウと転送確認に必要なIBCメッセージを含め、現在は完全な転送におよそ8分から10分を要すると見積もった。

Ouroboros Perasは、ライトクライアントがより広範なステークプールからの確認を迅速に収集できるようにすることで、最終的にはそのプロセスを短縮し得る。ただしPerasは、現在のCardano本番インフラストラクチャには含まれていない。

メインネットへの道筋にはセキュリティとDeFiのテストが含まれる

この接続は引き続きテスト環境に限定されている。Caribicのドキュメントは、Injectiveのメインネット運用はまだ実装されておらず、現行のワークフローはCardanoのPreprodまたはPreviewを公開のInjectiveテストネットに接続すると記している。

Bormannは、今後のステップとして、さらなるエコシステムテスト、バグバウンティの実施可能性、DeFiプロトコルとの統合を挙げた。チームがFluidTokensと潜在的なユースケースについて議論したことにも言及した。今後の作業には、ウォレットやブロックチェーンエクスプローラーでのIBC資産とそのメタデータの表示方法の改善も含まれる。

Bormannは、このプロジェクトが2025年にAnastasia Labsによる監査を受けたと述べた。テスト用ルートには依然として運用面の改善が必要であり、信頼性の高いライトクライアントの更新や、長期中断後の復旧手順などが含まれる。

CardanoのIBC実装は、実現可能性の調査段階から、再現可能なクロスチェーンテスト環境へと進展した。開発者は今やダイレクトルートを稼働させ、転送がどのように検証されるかを確認し、双方向にテスト資産を移動できる。セキュリティと継続性、アプリケーション統合に関する作業が独立したメインネット展開を支えられるようになるまで、本番のADAとINJはこの仕組みの外にとどまる。