[論文レビュー] Open problems in cross-chain protocols

Thomas Eizinger, Philipp Hoenisch+1 more|arXiv (Cornell University)|Jan 29, 2021

Blockchain Technology Applications and Security被引用数 16

ひとこと要約

この論文は、実用的なクロスチェーンプロトコルを構築するうえで重要な未解決課題を特定し、ウォレット設計、ブロックチェーン監視、テストの複雑さ、およびアトミックスワップにおける経済的脆弱性に焦点を当てる。形式的な暗号プロトコルは正当に安全であるが、実際の実装では、使いやすさとセキュリティを損なう未解決の工学的および経済的問題が存在することを主張する。

ABSTRACT

Blockchain interoperability is a prominent research field which aims to build bridges between otherwise isolated blockchains. With advances in cryptography, novel protocols are published by academia and applied in different applications and products in the industry. In theory, these innovative protocols provide strong privacy and security guarantees by including formal proofs. However, pure theoretical work often lacks the perspective of real world applications. In this work, we describe a number of hardly researched problems which developers encounter when building cross-chain products.

研究の動機と目的

• 形式的な暗号プロトコルの安全性は強いものの、実装における未解決の工学的および経済的課題を特定・明確化し、クロスチェーンプロトコルの実装に影響を及ぼすことを目的とする。
• 形式的な暗号的証明と実際のデプロイメント制約との間に生じる乖離を浮き彫りにすることを目的とする。
• ウォレット実装、ブロックチェーン監視、テスト、およびアトミックスワップの経済的側面における実用的問題を明らかにすることで、共同研究を促進することを目的とする。
• プロトコル論理を低レベルのブロックチェーンインタラクションから分離する再利用可能で安全なコンポーネントと抽象化を提唱することを目的とする。

提案手法

• ウォレット実装、ブロックチェーン監視、テストフレームワークの事例研究を通じて、クロスチェーンプロトコルにおける実際のデプロイメント問題を分析する。
• Bitcoin Dev Kit (bdk) や Miniscript といった既存ツールの、複雑なロックメカニズムや安全なウォレット抽象化をサポートする限界を評価する。
• 自前ホスティングノード、外部ホスティングノード、エクスプローラー、P2P の4つの監視アプローチを検討し、導入のしやすさ、信頼性のなさ、効率性という3つの基準をすべて満たさないことを特定する。
• 取引タイミングと手数料の露出をモデル化することで、アトミックスワップにおける経済的リスク（ドレイン攻撃、アメリカ・オプション問題）を調査する。
• プロトコル設計が低レベルの詳細（例：タイミング、手数料コスト）をアプリケーション層に漏らさないよう、クリーンな抽象化を維持する必要があると提言する。
• ウォレット、監視、テストのための再利用可能で合成可能なコンポーネントを構築することで、安全なクロスチェーン開発を加速することを提言する。

実験結果

リサーチクエスチョン

• RQ1 なぜ既存のクロスチェーン取引用暗号プロトコルが、理論的には安全であっても、実際のセキュアで使いやすい製品にまで発展しないのか？
• RQ2 現在のウォレットアーキテクチャには、アダプターシグネチャのような非スクリプトベースの複雑なロックメカニズムをサポートする上で、根本的な制限があるのはなぜか？
• RQ3 中央集権的またはステートフルな仲介者に依存せずに、効率的かつ信頼性のないブロックチェーン監視をどう実現できるか？
• RQ4 なぜクロスチェーンプロトコルのテストは極めて遅く不安定なのか？信頼性とパフォーマンスを向上させるためにどのようなアーキテクチャ的変更が可能か？
• RQ5 アトミックスワップにおける経済的インcentivesは、アトミックティの約束をどのように損なうのか？このような漏洩を防ぐための設計原則は何か？

主な発見

• 複雑な支出条件を扱うための汎用的で安全かつ合成可能なコンポーネントが不足しているため、現在のウォレットは特定プロトコル向けのカスタム実装に依存している。
• Miniscript や類似ツールは、次世代クロスチェーンプロトコルで重要な役割を果たすアダプターシグネチャのような最新のプリミティブをサポートしていないため、その有用性が制限されている。
• 現在のブロックチェーン監視アプローチのいずれに対しても、導入のしやすさ、信頼性のなさ、効率性という3つの望ましい特性をすべて満たすものは存在しない。
• クロスチェーンプロトコルのテストは、特に並列実行時にフルノードインスタンスに依存するため、本質的に遅く不安定であり、リソース競合や偶発的障害を引き起こす。
• アトミックスワップは、狭い時間窓の外では真にアトミックではなく、先攻の参加者にはドレイン攻撃のリスクが、後攻の参加者にはアメリカ・オプション問題が生じる。
• アトミックスワップにおける経済的・運用的非対称性がアプリケーション層に漏れ出し、マーケットメイキングや交換所プラットフォームへの利用には、顕著なアーキテクチャ的再設計が不可欠である。