[論文レビュー] SoK: Not Quite Water Under the Bridge: Review of Cross-Chain Bridge Hacks

Sung-Shine Lee, Alexandr Murashkin+2 more|arXiv (Cornell University)|Oct 28, 2022

Blockchain Technology Applications and Security被引用数 14

ひとこと要約

この論文は、ブロックチェーンエコシステムにおけるクロスチェーンブリッジのハックを体系的に分析し、預託システム、マーチャントメカニズム、クロスチェーン通信など、ブリッジコンポonentにおける根本的要因を特定する。改善された設計パターンと基準を通じて的確な緩和策を提案し、開発者ガイドラインの必要性を強調することで、10億ドルを超える損失をもたらした繰り返しの攻撃を防ぐ。

ABSTRACT

The blockchain ecosystem has evolved into a multi-chain world with various blockchains vying for use. Although each blockchain may have its own native cryptocurrency or digital assets, there are use cases to transfer these assets between blockchains. Systems that bring these digital assets across blockchains are called bridges, and have become important parts of the ecosystem. The designs of bridges vary and range from quite primitive to extremely complex. However, they typically consist of smart contracts holding and releasing digital assets, as well as nodes that help facilitate user interactions between chains. In this paper, we first provide a high level breakdown of components in a bridge and the different processes for some bridge designs. In doing this, we identify risks associated with bridge components. Then we analyse past exploits in the blockchain ecosystem that specifically targeted bridges.

研究の動機と目的

• 10億ドルを超える損失をもたらした実世界のブリッジハックを分析すること。
• 預託者、マーチャントロジック、クロスチェーン通信などのブリッジコンポーネントにおけるアーキテクチャ的・実装的欠陥を特定すること。
• 誤った関数呼び出しやインターフェース検証の欠如といった一般的な脆弱性に対する実用的な緩和策を提案すること。
• 既知のハックの再発を防ぐために、標準化されたセキュリティパターンと開発者ガイドラインを提唱すること。
• 過去の攻撃に関する知識を体系化し、既存の理論的文献における空白を埋めること。

提案手法

• アーキテクチャパターンに基づき、ブリッジコンポーネントを預託、マーチャント、通信の3層に分類すること。
• 10件以上の実世界のブリッジハックを分析し、それぞれを特定のコンポーネントの脆弱性に関連付けること。
• 非再帰的関数呼び出しや誤ったパーミッション処理といった共通の攻撃ベクトルを同定すること。
• オフチェーンでのトークン互換性リストやインターフェース認識型ブリッジロジックを提案し、無効な呼び出しを防ぐこと。
• 既存の理論的フレームワークと実際のハックを比較することで、現在のセキュリティガイドラインにおけるギャップを浮き彫りにすること。
• 預託および債務発行用のERC-20に類似した将来の基準を提言することで、一貫性とセキュリティを向上させること。

実験結果

リサーチクエスチョン

• RQ1 クロスチェーンブリッジにおいて、ハックの対象となる主なアーキテクチャ的コンポーネントは何か？
• RQ2 スマートコントラクトにおける特定の実装的欠陥が、どのようにブリッジハックを成功に導いたのか？
• RQ3 なぜ既存の理論的モデルは、実世界のブリッジハックを防げないのか？
• RQ4 トークンインターフェースの取り扱いやクロスチェーン通信に関連する、ブリッジハックの繰り返しパターンは何か？
• RQ5 標準化されたインターフェースと開発者ガイドラインは、既知のブリッジ脆弱性の再発を減らせるか？

主な発見

• 過去1年間で、ブリッジハックにより10億ドルを超えるデジタル資産が失われており、システム的リスクが浮き彫りになった。
• 主要な脆弱性は、Ethereumのオンチェーンインターフェースチェックの欠如により、存在しない関数への非再帰的呼び出しが許可されたことに起因していた。
• Poly Networkのハックは、資金の損失にはつながらなかったが、クロスチェーン通信と信頼仮定に関する深刻な欠陥を示した。
• 多くの攻撃は、実装の検証なしにトークンの互換性を仮定したことで生じており、インターフェース検証の欠如が原因だった。
• オフチェーンでのトークン互換性リストやインターフェース認識型ロジックといった解決策は、無効な呼び出しを防ぎ、攻撃表面を縮小できる。
• 預託およびマーチャントコンポーネントにERC-20に類似した標準化されたセキュリティパターンの導入が、ブリッジの長期的セキュリティを向上させるために不可欠である。