该论文提出 Steelhead——一种双模式共识机制，目标是兼得部分同步协议的高性能与异步协议在恶劣网络条件下的存活性。现有 DAG 类 BFT 协议通常二者只能取其一：部分同步提交规则在健康网络中快，但一旦网络状况超出同步假设就会停滞；异步规则虽能在任意网络条件下保持活性，却需要额外的通信和硬币协议，在正常网络下性能明显吃亏。Steelhead 的核心思路是在同一条 DAG 之上交错两套提交规则：每隔 k 轮由异步规则裁决，该轮领导者在投票结束之后才由公共硬币（common coin）揭示，从而实现领导者隐藏、抵御针对领导者的攻击；其余轮次仍由部分同步规则裁决。每个时间区间内，验证者会用各自的候选周期参数重放已提交的 DAG，统计期望消息延迟，选出延迟最小的周期；当输出停滞时回退到 k=1，以此保证活性。关键工程设计在于：除 DAG 区块本身之外不发送任何额外消息，连周期参数的协商也不依赖额外通信，并且只在需要隐藏领导者的轮次才开启硬币，从而大幅压低异步路径的开销。该机制对任意共享同一委员会的两种 DAG 提交规则具有通用性，作者给出两个实例：在 n>=3f+1 下组合 Mysticeti 与 Mahi-Mahi，以及在 n>=5f+1 下组合 BlueBottle 的两个变体。论文证明了安全性（safety）与活性（liveness），并在 Lean 4 中完成了机器化验证。仿真结果表明：网络健康时 Steelhead 与纯部分同步协议性能相当；当网络状况使部分同步协议停滞时，其表现接近纯异步协议；且在两种网络条件之间切换时都能快速自适应。适合分布式共识研究者、区块链节点与共识层工程师，以及关注形式化验证实践的安全团队阅读。

本文提出 Hydrozoan，一个面向混合故障模型的 DAG（有向无环图）共识协议。背景是：基于 DAG 的共识可达很高吞吐，并在 n=3f+1 的经典设定下达到最优的三消息延迟下界；已有的两消息延迟协议要么靠牺牲容错度（例如需要 5f+1 规模的委员会）换取，要么依赖回退路径，从而丢掉 DAG 本身的高吞吐优势。Hydrozoan 的核心思路是把故障模型从单一拜占庭故障扩展为混合模型：f 个拜占庭故障验证者加 c 个崩溃故障验证者，验证者总数为 n = 3f+c+2p+1。协议为每个 leader 设计了两条提交路径：当故障验证者不超过 p 个时走两消息延迟的快路径，否则走三消息延迟的慢路径；切换不需要额外消息、不需要视图切换（view change），并且每轮允许存在多个 leader。两条路径复用同一张 DAG，作者提出一种新的“分级间接规则”（graded indirect rule）来协调两条路径的判定结果，保证所有诚实验证者最终达成一致决定。作者进一步指出，在地理分布式部署下，哪条路径更快其实取决于地理位置而非协议本身：需要跨到远端区域的轮次开销远高于不跨区域的轮次。因此 (f, c, p) 三个参数相当于可调旋钮，把“快速仲裁集”放到部署拓扑真正需要的位置，从而在两消息延迟内完成提交；即使参数配置失当，Hydrozoan 仍可退回三消息延迟，因为它以两条路径中先触发者为准进行提交。此外还给出变体 Optimal-Hydrozoan，可在快路径上多容忍一个故障，是首个匹配已知下界的构造。两个协议的安全性（safety）与活性（liveness）均在 Lean 4 中完成机器化验证。地理分布式评估显示：Hydrozoan 的吞吐与 Mysticeti 持平，在快速仲裁集恰好落在低延迟区域时提交速度约快 25%，而在不满足该条件或故障数超过 p 时平滑回退到三消息延迟，而已有两消息延迟协议在此情形下会停滞。

该论文研究拜占庭容错对等采样（Byzantine-tolerant peer sampling）中的频率偏差问题。这类协议依赖持续刷新的节点视图（view），而视图由标识符流（identifier stream）构造，攻击者可以通过操控该流的出现频率来偏置视图，进而实施 Sybil 或日蚀（eclipse）类攻击。现有防御思路是频率感知去偏（frequency-aware debiasing）：对出现过于频繁的标识符降权。但论文指出，这些设计普遍依赖每个标识符的累积计数（cumulative per-identifier counts）。作者首先给出一个负面结论：即便是精确、无界（unbounded）的计数器，也会在一种被称为“延迟平衡攻击”（delayed balanced attack）的场景下失效——攻击者先维持一段很长的良性前缀，把累积计数的基线抬高，再在后期制造对抗性频率偏移，从而被历史数据“稀释”而无法被察觉。 为此，作者提出 Hopper：一个内存有界的去偏协议。其设计包含三部分。第一，论文系统性地刻画了去偏所需的流估计（stream estimation）属性，并在若干候选估计器中评估，最终选择 BitMatcher，理由是它在被评估方案中最能保留对抗性频率结构。第二，提出 BMDecay——一种由饱和度触发的衰减与重建（decay and reconstruction）机制，使频率信号在长时间运行中保持“新鲜”，避免陈旧历史掩盖当前偏移。第三，支持可信协作（trusted collaboration）：通过带认证的、指纹感知（fingerprint-aware）的重建以及角色特定的去偏，让受信节点参与纠正偏差。 实验表明：在延迟攻击下，Hopper 的恢复速度优于仅使用 BitMatcher 的方案；在固定内存预算下，其去偏效果与非去偏基线相当；可信协作能降低攻击后的污染峰值，但在高可信节点密度下会引入重识别（re-identification）隐私权衡。结论强调：对实用的频率感知拜占庭对等采样而言，“出现频次的新鲜度”（occurrence freshness）比单纯精确计数更为关键。

该论文研究的是区块链「认证读取」(authenticated reads) 的可扩展性问题。传统做法是维护一棵覆盖全量状态的认证数据结构(如 Merkle Patricia Trie，MPT)，以此支撑历史成员性证明与排除性证明；但随着状态规模增长，证明路径长度、内存占用与磁盘 I/O 会急剧膨胀，成为节点运行的瓶颈。作者提出一种以「按区块写入日志」为核心的替代方案：不再对全量状态做全局承诺，而是对每个区块自身的写入进行认证。核心构件是 Block Update Digest(BUD)，它提交一条写入日志，日志中每个条目通过前驱指针把同一个键的历次修改串成链，因此单个键的修改历史天然可被独立验证。在此之上，SuperBUD 对某个窗口内的「最后一次写入」做汇总，从而把「键在很长时间内未被修改」这一常见情形压缩成短证明；再通过指数层级(exponential hierarchy)将长时间的未变更区间映射为层级内的短路径。证明成本方面，摘要数量随层级范围内的间隔呈对数增长，超出该范围后每多一个顶层窗口才增加一个摘要。安全性上，论文针对恶意证明者给出了可靠性(soundness)证明，并在最多 f 个拜占庭验证者的假设下成立；完备性(completeness)则针对由「部署后修改」锚定的查询成立，前提是可获得归档、 attestation 与委员会证据。实验部分在状态规模扩大 50 倍的条件下对比：基础 BUD 路径开销仅上升 1.24 倍，而内存型 MPT 上升 3.1 倍、受缓存约束的磁盘型 MPT 上升 69.5 倍；在合成 trace 上，两摘要的读取层负载保持在 800 字节以下，热哈希路径验证在 p99 下不超过 146 微秒。整体贡献在于把认证读取的成本从「与全量状态规模相关」转为「与单个键的修改间隔相关」，为高吞吐、状态持续膨胀的链上系统提供了一种更可扩展的读取认证架构。该工作属于系统与密码协议层面的设计，面向分布式系统、数据库与区块链基础设施研究者。

本论文提出异步数据传播（Asynchronous Data Dissemination, ADD）问题的新协议，并展示了其在多个密码学和分布式计算原语中的显著改进。ADD 的目标是：在一个异步网络中，只要至少有 t+1 个诚实节点初始持有某消息 M（t 为恶意节点上限），就能安全地将该消息传播给所有诚实节点。作者为 n 方场景设计了一个简单、高效、信息论安全的 ADD 协议，可容忍最多三分之一的恶意节点，其通信复杂度为 O(n|M|+n^2)，其中 |M| 为消息长度。基于该 ADD 协议，论文进一步改进了多个重要原语的通信效率。在抗碰撞哈希函数假设下，提出的异步可靠广播（RBC）协议将通信复杂度从现有最佳方案的 O(n|M|+κ n^2 log n) 降低至 O(n|M|+κ n^2)，其中 κ 为哈希函数输出长度。这一改进直接提升了异步原子广播和异步分布式密钥生成（ADKG）的通信成本。此外，作者结合额外的技术，将异步可验证秘密共享（AVSS）、异步完全秘密共享（ACSS）以及双阈值 ACSS 的通信复杂度从 O(κ n^2 log n) 降至 O(κ n^2)，且无需信任任何可信设置。该工作为构建可扩展、高效的异步分布式系统提供了理论基础，尤其适合对区块链共识、PKI、密钥管理和秘密共享等场景感兴趣的读者。

拜占庭容错（BFT）协议是分布式系统中最难设计和推理的组件之一。近年来，形式化验证领域发展出多种计算机辅助方法，能够对独立（standalone）BFT 协议的安全性与活性进行自动化验证；与此同时，分布式计算社区也尝试将复杂协议拆分为更简单的“构建块”进行组合，以降低设计新协议的概念复杂性。然而，到本文发表为止，还没有任何方法论能够将这两种研究路径统一起来，实现对任意复合式 BFT 协议的基础性（foundational）验证。本文提出了一种复合式拜占庭协议的组合验证方法，核心贡献是建立一套形式化框架，使协议设计者可以基于已验证的简单子协议模块，通过组合规则安全地构建更复杂的 BFT 协议，并自动继承或证明整体协议的期望正确性属性。作者综合运用了并发证明、协议组合理论和自动验证工具，给出了模块化推理规则，并展示了该方法在多个经典 BFT 协议变体上的可行性。这项工作填补了分布式系统形式化验证中的一个空白，有望将 BFT 协议的正确性证明从“一次性、手工程序化”转化为“可组合、可复用”的工程实践。对于研究分布式共识、区块链底层以及安全关键系统的人来说，本文提供了从组合视角系统性验证容错协议的新思路。

本文针对隐私保护传感器融合系统中的安全弱点提出了一种新的协议 CRSF。在典型的传感器-服务器-客户端架构中，不受信任的服务器需要在不学习单个输入或最终输出的情况下，对分布式传感器的测量值进行聚合计算。已有基于混淆电路（garbled circuit）的协议虽然能高效实现该功能，但存在两类关键弱点：一是传感器与服务器之间可能合谋，破坏诚实传感器的隐私；二是拜占庭式恶意参与可能被利用，导致错误地排除诚实传感器或篡改最终融合结果。为应对这些问题，CRSF 引入了基于实用拜占庭容错（PBFT）的提交一致性阶段，并设计了服务器特定、状态相关的标签发布机制，同时为电路输入标签提供阈值保护。这一设计确保任何拜占庭服务器都不能单方面操纵传感器参与状态，也保证任何可容忍的传感器-服务器合谋者都无法获得足够秘密材料来破坏诚实传感器的隐私。CRSF 在提供隐私性、正确性（显式中止）和活性的同时，实现了对抗合谋的鲁棒性。作者在 Google Cloud 上实现了协议原型，并与当前最相关的基线协议进行了在线执行时间对比，在无故障和典型故障场景下测量了总计算与通信开销。实验覆盖多种容错融合电路，传感器数量最多达 261 个，结果表明 CRSF 在鲁棒安全性与协议性能之间取得了高度实用的平衡。本文适合研究安全多方计算、隐私保护数据聚合、以及传感器网络系统中拜占庭容错机制的研究人员阅读。

该论文研究拜占庭原子广播（Byzantine Atomic Broadcast, ABC）问题，这是许可型区块链及多种安全多方计算协议的核心基础组件。长期以来，异步ABC协议要么依赖签名机制导致通信复杂度较高，要么在消息复杂度和时间复杂度上无法达到最优。本文解决了ABC领域一个长期悬而未决的开放问题，提出了首个无签名（signature-free）的异步ABC协议，同时实现最优的 O(n^2) 消息复杂度和 O(1) 期望时间复杂度（其中 n 为副本总数）。该协议的关键创新在于采用了一种出人意料的降级归约方法，将ABC问题归约到一种此前相对被忽视的原语——多值拜占庭协议（Multivalued Byzantine Agreement, MBA）。通过这种巧妙的归约，协议避免了昂贵且耗时的签名操作，仅利用异步网络中的可靠广播和MBA子协议，即可在所有正确副本间达成一致的原子广播顺序。论文从理论层面彻底改进了异步ABC的复杂度上界，为实际区块链系统在无签名环境下的高效共识提供了新的可行性路径。主要贡献包括：1）首次证明无签名异步ABC可以达到消息复杂度和时间复杂度的双重最优；2）重新审视并利用了MBA这一基础原语在构造高效共识协议中的潜力；3）通过形式化分析和证明给出了协议的正确性与复杂度保证。适合对分布式系统、共识算法、区块链底层机制感兴趣的研究人员、协议设计者和安全工程师阅读，尤其适合关注异步网络条件下协议效率与安全性的专业人士。

该论文研究分布式存储系统中的异步可验证信息分散（AVID）协议。分布式存储系统需要保证客户端在存在故障（包括拜占庭故障）的情况下仍能可靠且一致地写入和读取数据。现有AVID协议在拜占庭设置下已实现最优的空间复杂度（存储）和通信复杂度（数据检索），但数据分散和节点恢复这两个关键操作的效率尚未得到足够关注。为此，论文提出了一种高效的AVID协议，同时降低了分散、存储、检索和恢复四个方面的复杂度。协议的核心是一种新颖的二维矩阵数据编码机制，以及一种定制的分散（dispersal）算法。该协议在保持检索通信复杂度最优的同时，显著改善了恢复阶段的通信复杂度（相对现有技术水平）。论文还描述了如何对该协议进行修改，以进一步降低空间复杂度和分散通信复杂度，但代价是检索和恢复的通信复杂度会相应增加。由于所提出的协议在所有考虑的指标之间取得了平衡，因此适用于广泛的真实世界使用场景。本文面向分布式系统、容错计算和区块链底层存储等领域的研究人员与工程师，有助于理解异步拜占庭容错存储协议的最新进展及复杂度权衡。

本文提出 Rondo，一个在部分同步网络模型下具备可扩展性和重配置友好性的分布式随机信标（DRB）协议。DRB 用于为区块链、选举、抽签等应用提供公开可验证、不可预测且无偏的随机数源。现有基于批量异步可验证秘密共享（bAVSS）的 DRB 协议虽然安全性强，但通信复杂度高达 O(n^3)（n 为节点数），严重限制了其在大规模网络中的部署。Rondo 的核心创新是提出一种新的密码学原语——带部分输出的批量异步可验证秘密共享（bAVSS-PO）。该原语是 bAVSS 的弱化版本，但其设计足以支撑安全且可扩展的 DRB 协议，同时显著降低通信开销。作者基于 bAVSS-PO 实现了名为 Breeze 的具体协议，在秘密共享阶段达到最优的 O(n) 消息复杂度，从而使 Rondo 的可扩展性优于此前的 DRB 方案。此外，为支持节点动态加入与退出（重配置），作者还提出 Rondo-BFT，一个受 Dyno（S&P 2022）启发的动态部分同步拜占庭容错协议。与 Dyno 不同，Rondo-BFT 的通信模式能够周期性地生成随机信标输出，因此非常适合 DRB 应用场景。作者在 Amazon EC2 上使用最多 91 个实例实现了完整协议并进行了性能评测。实验结果表明，Rondo 在吞吐量上优于现有工作，且随着节点数 n 增长，性能下降幅度比已有协议更小，展现出更优的可扩展性。总体而言，本文为构建大规模、可动态重配置的分布式随机数服务提供了一种新的高效方案，对依赖可靠随机源的系统设计具有重要参考价值。

本文提出了一种在无中央协调器且无需共识的情况下实现拜占庭容错鲁棒聚合的方法。现有的拜占庭鲁棒聚合规则（如 multi-Krum）通常依赖中央协调器，且因其全局耦合、非结合性和不连续性而难以去中心化——微小的扰动可能导致输出突变。作者提出的 ACFA（Accountable Consensus-Free Aggregation）框架通过复制一个内容寻址的 OR-Set（存储签名贡献）和一个仅增长的自我认证歧义证明集合，实现了无需共识的复制。聚合过程是收敛乘积状态的确定性纯函数：在哈希规范顺序上进行定点整数运算，通过内容哈希打破平局。论文证明了非单调、非结合或随机的 CRDT 收敛乘积的任何纯函数都能继承强最终一致性，并给出了逆命题。原型系统（10个节点，3个拜占庭节点）通过了16/16的验证检查，包括敌对 gossip 下的字节一致根、延迟歧义证明后的确定性重收敛、分区恢复等。该方法的保证是一致性而非准确性；鲁棒性依赖于 2f+3 个已接受的贡献（最多 f 个拜占庭节点）和给定的量化裕度条件。本文适合分布式系统、拜占庭容错和鲁棒聚合领域的研究人员阅读。

该论文研究了基于有向无环图（DAG）的区块链协议，旨在解决CAP定理中活跃性（动态可用性）与安全性在网络分区下的权衡。论文提出了两类协议：结构化传播（针对活跃性）和分级公共前缀（GCP，针对安全性）。对于第一类，作者首次提出了具有恒定预期延迟（3Δ）的DAG协议，在睡眠模型下实现高吞吐量动态可用性，吞吐量随参与度线性扩展，并通过原型验证了性能优势。第二类GCP原语提供了网络分区下的安全性，但弱于标准共识，仅需2个通信步骤（现有低延迟部分同步BFT需4步），且不易依赖单一领导者，对崩溃更鲁棒。实验验证了理论优势。此外，论文将协议扩展到Ebb-and-Flow框架，集成两种协议，实现了混合DAG协议：高吞吐量、动态可用性以及网络分区下的最终性，无需像现有工作那样运行两次标准共识协议。适合对区块链共识、分布式系统容错、性能优化的研究人员和工程师阅读。

本文提出了一种名为 Orcaella 的混合容错协议，针对部分同步状态机复制（SMR）中的混合拜占庭和崩溃故障模型进行了研究。经典的 PBFT 协议需要至少 3f+1 个节点来容忍 f 个拜占庭故障，且每个请求需要三个通信步骤。近期协议如 Minimmit 在更强的规模假设（n≥5f+1）下实现了两消息延迟的快速决策，但要求将任何沉默副本视为潜在的 equivocator。Hydrangea 和 Kudzu 则处理混合故障，提供乐观快速路径和类似 PBFT 的回退路径。本文专注于分析两消息延迟提交的容错性，并证明了紧界 n ≥ 5f+3c+1，其中 f 为拜占庭故障数，c 为崩溃故障数。进一步，作者发现存在一个更具弹性的四消息延迟提交路径，允许额外容忍 f_abc < n-3f-2c 个“活跃但腐败”的故障。核心活跃性保证在最多 f 个 equivocators 的执行中成立；若此条件被违反（例如由活跃-腐败节点引发的分叉），协议将进入同步恢复模式，仅保留弹性路径的安全保证。通过数值示例（f=16, c=6, n=99），该协议可容忍 22% 的副本崩溃（活跃性失败）、16% 的副本作恶（1-RTT 安全性），以及 54% 的副本作恶（2-RTT 安全性）。该研究的主要贡献在于给出了混合故障模型下快速提交路径的精确容错下限，并设计了客户端可选的最终性延迟机制，允许在延迟和安全性之间权衡。

本文提出并分析了拜占庭容错（Byzantine-resilient）的 gossip 协议，即“将军们的流言蜚语”。在分布式系统中，gossip 协议常用于高效地传播信息，但传统 gossip 协议假设所有节点诚实。本文首次系统性地研究了在存在拜占庭故障节点（即任意行为节点）的情况下，gossip 协议仍能正确且高效地完成信息传播的条件。核心方法包括定义拜占庭环境下的 gossip 问题形式化模型，并证明在同步通信假设下，存在一种简单的 gossip 协议可以在拜占庭节点数不超过某个阈值时达成一致。具体地，作者证明了当全球拜占庭节点比例小于 1/3 时，存在一个随机化的 gossip 协议，能够以高概率在 O(log n) 轮内将所有诚实节点同步到相同的消息集合。此外，论文还讨论了异步模型下的不可能性结果，指出在异步拜占庭环境中，没有确定性 gossip 协议可以同时保证活性和安全性。主要贡献包括：提出了拜占庭容错 gossip 协议的全新理论框架，给出了可达性上下界，并通过随机化方法在同步模型下实现了最优容错能力。本文适合对分布式共识、区块链底层协议、安全广播机制感兴趣的研究人员和工程师阅读。

本文针对拜占庭容错状态机复制（BFT-SMR）系统中的配置优化问题展开研究。BFT-SMR是区块链等分布式系统中用于对客户端交易进行全局排序的服务，传统通过冗余机制抵御拜占庭节点，但性能开销大。近期研究通过动态配置优化（如根据网络延迟动态分配领导者角色和调整投票权重）可提升共识性能，然而本文作者发现该过程中存在三个可被拜占庭节点利用的漏洞。为解决这些弱点，提出了Beware框架：首先过滤掉被伪造的延迟报告，然后计算鲁棒的权重分布，并应用机器学习技术收敛到拜占庭容错的配置。实验评估表明，与现有解决方案相比，Beware可将共识延迟降低高达45%。本文贡献在于揭示了现有动态配置优化方案的脆弱性，并提供了自动化、鲁棒的配置重构方法，适用于区块链和广域复制系统。

本文提出了一种名为 Mobius 的协议，旨在解决分布式系统中领导者选举的拜占庭容错问题，特别是针对秘密单一领导者选举（SSLE）场景。在传统的分布式系统中，领导者选举是核心组件，用于选择节点执行任务如分发提案或聚合加密证书，从而确保系统安全与效率。然而，现有方案往往无法同时满足拜占庭容错、秘密性和唯一可验证性。Mobius 协议引入了一种唯一可验证的状态（Uniquely Verifiable State）机制，允许所有节点对选举结果进行独立验证，同时保证领导者身份在选举过程中保持秘密，直到必要的揭示阶段。该协议利用密码学原语如承诺方案和零知识证明，实现了在存在拜占庭节点的环境下的安全性。作者通过形式化分析和仿真实验证明了 Mobius 在抵抗恶意攻击、降低通信复杂度和提升选举效率方面的优势。本文的主要贡献包括：定义了带有唯一可验证状态的SSLE安全模型，设计了高效率的协议流程，并给出了完善的安全性证明。本文适合分布式系统、共识算法和密码学领域的研究人员阅读，理解其中的创新点可为构建更安全的去中心化协议提供理论基础。

本文提出 PROTECT-DB，一种基于拜占庭容错（BFT）复制状态机的方法，用于保护数据库免受破坏，特别是针对攻击者篡改数据库状态的情况。研究背景是组织数据的安全至关重要，而传统备份和审计方法存在检测延迟和恢复效率低的问题。PROTECT-DB 建立在确定性扩展的 PostgreSQL 之上，每个副本独立地执行记录在共享日志（或区块链）中的事务，从而确保所有副本状态一致。系统设计强调高效快速的破坏检测，并支持在事务执行的同时进行快速修复。作者通过性能实验证明了该方法的效率与实用性，显示其在实际数据库环境中的可行性。本文的主要贡献在于将 BFT 复制状态机方法实用化，为数据库提供了一种可抵御拜占庭故障（包括恶意攻击）的保护机制。适合数据库管理员、安全架构师及对高可用和数据完整性感兴趣的读者阅读。

该论文提出MVP-ORAM，一种首个支持无等待并发客户端的Oblivious RAM（ORAM）协议，用于机密拜占庭容错（BFT）存储。现有加密技术无法防止攻击者通过观察数据访问模式进行推理攻击，ORAM通过混淆访问模式解决此问题，但现有协议在支持并发客户端和拜占庭容错方面存在局限。MVP-ORAM无需可信代理或基于客户端间通信/分布式锁的并发控制机制，而是允许客户端并发执行请求并即时合并冲突更新，满足无等待性（wait-freedom），即客户端的进度不受其他客户端性能或故障的影响。由于异步并发ORAM服务中无等待和无冲突根本矛盾，论文定义了依赖于应用工作负载和并发客户端数量的较弱 obliviousness 概念，并证明在客户端访问倾斜的实际场景中MVP-ORAM是安全的。通过将MVP-ORAM集成到现有机密BFT数据存储中，首次构建了BFT ORAM实现。原型系统在云环境中每秒可处理数百次4KB访问，展示了实用性能。

本文提出了一种名为Dumbo-NG的新型异步拜占庭容错（BFT）共识协议（原子广播），旨在解决现有异步BFT共识协议在实际部署中遇到的性能瓶颈。现有的协议虽然实现了线性摊销的通信复杂度，但为了获得最大吞吐量，每个参与节点需要广播大量交易批次，这严重增加了延迟。更糟糕的是，最慢的f个节点（f为故障数）的广播可能永远不会被输出，从而被审查。针对这一威胁，现有的缓解措施要么采用计算开销大的阈值加密，要么导致通信量激增，进一步降低了效率。Dumbo-NG的核心技术贡献是创新地将异步原子广播直接归约到具有质量属性（quality property）的多值有效拜占庭协议（MVBA）。新的协议结构支持交易分发与异步共识完全并发执行，带来了两个主要好处：（1）解决了吞吐量与延迟之间的矛盾，使得在接近峰值吞吐量时延迟几乎不增加；（2）任何诚实节点广播的交易都可以被同意输出，从而无需额外成本即可抵御审查威胁。作者实现了Dumbo-NG，并与当前最先进的具有审查鲁棒性的异步BFT协议（包括Dumbo CCS'20和Speeding-Dumbo NDSS'22）进行了对比。此外，还将Speeding-Dumbo的技术应用于DispersedLedger（NSDI'22），得到了改进变体sDumbo-DL以进行更全面的比较。大量实验表明：Dumbo-NG实现了更好的峰值吞吐量性能，并且其延迟在吞吐量增长时几乎保持稳定。