ブロックチェーン上にブロックチェーンを構築する回路アプローチ：分析と考察

1. 序論と背景

独立したブロックチェーンの増殖は「マルチチェーン世界」を生み出した。この状況における根本的な課題は、既存の基盤ブロックチェーンの台帳を活用し、読み取りと書き込み操作のみを用いて、より安全なオーバーレイブロックチェーンを構築することである。本論文「A Circuit Approach to Constructing Blockchains on Blockchains」は、スイッチング回路理論に着想を得た新たな枠組みを導入する。これは、一般的なオーバーレイブロックチェーンを作成するための構成要素として、直列合成と三角合成という二つの基本的な合成操作を定義し、部分同期および同期ネットワークモデル下での結果としての安全性と活性保証を分析する。

2. 中核概念と合成操作

本論文の中核的な革新は、ブロックチェーンを回路部品として扱うことである。オーバーレイチェーンのセキュリティは、その基盤チェーンの論理的合成から導かれる。

3. セキュリティ分析と形式的結果

本論文は、直列合成と三角合成を再帰的に適用することで、n個の基盤チェーン上に任意の望ましい(f_s, f_l)耐障害性閾値を達成するオーバーレイブロックチェーンを構築できることを形式的に証明する。ここで：

• f_s：オーバーレイが安全を保ちながら許容できる基盤チェーンの安全性障害の最大数。
• f_l：オーバーレイが活性を保ちながら許容できる基盤チェーンの活性障害の最大数。

主要な定理は、2f_s + f_l < n および f_l < n/2 を満たす全ての実現可能なペア(f_s, f_l)が、適切な回路様の合成を通じて達成可能であると述べている。これは、(n-1, 0)の点（1つのチェーンが安全であれば安全、全てが活性である場合にのみ活性）しか達成できなかったインタータイムスタンピングのような先行研究を一般化するものである。

4. 技術詳細と数学的枠組み

このモデルは、ブロックチェーンを台帳Lを生成する状態機械として形式化する。セキュリティは安全性（一貫性があり、分岐したビューは不可能）と活性（新しいトランザクションが最終的に含まれる）によって定義される。基盤チェーンB_iは、論理時間tにおける台帳プレフィックスに対するコミット証明書C_i^tを提供するオラクルとして抽象化される。

合成プロトコルは、これらのオラクルへの問い合わせに基づいて、オーバーレイチェーンの状態S_ovがどのように更新されるかを定義する。例えば、チェーンB_AとB_Bの直列合成では、オーバーレイは、B_Aからの台帳が、それをタイムスタンプするB_Bからのコミット証明書と一貫している場合にのみそれを採用するかもしれない。これは論理式によって捕捉される依存関係を生み出す。中核的なセキュリティ証明は、分散システム文献で一般的な矛盾とシミュレーションの議論を使用し、オーバーレイにおける安全性違反は、基盤チェーンの特定のサブセットにおける安全性違反を意味し、仮定された耐障害性閾値と矛盾することを示す。

5. 分析フレームワークと概念例

シナリオ： 三つの確立されたチェーン：イーサリアム（Eth）、ソラナ（Sol）、アバランチ（Avax）上にクロスチェーン分散型取引所（DEX）オーバーレイを構築する。

目標： 資金の安全性を優先し（高いf_s）、時折の遅延は許容する（低いf_l）。

設計選択： 三つのチェーンの三角合成を使用する。

• 安全性ロジック： トランザクションは、三つ全ての基盤チェーン（Eth、Sol、Avax）で一貫して記録・確認された場合にのみ、DEXオーバーレイ上で最終確定される。これは「全て安全」の要件に合致する。
• 活性ロジック： DEXは、少なくとも三つのうち二つのチェーンが動作してブロックを生成している限り、新しいトランザクションバッチを提案・処理できる。

結果： DEXは最大の安全性耐障害性を達成する——単一のチェーンが侵害または分岐するシナリオに耐えられる。なぜなら、他の二つが証明を提供するからである。一つのチェーンがダウンタイムに陥っても活性は維持される。これはn=3に対する(f_s=1, f_l=1)の点の実用的な具体例である。

6. 業界アナリストの視点

中核的洞察： これは単なる別の合意形成論文ではない。マルチチェーン時代のための基礎的なシステムズエンジニアリングの枠組みである。著者らは、ブロックチェーン相互運用性という厄介な問題を、クリーンで合成可能な代数へと抽象化することに成功した。真の突破口は、セキュリティ特性が単に継承されるだけでなく、特定のトポロジーを通じてプログラム的に設計可能であることを示した点であり、「最も安全なチェーンへのブリッジ」という素朴なパラダイムを超えている。

論理的流れ： 議論は優雅である。マルチチェーン現実を所与のものとして始める。単一の「セキュリティ源」という概念を拒否する。代わりに、信頼性の低い部品からの信頼性の高い回路設計（古典的問題）への類推を描く。最小限で直交する合成演算子（直列、三角）を定義する。それらが完全である（任意の実現可能な耐障害性プロファイルを構築できる）ことを証明する。類推から形式化、一般定理への流れは説得力があり、ビザンチン合意がより単純なブロードキャストプリミティブに分解されたのと同様に、コンピュータサイエンスにおける成功した理論を反映している。

長所と欠点：
長所： 理論的一般性が強力である。回路の類推はエンジニアにとって直感的である。これは、インタータイムスタンピングのような従来のアドホックなアプローチを、この枠組みの特殊ケースとして統合・説明する。形式的証明は堅牢に見える。
欠点： 論文は非常に理論的である。複数のチェーンを同期させる現実世界のオーバーヘッド（遅延、コスト）は軽視されている。「部分同期」モデルは標準的ではあるが、ブロック時間とファイナリティメカニズムが大きく異なるクロスチェーン環境では楽観的かもしれない。多くのチェーンがバリデータセットを共有する場合（PoSエコシステムで一般的な問題）、基盤チェーンが独立した障害ドメインであると仮定している——これは危険な仮定である。ChainSecurityのブリッジ監査報告書のような具体的で攻撃に焦点を当てた分析と比較すると、これは今や汚れた世界の実装と対峙しなければならない白紙の理論のように感じられる。

実践的洞察：

• プロトコル設計者向け： モノリシックなブリッジの設計をやめる。合成可能なセキュリティモジュールを設計する。本論文はその青写真を提供する。実用的な第一歩は、直列および三角プリミティブのためのオープンソースライブラリを実装・監査することである。
• 監査者向け： この枠組みを使用して、クロスチェーンシステムのトポロジーをマッピングし、その理論的な安全性/活性閾値を即座に特定する。システムが3中2のチェーンに基づいて安全性を主張しながら直列構造を使用している場合、これは本枠組みが暴露する重大な欠陥である。
• 投資家/評価者向け： クロスチェーンプロジェクトを、接続するチェーンだけでなく、採用している合成ロジックによって評価する。明確な文書化を要求する：「当社のプロトコルはチェーンX、Y、Zの三角合成を使用し、≤1が悪意ある場合に安全性を、≤1がオフラインの場合に活性を提供する。」そのような明確なモデルの欠如は危険信号である。

本論文の価値は、その定理によってではなく、次世代の相互運用可能なインフラストラクチャのための設計言語としての採用によって決定されるだろう。これは、CAP定理が分散データベースに対して行ったことを、クロスチェーンセキュリティに対して行う可能性を秘めている：実用的なシステムが構築されなければならない根本的で避けられないトレードオフを提供する。

7. 応用展望と将来の方向性

近未来の応用：

• 設定可能なクロスチェーンブリッジ： ユーザーやdAppが異なる合成スキームを通じて好みの安全性-活性トレードオフを選択できるようにする。
• レイヤー2およびロールアップセキュリティ委員会： 異なる実行環境やDAレイヤーからのメンバーで構成される委員会を「基盤チェーン」としてモデル化し、合成を使用して委員会の署名のセキュリティを強化する。
• Cosmos様ゾーン向けインターセキュリティ： 単純な「コンシューマーチェーン」関係よりも微妙なセキュリティモデルを提供し、ゾーンが複数のプロバイダーチェーンから調整された保証でセキュリティを引き出せるようにする。

将来の研究方向性：

• 非同期合成： 検閲耐性を高めるために、完全非同期ネットワークモデル下での合成の探求。
• 経済的・インセンティブ設計： オーバーレイで安全性/活性障害を引き起こす基盤チェーンを罰する暗号経済モデルの統合。
• 動的合成： 基盤チェーンのリアルタイムパフォーマンスやセキュリティ指標に応じて合成トポロジーを適応させることができるプロトコル。
• 形式的検証との統合： 明確な代数構造を利用して、複雑な合成クロスチェーンシステムの自動形式的検証を可能にする。
• 実証的オーバーヘッド分析： ライブネットワーク上での異なる合成の遅延とコストの具体的なベンチマーキング。

8. 参考文献

1. Tas, E. N., Tse, D., & Wang, Y. (2024). A Circuit Approach to Constructing Blockchains on Blockchains. arXiv preprint arXiv:2402.00220v4.
2. Nakamoto, S. (2008). Bitcoin: A Peer-to-Peer Electronic Cash System.
3. Zindros, D. (2023). Interchain Timestamping. Proceedings of the ACM on Programming Languages.
4. Buchman, E. (2016). Tendermint: Byzantine Fault Tolerance in the Age of Blockchains. PhD Thesis.
5. Gilbert, S., & Lynch, N. (2002). Brewer's Conjecture and the Feasibility of Consistent, Available, Partition-Tolerant Web Services. ACM SIGACT News.
6. ChainSecurity. (2023). Security Assessment of Cross-Chain Bridge Protocols. ChainSecurity AG Reports.
7. Buterin, V. (2021). Why sharding is great: demystifying the technical properties. Ethereum Foundation Blog.