A Systematic Taxonomy and Risk-Scoring Framework for Cross-Chain Bridge Security: Design, Retrospective Validation, and Comparative Analysis

デジタルマネーの世界を、それぞれ独自のルール、通貨、法律を持つ、孤立した島々の集まりだと想像してみてください。長い間、ある島から別の島へお宝を運びたいと思っても、途方に暮れるしかありませんでした。水深が深すぎ、潮流が危険すぎるため、ただ泳いで渡ることはできなかったのです。これを解決するために、エンジニアたちは「ブリッジ（橋）」を建設しました。これは、一方の島でコインをロックし、もう一方の島でそれと一致するコピーを受け取ることができる、特別なデジタルのトンネルです。これらのブリッジはデジタル経済のスーパーハイウェイとなり、人々が異なるネットワーク間で取引し、ゲームをプレイし、投資することを可能にしました。しかし、ここには落とし穴があります。ブリッジを築くことは非常に困難なのです。もしブリッジの鍵が弱かったり、警備員が居眠りをしていたり、設計図に間違いがあったりすれば、泥棒は平然と入り込み、すべてを盗み去ることができます。実際、これらのブリッジはハッカーにとって最も人気のある標的となっており、わずか数年で数十億ドルが失われました。

開発者や監査人が直面している大きな問いは、「新しいブリッジを構築する前に、それが安全であるかどうかをどうやって知るのか？」という点です。現在、ブリッジの安全性を確認することは、何千もの異なる人々によって書かれた、膨大な数の火災報告書を読んで、その家が燃えるかどうかを推測しようとするようなものです。「このブリッジの設計はリスクが高い」あるいは「これは安全だ」と断言できる、単一でシンプルなチェックリストやスコアカードは存在しません。乱雑な技術レポートを掘り下げ、ハッカーが何をしようとしているのかを推測し、あとは運に任けるしかないのが現状です。本論文は、明確で使いやすい「リスクスコア」を作成することで、この混乱を解消します。これにより、開発者が1ドルでも動かす前に、危険の兆候を見つけられるようにします。

ブリッジ・セーフティ・スコアカード

本論文では、**ブリッジ・セキュリティ・リスク・スコア（BSRS）**と呼ばれる新しいツールを紹介します。これは、ジェットコースターの安全定格のようなものだと考えてください。乗る前に、レールが頑丈か、ブレーキが機能するか、そして安全ハーネスが強いかどうかを知りたいと思うはずです。事故が起きてから対処するのではなく、このスコアカードによって、設計図を見てその乗り物に「低、中、高、または致命的（クリティカル）」という成績をつけることができます。

Aritrik Ghosh氏率いる著者らは、これを単に思いつきで作成したわけではありません。彼らはまず、過去のブリッジの惨事に関する膨大な研究論文やレポートを精査しました。その結果、ほとんどの研究が「ブリッジの仕組み全般」について語るあまりに広範すぎるか、あるいは「特定のハッキング事件」のみに焦点を当てたあまりに限定的なものであることが分かりました。ブリッジが実際に使用される「前」にその設計を検証し、どれほどハッキングされる可能性が高いかを予測できるツールを作った者は、これまでいませんでした。

スコアカードの仕組み
BSRSは単純な数学的公式です。動作させるためにスーパーコンピューターや人工知能を必要としません。代わりに、自動車の整備士が車を点検するように、ブリッジの設計に関する7つの具体的な質問を投げかけます。

1. 監視しているガードマンは何人か？（バリデーター・セットのサイズ）
2. ゲートを開けるために、何人の合意が必要か？（署名閾値）
3. どのような種類の鍵が使われているか？（検証モデル：信頼された委員会か、数学的証明か、あるいはライトクライアントか）
4. マスターキーを誰が保持しているか？（アップグレード・キーの保管）
5. ミスを防ぐための「冷却期間」はあるか？（フラウド・プルーフ・ウィンドウ）
6. ブリッジはいくつの外部ヘルパーに依存しているか？（オラクル／リレイヤーへの依存関係）
7. 専門家によるチェックを受けているか？（監査の成熟度）

それぞれの回答には数値が割り当てられます。ガードマンが少なすぎたり、鍵が弱かったり、あるいは一人の人物によって即座に変更可能なマスターキーを持っていたりする場合、そのブリッジには高いリスクスコアがつきます。逆に、独立した多くのガードマン、強力な数学的ロック、そして変更に対する長い待機期間を備えている場合は、低いリスクスコアとなります。

スコアカードのテスト
この新しいスコアカードが実際に機能するかどうかを確認するため、著者らは10個の実在するブリッジを取り上げ、テストを実施しました。これら10個のうち8つのブリッジは、すでにハッキングを受け、数百万ドルを失っています。残りの2つ（LayerZeroとAxelar）は、大規模なハッキングを受けていません。

結果は驚くべきものでした。Ronin Bridge（6億2500万ドルを喪失）やHarmony Horizon Bridge（1億ドルを喪失）のように、実際にハックされたブリッジは、すべて「高（High）」または「致命的（Critical）」のリスクスコアを受け取りました。スコアカードは、ガードマンが少なすぎる、あるいは署名ルールが弱いといった、彼らの設計に穴があることを正しく特定しました。

一方で、ハッキングに遭っていない2つのブリッジは、「低（Low）」から「中（Medium）」のスコアを受け取りました。これは、彼らの設計がより堅牢であり、優れたガードシステムと強力な検証方法を備えていることを示唆しています。

スコアカードにできないこと
著者らは、自らのツールの限界についても非常に正直です。彼らは、BSRSは家の設計図をチェックするようなものだと説明しています。それは、基礎が不安定であるか、あるいはドアが脆弱であるかを教えてくれます。しかし、配管工が壁の中でパイプを正しく設置したかどうかまでは見ることができません。もし、完璧な設計であっても、プログラマーがコード内に小さなタイポ（打ち間違い）をした場合（「ロジック・バグ」）、スコアカードは依然として良い成績を与える可能性があります。例えば、Qubit Financeのブリッジは「中〜高」のスコアでしたが、スコアカードの設計パラメータでは捉えきれない特定のコーディングエラーによってハッキングされました。

なぜこれが重要なのか
本論文は、ブリッジのセキュリティ問題が永遠に解決したと主張しているわけではありません。むしろ、明確で透明性の高い出発点を提供しています。次のデジタル・スーパーハイウェイを築く前に、設計が安全かどうかを確認するためのシンプルなチェックリストを使うべきだと提案しています。これは、「ハッキングされないことを祈る」という会話から、「リスクを測定し、先に弱点を修正する」という会話へと転換させるものです。

著者らは、将来的にこのスコアカードがより多くのデータや自動化ツールによって改善されることを期待していますが、現時点においても、事実に基づき、「これはリスクが高い」「これは安全に見える」と判断するための、極めて有用で理解しやすい手段を提供しています。