该论文提出了联邦主权传输协议（FSTP），一种针对具有异构隐私需求的联邦网络的同步边界和传输层。现有联邦协议将数据约束交由运营商策略处理：它们定义消息格式和传递语义，但对符合规范的服务器可能发出的内容没有结构性限制。FSTP 通过使数据约束成为协议本身的属性来解决这一差距。核心机制是一个同步代理，其输出类型集是形式化封闭的。原始内部数据无法出现在任何联邦消息中，因为该约束由 Rust 类型系统在编译时（而非运行时检查）强制执行。一个上下文身份模型为每个联邦关系派生出一个独立的、不可关联的标识符，从而在结构上防止跨上下文关联。一个基于 Blocklace 的事件底本提供防篡改、部分有序的日志记录，同步成本与节点状态之间的对称差成比例，并支持在不破坏哈希链的情况下的数据擦除。结果是“证明而不暴露”：联邦参与者可以验证某个过程发生、凭证真实以及结果未被篡改，而无需访问产生这些成果的内部数据。FSTP 是 Velyzor（一个面向高保密性需求的治理平台）的节点间传输层。规范和参考实现以 Apache 2.0 许可证作为开源基础设施发布；源代码和图表随论文附上。该工作主要面向对隐私保护、联邦协议设计、数据主权和可验证计算感兴趣的研究人员和工程师。