💻 computer science

Decentralised collaborative action: cryptoeconomics in space

本文提出使用“半拓扑”（semitopologies）——一种将参与者建模为点、将其协作群体建模为“可执行联盟”（actionable coalitions）的新型数学框架——来分析去中心化系统，并证明这些联盟的特定交集属性能够保证参与者之间达成一致，从而防止诸如区块链分叉等关键问题。

原作者： 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）的解释，使用了简单的语言和日常类比。

核心思想：一种理解群体的新方式

想象一下，你正试图理解一个庞大且混乱的人群如何在没有领导指挥的情况下达成共识。这就是区块链和点对点网络的世界。通常，数学家使用一种叫做“拓扑学”（研究形状与空间）的工具来绘制事物如何连接的地图。

作者默多克·加拜（Murdoch Gabbay）指出，旧的数学工具并不完全适用于这些新系统。因此，他发明了一种新的数学形状，称为**“半拓扑”（semitopology）**。

可以将半拓扑想象成一张关于**“谁能一起协作”**的地图，而不是一张关于“谁站在谁旁边”的地图。

1. 角色介绍：点与“可行动联盟”

在这个新的数学世界中：

点（Points） 是系统中的人（或计算机）。
开集（Open Sets） 被称为**“可行动联盟”（Actionable Coalitions）**。

类比：探戈舞池
想象一个挤满了人的舞池。

在普通的城市地图中，你可能会根据人们是否在同一个房间里来对他们进行分组。
在本文的地图中，你根据谁能一起跳舞来对他们进行分组。

“可行动联盟”是指任何在法律和技术上都能够一起跳探戈的人群。

这并不意味着他们正在跳舞。
也不意味着他们必须跳得完美。
它仅仅意味着他们拥有为了向前迈进而进行协作的能力。

例如，在区块链中，“联盟”可能是一群持有足够数字代币以做出决策的人。在现实生活的例子中，它可能是一群力量足以共同抬起一块重石的人。

2. 核心问题：保持同步（避免“分叉”）

这些去中心化系统最大的恐惧是分叉（forking）。

类比： 想象一群朋友在决定去哪里吃饭。一半的人决定吃披萨，另一半的人决定吃塔可饼（Tacos）。现在，这群人分裂了。他们无法再作为一个团队运作。在区块链中，这是一场灾难。

论文提出了一个问题：如何从数学上保证即使两个人从未直接交谈过，他们最终也会达成一致？

3. 魔法规则：“交织”（Intertwined）

论文引入了一个概念叫做**“交织”（Intertwined）**。

类比：重叠的圆圈
想象爱丽丝（Alice）和鲍勃（Bob）两个人。

如果爱丽丝只能与一个与鲍勃能跳舞的群体重叠的群体一起跳舞，那么他们就是“交织”的。
因为他们的群体存在重叠，所以中间有一个人既知道爱丽丝在做什么，也知道鲍勃在做什么。
如果爱丽丝决定吃披萨，而鲍勃决定吃塔可饼，中间的那个人（重叠部分）就会产生冲突。为了避免这种冲突并继续跳舞，他们在数学上被迫必须对菜单达成一致。

论文证明了一个简单但强大的规则：如果两个人是“交织”的，他们就不能在法律上产生分歧。 如果他们都遵守规则，他们最终必须得到相同的答案。

4. 为什么这种数学与众不同（“半”在半拓扑中的含义）

传统的数学（标准拓扑学）有一个严格的规则：如果 A 组和 B 组都是有效的舞蹈小组，那么它们的交集（即共同成员）也必须是一个有效的舞蹈小组。

论文的转折点：
在现实世界的去中心化系统中，情况并不总是如此。

例子： 想象一座连接两个不同区块链的桥梁（比如以太坊和 Tezos）。
- A 组（以太坊用户）可以共同行动。
- B 组（Tezos 用户）可以共同行动。
- 但是，如果你取它们的“交集”（同时属于两者的用户），他们可能在没有“桥接”节点的情况下无法单独行动。
作者的半拓扑允许这些“破碎”的交集。它说：“我们不需要交集是一个完美的群体；我们只需要知道这些群体是如何‘接触’的。”

这使得数学变得更加灵活，更适合处理规则可能因群体而异的复杂现实系统。

5. 他们究竟证明了什么？

这篇论文并没有发明一种新的区块链或新的货币。相反，它提供了一个观察现有系统的数学视角。

结果： 如果你能绘制出一个系统中每个人都是“交织”的（即他们的群体重叠足够多）的地图，你就可以从数学上证明该系统不会发生分叉。
益处： 你不需要了解复杂的代码或特定的区块链规则就能知道这一点。你只需要观察群体的结构。如果结构是“交织”的，那么一致性是由系统本身的形状所保证的。

总结

论文建议，要理解去中心化群体（如区块链）如何在没有老板的情况下保持统一，我们不应再将它们视为计算机，而应将其视为舞伴。

通过绘制出谁可以与谁跳舞（可行动联盟）的地图，并检查这些舞蹈圈是否重叠得足够多（交织性），我们可以使用一种新的数学（半拓扑）来证明该群体将保持同步并避免分裂。它将“陌生人如何达成共识？”这个混乱的问题，转化为了一个简洁的几何谜题。

技术摘要：去中心化协作行动：空间中的加密经济学

问题陈述

本文探讨了在现代计算系统（特别是加密经济学背景下）中，对去中心化协作行动进行数学建模的挑战。与通常依赖中心化控制或同质化规则集的传统分布式系统不同，加密经济系统（例如区块链、点对点网络）具有以下特征：

去中心化： 由不同的部分组成，没有中央控制器。
无需许可： 参与者可以随时加入或退出。
异构性： 参与者可能合法地遵循不同的规则或共识机制（例如在区块链桥接场景中）。

核心问题在于，这些系统缺乏一个仅基于其结构属性来推理共识（一致性）和分叉（歧义性）的统一数学框架。现有的拓扑模型（点集拓扑）是不充分的，因为它们要求开集的交集仍为开集，而这一性质在异构系统中并不成立（即“可行动联盟”并不满足此性质）。本文旨在确定是否可以仅通过参与者联盟的抽象结构，而不通过分析具体的算法或协议，来推导出宏观层面的正确性属性（如分叉的不可能性）。

方法论

作者提出了一种新的数学抽象，称为半拓扑（semitopology），它泛化了点集拓扑，用于对去中心化系统进行建模。

1. 半拓扑空间

半拓扑定义为一个对 $(P, \text{Open}(P))$ ，其中：

$P$ 是代表参与者的点集。
$\text{Open}(P)$ 是 $P$ 的子集集合，代表可行动联盟。

可行动联盟被定义为一组参与者，他们共同拥有资源和法律权利，能够协作更新其局部状态，且独立于系统的其余部分。

半拓扑公理：

空集 $\emptyset$ 和全集 $P$ 属于 $\text{Open}(P)$ 。
任何开集的并集仍为开集。
关键区别： 两个开集的交集不要求必须是开集。这反映了现实情况：两个有效的联盟组合在一起时，未必会形成一个有效的联盟。

2. 建模共识

本文将二元共识（对值 $t$ 或 $f$ 的达成一致）的概念映射为半拓扑空间中的连续性。

一个赋值是一个函数 $f: P \to \{t, f\}$ 。
该赋值在点 $p$ 处是连续的，如果存在包含 $p$ 的一个开邻域 $O$ ，使得 $f$ 在该邻域内是常数。
共识 = 连续性： 如果一个参与者更新其状态，他们必须通过与一个可行动联盟（一个开集）协作来完成，且在该联盟内达成价值一致。

3. 反分离属性

本文引入了**反分离（antiseparation）**属性，这是对标准拓扑中豪斯多夫（Hausdorff）分离属性的否定。

交织（ $p \between p'$ ）： 当 $p$ 的每一个开邻域都与 $p'$ 的每一个开邻域相交时，称这两个点是交织的。
传递交织（Transitively Intertwined）： 两个点通过交织关系的传递闭包相关联。

核心贡献与结果

1. 理论框架：半拓扑

本文确立了半拓扑作为去中心化系统的一种严谨框架。通过将可行动联盟视为开集，作者证明了这些联盟的结构属性决定了系统的行为。

2. 关于一致性的定理（定理 3.4）

核心数学结果指出：

如果两个点 $p$ 和 $p'$ 是交织的，且赋值 $f$ 在两点处均连续，则 $f(p) = f(p')$ 。
如果 $p$ 和 $p'$ 是传递交织的，且 $f$ 在处处连续，则 $f(p) = f(p')$ 。

含义： 如果结构的特性确保了参与者是交织的（或传递交织的），那么任何由一个参与者做出的合法进展最终都必须被其他所有参与者接受。这证明了在这些结构条件下，分叉是不可能的。

3. 对现实世界系统的应用

本文将该框架应用于具体的实例：

简单多数系统： 在可行动联盟为多数派的系统中，所有点都是交织的。因此，分叉是不可能的。
链式系统（示例 2.4）： 即使在联盟之间不直接相交的系统中（例如重叠的三元组 $\{2i, 2i+1, 2i+2\}$ ），点也可以通过传递交织来实现全局一致。
区块链桥（示例 3.6）： 本文对以太坊（Ethereum）与 Tezos 之间的桥进行了建模。它表明，如果各自的链在内部是交织的，那么桥接节点（需要来自双方的共识才能行动）使得组合后的系统是传递交织的，从而防止了跨桥的分叉。

4. 与阿罗定理（Arrow's Theorem）的联系

本文指出其与社会选择理论的联系，证明每个半拓扑都存在一个“可行动核（actionable kernel）”。如果该核做出决策，所有其他参与者都必须遵循。这被呈现为分布式系统的分布式类比，暗示了在去中心化系统中存在“独裁者集合”。

重要性与主张

本文声称，半拓扑提供了一种“（反）分离的一般数学”，允许仅基于可行动联盟的拓扑结构来预测宏观层面的系统属性（特别是共识和分叉的不可能性）。

算法无关性： 这些结果适用于任何具体的算法。只要满足交织的结构条件，一致性就能得到保证，而无需检查协议的内部逻辑。
处理异构性： 与标准拓扑不同，半拓扑能够容纳参与者遵循不同规则的异构系统，这使其在模拟区块链桥和复杂的点对点网络方面具有独特优势。
实际效用： 作者指出，这些逻辑已被用于形式化规范、推理和调试共识协议（例如，公理化 Paxos 并识别异构 Paxos 中的错误）。

本文结论认为，尽管由于缺乏中央控制，去中心化系统看起来很混乱，但半拓扑揭示了由可行动联盟的交集属性所定义的潜在秩序，为设计和验证加密经济系统提供了新的视角。