💻 computer science

Federated Sovereign Transport Protocol (FSTP): Verifiable Coordination Without Disclosure

本文介绍了联邦主权传输协议（FSTP），这是一种由 Rust 强制执行的联邦网络同步层，通过在结构上保证数据隔离、不可链接的身份以及防篡改日志，从而在不暴露内部节点数据的情况下实现可验证的协调。

原作者： Ramón Soto C. (Department of Accounting, University of Sonora), Liz Soto (Department of Mathematics, University of Sonora)

发布于 2026-07-02

📖 1 分钟阅读☕ 轻松阅读

CC BY 4.0

原作者： Ramón Soto C. (Department of Accounting, University of Sonora), Liz Soto (Department of Mathematics, University of Sonora)

原始论文采用 CC BY 4.0 许可（http://creativecommons.org/licenses/by/4.0/）。 ✨ 这是对下方论文的AI生成解释。它不是由作者撰写或认可的。如需技术准确性，请参阅原始论文。阅读完整免责声明

想象一下，一群不同的组织——比如一个工会、一个政党和一个受监管的银行——想要合作完成一个大型项目。他们需要进行协调并证明自己履行了职责，但由于法律或伦理限制，他们被禁止向彼此分享内部私密文档（如成员名单、秘密投票或内部会议记录）。

目前的组织连接系统就像是一个“玻璃房”。如果你发送一条消息，对方能看到信封，如果对方心怀叵测，即使你并非本意，他们也可能窥视信件的内容。这些系统依赖于一种“荣誉制度”，即另一方的服务器承诺不会偷看。

本文介绍了一种名为 FSTP（联邦主权传输协议，Federated Sovereign Transport Protocol） 的新方法，它为这些组织之间的沟通提供了一种全新的方式，将“荣誉制度”转变为一种结构性的锁闭。以下是其工作原理的简单类比：

1. “严格的门卫”（同步代理）

可以将每个组织的计算机想象成一座堡垒。在堡垒内部有两个房间：

保险库： 存放所有秘密、原始数据的地方（成员名单、投票结果）。
收发室： 准备官方、公开消息的地方。

在旧系统中，一名工作人员可能会在无意（或故意）的情况下，从保险库中拿出一份文件并将其放入收发室。在 FSTP 中，“收发室”由一个严格的门卫（称为同步代理）把守。

这个门卫不仅仅是一个检查身份证件的保安；它更像是一台按照特定模具制造的工厂机器。这台机器的设计使得只有经过预先批准的特定形状（如“事件哈希”或“可验证凭证”）才能通过输出槽。如果有人试图强行将一份“秘密文档”（其形状不符）塞入机器，机器就会物理性地卡住并拒绝运行。

论文解释说，这不仅仅是要求工作人员遵守的规则，而是直接内置在代码中的。如果代码尝试发送秘密信息，计算机编译器（构建软件的机器）会在软件启动之前就将其拦截。由于“错误的形状”根本无法存在于发出的消息中，因此发生意外数据泄露是不可能的。

2. “一次性面具”（上下文身份）

通常情况下，如果你与两个不同的群体交谈，他们可以通过你使用相同的姓名或 ID 来识别出你是同一个人。这就像你在进入每个房间时都戴着同一张脸。

FSTP 为每个组织提供了一个神奇的面具制造机。

当你与工会交谈时，你戴着一副写有“工会成员”的面具。
当你与银行交谈时，你戴着一副完全不同的面具，上面写着“银行客户”。

这些面具在数学上与你的真实身份相关联，但在他人眼中看起来完全不同。即使工会和银行互相核对笔记，他们也无法判断“工会成员”和“银行客户”是同一个人。这防止了“上下文坍塌”，即你在一个群体中的私人生活意外地与你在另一个群体中的公共生活混淆在一起。

3. “带橡皮擦的防篡改账本”（Blocklace）

为了证明自己完成了工作，组织需要一个共享的历史日志。通常，这些日志就像是一条纸质链条。如果你想删除链条中间的一张纸，你必须剪断链条，而这会破坏整个结构。这使得在保留“该数据曾存在过”这一记录的同时，无法删除私密数据。

FSTP 使用了一种名为 Blocklace 的系统，它更像是一棵悬挂标签的树。

每个标签通过一根线指向前一个标签。
如果你需要删除一份私密文档（例如列表中的一个名字），你不需要剪断线。你只需要烧掉标签内的纸张。
标签本身仍然悬挂在树上，与链条的其他部分保持连接。

这被称为**“悬空指针”（dangling pointer）**。该记录证明了在那个时间点确实发生了某些事情，且链条依然完整且不可篡改，但实际的私密内容已永久消失。这使得组织能够在满足“删除我的数据”这类法律要求的同时，依然保留“该事件已发生”的证明。

结果：“无需暴露即可证明”

论文声称，凭借这三种工具，外部审计员可以走上前去对这群组织说：
“我可以看到工会进行了投票，银行进行了投票，并且你们双方都对结果达成了一致。我可以验证你们的签名，并确认链条未被篡改。”

但审计员无法看到工会具体投了什么票、谁参与了投票，也无法看到银行的内部笔记内容。这些组织既能享受协作与证明诚信的益处，又无需向桌面上展示自己的底牌。

为什么这很重要

论文指出，这不仅仅是一个理论；它正在被构建到名为 Velyzor 的真实平台中，供需要高安全性保障的机构使用。其代码是开源的，这意味着任何人都可以检查这个“严格的门卫”是否真的如其所言。

简而言之，FSTP 在相互隔离的岛屿之间架起了一座桥梁，你们可以在那里握手并交换密封的信封，但除非所有者选择打开，否则任何人都不可能看到信封里的内容。

技术摘要：联邦主权传输协议 (FSTP)

问题陈述

现有的联邦网络协议（如 ActivityPub、Matrix）虽然实现了去中心化协调，但依赖于操作员策略而非结构性约束来强制执行数据隔离。在这些系统中，尽管定义了消息格式和传递语义，但缺乏一种机制来防止符合规范的服务器将内部数据（例如：审议记录、成员投票）泄露到联邦网络中。因此，对于机构参与者（如工会、政党或受监管的企业）而言，数据隐私取决于对操作员遵守政策的信任，而非取决于协议本身。此外，现有的身份模型通常依赖于全局可解析的标识符，导致了“语境坍塌”（context collapse），即不同的社会或机构语境被扁平化，从而允许跨语境的用户身份关联。最后，线性账本架构（如区块链）难以调和“需要不可篡改的审计追踪”与“法律规定的数据擦除义务”（如 GDPR）之间的矛盾，因为删除数据会破坏哈希链的完整性。

方法论

本文引入了联邦主于传输协议 (FSTP)，这是一种为具有异构隐私需求的联邦网络设计的同步边界与传输层。该方法依赖于三个核心原语：

同步代理 (Synchronization Agent, SA)：
- 作为节点内部数据存储 ( $D_{raw}$ ) 与联邦网络 ( $D_{pub}$ ) 之间的唯一接口。
- 编译时约束 (Compile-Time Confinement)： 使用 Rust 实现，SA 通过类型系统强制执行数据隔离。它利用一个封闭枚举 (FstpMessage)，仅表示授权的输出类型。由于 Rust 要求详尽的模式匹配，且内部数据类型不属于该枚举的成员，因此编译器会在静态阶段拒绝任何试图从原始内部数据构建联邦消息的代码路径。这使数据隔离从运行时检查转变为编译时的结构性保证。
- 状态机： 代理在不同状态（空闲、验证中、组合中、传输中、日志记录中）之间转换。任何违反隔离不变式 ( $m \cap D_{raw} = \emptyset$ ) 的行为都会触发错误路径，记录违规行为并重置代理。
语境化身份模型 (Contextual Identity Model)：
- 解决跨语境关联的问题。每个实体持有一个全局身份 (GII)，但通过一个以关系语境为参数的单向函数，为每个联邦关系派生出一个唯一的语境化身份 (CII)。
- 结构化不可关联性： CII 在特定关系内是稳定的，但在未经实体配合的情况下，无法与 GII 或其他关系中的 CII 建立联系。这从结构上防止了语境坍塌。
- 最小化披露： 可验证凭证在特定的 CII 下进行展示，仅披露该次交互所需的必要声明。
Blocklace 事件基质 (Blocklace Event Substrate)：
- 用加密的有符号区块的有向无环图 (DAG) 取代了线性的追加式日志。
- 部分排序： 允许并发事件作为并行分支存在，而无需强制序列化，从而保留了分布式决策的时间结构。
- 擦除兼容性： Blocklace 存储的是指向事件的哈希指针而非事件本身。为了满足数据擦除义务，可以从数据存储中删除内容，留下一个“悬空指针”（块结构保持不变，其原始哈希依然存在）。这在移除敏感内容的同时，保留了哈希链的防篡改特性。
- 效率： 同步通过前沿交换 (frontier exchange) 进行。成本与节点状态之间的对称差 ( $\Delta$ ) 成正比。

核心贡献

结构化数据隔离： 本文证明了数据隔离可以由协议本身强制执行，而非依赖操作员策略。通过利用 Rust 的类型系统，FSTP 保证了即使是符合规范但具有攻击性的对等节点，也无法泄露原始内部数据。
无需暴露的证明： 协议使联邦参与者能够在不访问产生这些人工物的内部数据的情况下，验证某一过程已发生、凭证真实有效且结果未被篡改。
解决擦除与完整性的冲突： Blocklace 的“悬空指针”机制为实现不可篡改的审计追踪与数据擦除权之间的兼容性提供了结构化解决方案，解决了线性账本设计的固有局限。
语境隔离： 协议在结构上防止了不同联邦关系之间的身份关联，解决了现有联邦系统中存在的根本性隐私缺陷。

结果

本文展示了参考实现（使用 Rust 编写）的经验基准测试，以验证 Blocklace 基质的效率主张：

发射成本： 生成同步增量 (sync_delta) 的时间随对称差 ( $\Delta$ ) 线性缩放。无论 $\Delta$ 大小如何，吞吐量稳定在约 2.3 Melem/s。
与历史规模的无关性： 发射成本在统计学上对共享历史大小 ( $N$ ) 不敏感，即使 $N$ 增加了 50 倍（从 100 增加到 5,000 个区块）。
接收成本： 在优化了前沿缓存更新机制后，接收成本 (merge_blocks) 也随 $\Delta$ 线性缩放。初始实现由于全量重建缓存导致了 $O(N)$ 的开销，而在优化版本中，该开销降低了 91–98%。
案例研究： 一个三机构治理场景表明，外部审计员可以通过将披露的审议记录与 Blocklace 中的哈希进行对比，来验证集体决策的正当性，而无需访问参与机构的审议记录。

意义与主张

本文将 FSTP 定位为不仅仅是一个纯学术提案，而是 Velyzor 的底层节点间传输层——这是一个面向具有高需求机密性机构的治理平台。

其主要声称的意义在于，将数据主权从一种配置选项转变为部署的结构性后果。该协议并不要求节点在哲学意义上必须是“去中心化”的；相反，通过部署带有同步代理的合规节点，在结构上保证了内部数据始终保持在内部。

作者强调，安全论据依赖于参考实现的开源性质（Apache 2.0 许可证）。隔离保证取决于任何联邦对等节点是否能够检查、编译并验证源代码，以确保 FstpMessage 枚举未被修改以允许原始数据泄露。

文章总结道，FSTP 通过提供一个能够同时支持异构隐私需求、结构化身份隔离以及合规性（特别是数据擦除相关规定）的传输层，填补了联邦网络中的关键空白，而现有协议仅能部分解决或完全无法解决这些问题。未来的工作确定为对流量元数据泄露进行形式化量化，以及在现实网络环境（具有间歇性连接）下的经验基准测试。