想象一下，一大群人试图就一套游戏规则达成一致。在区块链和安全网络的世界中，这个群体被称为“共识协议”。几十年来，检查大家是否达成一致的标准方法，就像将两个人的列表转化为单一、不可破解的代码（即“哈希”）来进行比较。
旧方法的问题在于：它抹杀了细微差别。
如果 A 有 20 项中的 19 项正确，而 B 的 20 项全部正确，旧方法会说他们的代码完全不同。这就像说，有一个拼写错误的列表和完全没有内容的列表一样“错误”。因为系统无法区分“几乎完美”和“完全崩溃”，它迫使所有人停止、重新发送整个列表，并等待完全匹配后才能继续。这既缓慢又昂贵，且需要庞大的人群才能确保安全。
本文介绍了一种名为距离保持摘要（Distance-Preserving Digests）的新工具。它就像一个“模糊匹配”系统，让群体能够看到他们距离达成一致有多近，而不仅仅是问“我们是否完全相同？”
核心思想：“向量和”类比
该论文建议不要将交易列表转化为单一、僵化的代码，而是将每笔交易转化为 8 维空间中的一个微小箭头（向量）。
- 旧方法： 如果漏掉一项，你的代码就会完全改变。
- 新方法： 如果漏掉一项，你的“箭头”只会稍微偏离中心。如果漏掉十项，它才会偏离得更远。
这使得系统能够测量距离。
- 距离 = 0： 所有人拥有完全相同的列表。
- 距离 = 微小： 所有人都只漏掉了一两项（可能是由于网络连接缓慢）。
- 距离 = 巨大： 有人在撒谎，或者拥有完全不同的列表。
三大改进
该论文声称，这一简单的改变解决了区块链设计中的三大难题：
1. 达成一致的“快车道”
- 旧方法： 即使所有人都完美达成一致，系统也必须运行三轮缓慢的投票以确保安全。
- 新方法： 因为系统可以看到所有人都非常接近（距离接近零），它可以立即宣布：“好吧，你们都同意了！”并在第一轮就最终确定决定。这就像老师看到全班 99% 都准备好了，就说“太好了，我们继续吧”，而不是等待正式投票。
2. 更小、更深的团队
- 旧方法： 为了安全，群体（委员会）必须非常庞大（例如 128 人）。如果一个小群体中哪怕有几个骗子，整个群体都可能失败。
- 新方法： 因为系统可以通过“距离”识别骗子（他们的距离会远离群体平均值），可以立即将他们踢出。这意味着你可以使用更小的群体（例如 10 人）而依然安全。你还可以构建这些群体的更深“树”状结构，使网络具有更好的扩展性。
3. 修复跨链混乱
- 旧方法： 当区块链的两个不同部分需要互相通信时，它们通常必须为每一笔交易发送消息以检查是否匹配。这就像检查两堵不同墙中的每一块砖，看它们是否相同。
- 新方法： 它们只需交换“距离摘要”。如果摘要匹配，那就太好了。如果不匹配，系统会使用一种特殊的“布隆过滤器”（就像一个快速检查清单）来精确找出哪几块砖不同，并仅修复这些部分。在许多情况下，这将通信成本降低了 99%。
工作原理（两阶段过程）
该论文描述了一种名为Proxima的协议，它分两步使用该工具：
- 第一阶段（“模糊”检查）： 每个人发送他们的摘要。系统计算距离。如果大家都接近，它就跳过其余步骤并立即最终确定。如果有些人距离较远，系统仅要求那些特定的人发送他们缺失的数据（使用布隆过滤器技巧）。
- 第二阶段（“硬性”检查）： 一旦群体对齐，所有人签署一份最终的、不可破解的证书。这确保了即使有人在第一阶段试图欺骗系统，他们也无法伪造最终签名。
结果
该论文将这一新系统（Proxima）与当前的行业标准（HotStuff）进行了比较：
- 速度： 在单个计算机核心上，Proxima 大约快20 倍（0.9 秒对比 18 秒），因为它跳过了不必要的轮次。
- 效率： 在拥有 10 万验证者的情况下，Proxima 发送的消息数量比旧系统少2.2 倍。
- 安全性： 数学证明，只要群体中恶意成员少于 33%，系统就不可能被欺骗而同时接受两套不同的规则。
总结
本文提出用一种“灵活、可测量距离”的检查系统，取代“僵化、非黑即白”的检查系统。通过认识到“几乎正确”实际上是有用的信息，系统可以更快地运行、使用更小的团队、并进行更少的通信，同时保持相同的高安全水平。
技术摘要：用于拜占庭容错共识的距离保持摘要
1. 问题陈述
拜占庭容错（BFT）共识协议（包括 HotStuff、PBFT 和以太坊 2.0）依赖抗碰撞哈希（如 SHA-256）来比较验证器状态。虽然这种方法能有效防止伪造，但它破坏了“距离”信息。如果两个验证器在 20 笔交易中同意了 19 笔，它们的哈希值却完全无关，与那些没有任何共同交易的验证器无法区分。这一局限性给 BFT 文献带来了三个结构性约束：
- 强制状态同步：验证器必须在投票前完全同步状态，因为哈希值无法衡量部分一致性。
- 不可衡量的共识质量：协议无法在投票轮次全部完成之前检测到一致同意，即使在理想条件下也迫使协议采用固定的多轮延迟。
- 大型分层委员会：为了确保树形结构共识的安全性，叶节点组必须足够大（例如以太坊中的 128 个验证器），以独立满足 2N/3 的拜占庭容错阈值，从而限制了树的深度和可扩展性。
2. 方法论：距离保持摘要
本文引入了一种称为距离保持摘要（Distance-Preserving Digests）的原语，用于替代用于状态比较的抗碰撞哈希。其构建过程包括：
- 向量化：每笔交易使用 SHA-512 进行哈希。将 64 字节的输出分割为 8 个片段。
- 坐标映射：每个片段被视为无符号整数，对 10,000 取模，然后除以 10,000，生成范围在 [0,1) 内的坐标。
- 可交换求和：验证器针对一组交易 T 的摘要是 8 维空间中的向量总和 D(T)=∑tx∈Tv(tx)。
该原语拥有哈希值所缺乏的三个特性：
- 比例距离：两个摘要之间的欧几里得距离与不同交易的数量成正比。
- 精确汇总：一组摘要的加权平均值是该组聚合状态的精确表示，允许将一组验证器汇总为单个紧凑值（76 字节）而不丢失信息。
- 集合差异识别：当摘要不同时，布隆过滤器差异（Bloom filter diff）允许聚合器精确识别验证器视图中缺失哪些交易，从而实现有针对性的同步，而无需交换完整状态。
3. 主要贡献与应用
本文展示了该原语在一个名为Proxima的新协议中的三个主要应用：
A. 两阶段 BFT 协议（Proxima）
Proxima 运行于两个阶段：
- 阶段 1（距离过滤）：验证器向聚合器发送摘要和布隆过滤器。聚合器将距离阈值内的验证器聚类。如果聚类方差接近零（表明高度一致），协议将发出单轮最终性证书（快速路径）。如果不是，则通过布隆差异推送缺失的交易。
- 阶段 2（承诺）：集群成员使用 BLS 签名对区块哈希进行签名。聚合器生成聚合签名。
- 结果：与无论一致性如何都需要三轮的 HotStuff 不同，Proxima 在验证器达成一致时可实现单轮最终性。
B. 具有小分组的树形结构共识
由于距离过滤在个体层面运行，而非要求组级别的 BFT，Proxima 使得具有小分组（例如 10 个验证器）的分层共识成为可能。
- 机制：叶节点领导者过滤掉拜占庭验证器（它们距离参考点较远），并报告诚实验证器的加权平均值。
- 结果：这消除了为确保安全性而需要大型委员会（128 个验证器）的需求，允许更深的树（5 层对比 2–3 层）并降低消息复杂度。
C. 跨分片一致性验证
摘要实现了分片之间恒定成本的验证。
- 机制：相邻分片交换重叠区域交易的摘要。如果距离为零，则状态匹配。如果非零，布隆差异将识别具体的分歧交易以进行解决。
- 结果：这取代了两阶段提交（2PC）或收据链的每笔交易协调，在 95% 的传播率下，与 2PC 相比，跨分片开销降低了 99%。
4. 结果与评估
本文使用 N=100,000 个验证器和 30% 拜占庭故障的模拟，评估了 Proxima 与 HotStuff、PBFT 以及以太坊委员会结构的对比。
- 消息复杂度：Proxima 树使用的消息量比 HotStuff 少2.2 倍。这是由两阶段执行、拜占庭节点的预过滤以及带有紧凑摘要的树路由带来的结构性属性，不受并行化影响。
- 延迟：
- 单核：Proxima 在约 0.9 秒（902 毫秒）内实现单核最终性，而 HotStuff 约为18 秒。树形结构分散了 BLS 聚合，使关键路径处理保持在低位（9.9 毫秒）。
- 多核：虽然多核 BLS 聚合缩小了差距（HotStuff 降至约 940 毫秒，Proxima Flat 降至约 220 毫秒），但树形结构在关键路径 BLS 时间上仍保持优势，因为叶节点处理的签名数量极少。
- 跨分片开销：在 95% 的传播率下，基于摘要的验证使用的消息量比 2PC 少 99%，比基于收据的方法（NEAR Nightshade）少 95%。
- 安全性：安全性证明独立于阶段 1 的聚类。少于 N/3 的拜占庭验证器无法导致冲突的最终化。阶段 1 可能会排除诚实验证器（活性风险），但这受霍夫丁不等式（Hoeffding's inequality）约束，在实用的 N 值下可忽略不计（<10−9）。
5. 意义与主张
本文主张，距离保持摘要消除了抗碰撞哈希在 BFT 中施加的三个基本约束。通过实现对共识质量的衡量，该原语使得：
- 乐观快速路径：当共识度高时，协议可以在一轮内完成最终化。
- 可扩展的分层结构：共识树可以利用小组（大小为 10）和深层结构，因为安全性是通过距离过滤而非组内投票来维持的。
- 高效分片：跨分片一致性可以按每对分片恒定成本进行验证，其扩展性取决于实际分歧程度而非总交易量。
作者强调，虽然该原语是局部敏感哈希（LSH）在数据结构中的已知应用，但将其应用于拜占庭协议是新颖的。系统的安全性依赖于标准的密码学假设（BLS 签名和 SHA-512），距离过滤器作为活性和优化机制而非安全机制。本文结论认为，这种方法为任何通过哈希比较状态的 BFT 协议提供了通用的改进。
每周获取最佳 computer science 论文。
受到斯坦福、剑桥和法国科学院研究人员的信赖。
请查收邮箱确认订阅。
出了点问题，再试一次？
无垃圾邮件，随时退订。