💻 computer science

Decentralised collaborative action: cryptoeconomics in space

本論文は、参加者を点として、その協力的なグループを「実行可能な連合（actionable coalitions）」としてモデル化する新しい数学的枠組みである「セミトポロジー（semitopologies）」を用いることを提案し、これらの連合の特定の交差特性が参加者間の合意を保証することを証明することで、ブロックチェーンのフォークのような重大な問題の発生を防ぐものである。

原著者： Murdoch J. Gabbay

公開日 2026-06-24

📖 1 分で読めます☕ さくっと読める

CC BY 4.0

原著者： Murdoch J. Gabbay

原論文は CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) でライセンスされています。 ✨ これは以下の論文のAI生成解説です。著者が執筆または承認したものではありません。技術的な正確性については原論文を参照してください。免責事項の全文を読む

これは、論文「Decentralised collaborative action: cryptoeconomics in space（分散型協調アクション：宇宙におけるクリプトエコノミクス）」を、平易な言葉と日常的な比喩を用いて解説したものです。

大きなアイデア：グループをマッピングする新しい方法

想像してみてください。あなたは、誰からも指示を受けることなく、巨大で混沌とした群衆がどのようにして合意に達することができるのかを理解しようとしています。これが、ブロックチェーンやピア・ツー・ピア（P2P）ネットワークの世界です。通常、数学者はこれらのつながりをマッピングするために「トポロジー（位相幾何学）」（形や空間の研究）というツールを使います。

著者であるマードック・ギャベイ（Murdoch Gabbay）は、従来の数学的ツールではこれらの新しいシステムには適合しないと述べています。そこで彼は、**「セミトポロジー（半位相）」**という新しい数学的形状を考案しました。

セミトポロジーとは、「誰が隣に立っているか」のマップではなく、**「誰が協力できるか」**のマップだと考えてください。

1. 登場人物：点と「実行可能な連合（Actionable Coalitions）」

この新しい数学の世界では：

**点（Points）**は、システム内の人々（またはコンピュータ）です。
**開集合（Open Sets）は、「実行可能な連合（Actionable Coalitions）」**と呼ばれます。

比喩：タンゴのダンスフロア
タンゴのダンスフロアに人々が集まっている様子を想像してください。

通常の都市地図では、人々を「同じ部屋にいるかどうか」でグループ分けします。
この論文のマップでは、人々を**「一緒に踊ることができるかどうか」**でグループ分けします。

「実行可能な連合」とは、もし望むならば、法的にかつ技術的に一緒にタンゴを踊ることができるあらゆるグループのことです。

それは、彼らが今まさに踊っていることを意味しません。
それは、彼らが完璧に踊らなければならないことを意味しません。
単に、前進するために協力できる**能力（キャパシティ）**を持っていることを意味します。

例えば、ブロックチェーンにおける「連合」とは、意思決定を行うのに十分なデジタル・トークンを保有している人々のグループかもしれません。現実世界の例であれば、重い岩を一緒に持ち上げるのに十分な力を持つ人々のグループかもしれません。

2. コアとなる問題：同期を保つこと（「フォーク」を防ぐ）

これらの分散型システムにおける最大の懸念は、**フォーク（分岐）**です。

比喩： 友人グループが夕食の場所を決めようとしている場面を想像してください。グループの半分はピザに決め、もう半分はタコスに決めました。こうしてグループは分裂してしまいました。これでは、もはや一つのチームとして機能できません。ブロックチェーンにおいて、これは災難です。

論文は問いかけます。「二人が直接会話することなく、最終的に合意に達することを、どのように数学的に保証できるのか？」

3. 魔法のルール：「絡み合い（Intertwined）」

この論文は、**「絡み合い（Intertwined）」**という概念を導入しています。

比喩：重なり合う円
アリスとボブという二人の人物を想像してください。

もしアリスが踊れるグループが、ボブが踊れるグループと重なっている場合、二人は「絡み合って」います。
彼らのグループが重なっているため、その真ん中に、アリスが何をしているか、そしてボブが何をしているかを知っている人物が存在することになります。
もしアリスがピザを選び、ボブがタコスを選んだ場合、その真ん中の人物（重なり部分）に衝突が生じます。この衝突を避け、ダンスを続けるために、彼らは数学的に、同じメニューに同意せざるを得なくなります。

論文はシンプルですが強力なルールを証明しています。「もし二人が『絡み合って』いれば、彼らは法的に意見を相違させることはできない」。もし両者がルールに従うならば、必ず同じ結論に到達しなければならないのです。

4. なぜこの数学が異なるのか（セミトポロジーの「セミ」の意味）

従来の数学（標準的なトポロジー）には厳格なルールがあります。グループAとグループBが共に有効なダンスグループであるならば、それらの共通部分（インターセクション）もまた、有効なダンスグループでなければならないというルールです。

論文のひねり：
現実世界の分散型システムでは、これは必ずしも真ではありません。

例：二つの異なるブロックチェーン（イーサリアムとテゾスなど）をつなぐブリッジを想像してください。
- グループA（イーサリアムのユーザー）は共に行動できます。
- グループB（テゾスのユーザー）も共に行動できます。
- しかし、その「共通部分」（両方に属する人々）を取り出したとき、彼らはブリッジ・ノードなしでは単独で行動できない可能性があります。

著者のセミトポロジーは、こうした「壊れた」共通部分を許容します。これは、「重なり部分が完璧なグループである必要はない。ただ、グループ同士が『触れ合っている』ことが分かればよい」という考え方です。

これにより、数学はより柔軟になり、ルールがグループ間で異なるような、複雑で現実的なシステムにより適したものになります。

5. 彼らは実際に何を証明したのか？

この論文は、新しいブロックチェーンや新しいコインを発明したわけではありません。代わりに、既存のシステムを見るための**「数学的なレンズ」**を提供しています。

結果： もし、全員が「絡み合って」いる（グループ同士が十分に重なっている）システムのマップを描くことができれば、そのシステムはフォーク（分岐）できないことを数学的に証明できます。
メリット： これを知るために、ブロックチェーンの複雑なコードや特定のルールを知る必要はありません。ただ、グループの構造を見るだけでよいのです。もしその構造が「絡み合って」いれば、合意はシステムの形状そのものによって保証されます。

まとめ

この論文は、分散型のグループ（ブロックチェーンなど）がリーダーなしでどのように結束を保てるかを理解するためには、彼らをコンピュータとして見るのではなく、**「ダンスのパートナー」**として見るべきだと示唆しています。

誰が誰と踊れるのか（実行可能な連合）をマッピングし、それらのダンスの輪が十分に重なっているか（絡み合い）を確認することで、私たちは新しい数学（セミトポロジー）を用いて、グループが分裂せずに同期を保てることを証明できるのです。これは、「見知らぬ者同士がいかにして合意に至るのか？」という混沌とした問題を、クリーンな幾何学的なパズルへと変えてしまうのです。

テクニカル・サマリー：分散型協調アクション：宇宙におけるクリプトエコノミクス

問題提起

本論文は、現代のコンピューティングシステム、特にクリプトエコノミクスの文脈における分散型協調アクションを数学的にモデル化するという課題に取り組んでいる。中央集権的な制御や均質なルールセットに依存することが多い従来の分散システムとは異なり、クリプトエコノミクス的システム（ブロックチェーンやピア・ツー・ピア・ネットワークなど）は、以下の特性を持つ：

分散型: 中央の制御装置を持たない、個別の部分から構成される。
パーミッションレス（無許可制）: 参加者は自由に加入および離脱できる。
ヘテロジニアス（異種混在型）: 参加者は、異なるルールや合意形成メカニズム（例：ブロックチェーン・ブリッジのシナリオ）を正当に遵守する場合がある。

核心となる問題は、これらのシステムが、構造的特性のみに基づいてコンセンサス（合意）とフォーク（不一致）を推論するための統一された数学的枠組みを欠いていることである。既存の位相学的モデル（点集合位相）は、開集合の共通部分が開集合であることを要求するが、これはヘテロジニアスなシステムにおける「実行可能な連合（actionable coalitions）」には当てはまらないため、不十分である。本論文は、特定のアルゴリズムやプロトコルを分析することなく、マクロレベルの正当性特性（フォークの不可能性など）が、参加者連合の抽象的な構造のみから導き出せるかどうかを検証することを目的としている。

メソドロジー

著者らは、分散型システムをモデル化するために、点集合位相を一般化した**セミトポロジー（半位相）**と呼ばれる新しい数学的抽象化を提案している。

1. セミトポロジー空間

セミトポロジーは、ペア $(P, \text{Open}(P))$ として定義される：

$P$ は参加者を表す点の集合である。
$\text{Open}(P)$ は、 $P$ の部分集合の集まりであり、実行可能な連合を表す。

実行可能な連合は、システムの他の部分とは独立して、ローカルな状態を更新するために共同でリソースと法的権利を保有する参加者の集合として定義される。

セミトポロジーの公理:

空集合 $\emptyset$ と全集合 $P$ は $\text{Open}(P)$ に含まれる。
任意の開集合の和集合は、開集合である。
決定的な相違点: 2つの開集合の共通部分は、必ずしも開集合である必要はない。これは、2つの有効な連合が結合した際に、必ずしも有効な連合を形成しないという現実を反映している。

2. コンセンサスのモデリング

本論文は、バイナリ・コンセンサス（値 $t$ または $f$ への合意）という概念を、セミトポロジー空間における連続性へとマッピングしている。

値の割り当ては、関数 $f: P \to \{t, f\}$ である。
割り当ては、点 $p$ において連続である。すなわち、 $p$ を含む開近傍 $O$ が存在し、そこで $f$ が一定である。
コンセンサス＝連続性: ある参加者が状態を更新する場合、その参加者は、値が合意されている実行可能な連合（開集合）と共に更新を行わなければならない。

3. アンチセパレーション（反分離）特性

本論文は、標準的な位相におけるハウスドルフ分離特性の否定であるアンチセパレーション特性を導入している。

絡み合い（ $p \between p'$ ）: 2つの点が「絡み合っている」とは、 $p$ のあらゆる開近傍が $p'$ のあらゆる開近奥と交差することを指す。
推移的絡み合い: 2つの点が、絡み合い関係の推移的閉包によって関連付けられている状態。

主な貢献と結果

1. 理論的枠組み：セミトポロジー

本論文は、分散型システムのための厳密な枠組みとしてセミトポロジーを確立している。実行可能な連合を開集合として扱うことで、著者らは、これらの連合の構造的特性がシステムの挙動を決定することを証明している。

2. 合意に関する定理（定理 3.4）

中心となる数学的結果は以下の通りである：

2つの点 $p$ と $p'$ が絡み合っている場合、かつ値の割り当て $f$ が両方の点で連続であるならば、 $f(p) = f(p')$ である。
$p$ と $p'$ が推移的に絡み合っている場合、かつ $f$ が至る所で連続であるならば、 $f(p) = f(p')$ である。

示唆: もし実行可能な連合の構造が、参加者を「絡み合わせる（intertwined）」、あるいは「推移的に絡み合わせる（transitively intertwined）」ことを保証していれば、一方の参加者によって行われたいかなる合法的な進展も、最終的には他のすべての参加者によって合意される。これは、特定のコンセンサス・アルゴリズムに関わらず、上述の構造的条件下ではフォークは不可能であることを証明している。

3. 実世界システムへの適用

本論文は、この枠組みを具体的な例に適用している：

単純多数決システム: 実行可能な連合が多数派であるシステムでは、すべての点は絡み合っている。したがって、フォークは不可能である。
連鎖型システム（例 2.4）: 連合が直接交差しないシステム（例：重なり合うトリプレット $\{2i, 2i+1, 2i+2\}$ ）であっても、点は推移的に絡み合うことができ、グローバルな合意を保証する。
ブロックチェーン・ブリッジ（例 3.6）: 本論文は、EthereumとTezos間のブリッジをモデル化している。個々のチェーンが内部的に絡み合っていれば、ブリッジング・ノード（両側のコンセンサスを必要とするノード）が、結合されたシステムを推移的に絡み合わせ、ブリッジを跨いだフォークを防ぐことを示している。

4. アローの定理との関連

本論文は社会選択理論との関連性に言及しており、すべてのセミトポロジーには「実行可能な核（actionable kernel）」が存在することを証明している。もしこの核が決定を下せば、他のすべての参加者はそれに従わなければならない。これは分散型システムにおけるディストリビューテッド・システム版の「アローの不可能性定理」として提示されており、分散型システムにおける「独裁者集合」の存在を示唆している。

重要性と主張

本論文は、セミトポロジーが「（反）分離の一般的な数学」を提供していると主張している。これにより、実行可能な連合の位相のみに基づいて、マクロレベルのシステム特性（具体的にはコンセンサスとフォークの不可能性）を予測することが可能になる。

アルゴリズムへの依存性がない: これらの結果は、あらゆる具体的なアルゴリズムに対して成立する。絡み合いという構造的条件が満たされていれば、プロトコルの内部ロジックを検査する必要なく、合意が保証される。
ヘテロジニアス（異種混在）への対応: 標準的な位相とは異なり、セミトポロジーは参加者が異なるルールに従うヘテロジニアスなシステムを許容する。これは、ブロックチェーン・ブリッジや複雑なピア・ツー・ピア・ネットワークをモデル化する上で極めて有用である。
実用的な有用性: 著者らは、これらのロジックがすでにコンセンサス・プロトコルの形式的な仕様策定、推論、およびデバッグ（例：Paxosの公理化や、Heterogeneous Paxosの誤り特定）に使用されていると述べている。

本論文は、分散型システムは中央制御の欠如により混沌としているように見えるが、セミトポロジーは、実行可能な連合の交差特性によって定義される潜在的な秩序を明らかにしており、クリプトエコノミック・システムを設計・検証するための新しい視点を提供するものであると結論づけている。