在通信受限的分布式系统中，周期性传输 Bloom filter 会带来可观的带宽与能耗开销。已有的两类思路各有取舍：无损压缩能完整保留成员性语义，但传输尺寸是固定的、无法按需缩减；OR 折叠（OR folding）可以生成更小的表示并保持“无假阴性”这条关键性质，代价是假阳性率（FPR）上升。本文研究的核心问题是：既然折叠后的表示存在多个可选的“保真度—尺寸”工作点，发送方能否根据当下可用的通信资源动态挑选其中一个？作者提出信道感知（channel-aware）的折叠选择框架：发送方始终保留一份未修改的规范过滤器（canonical filter），预先构造出一个满足给定最大 FPR 约束的候选表示目录，并在每一次报告机会上，依据当时可用的通信条件，在满足 FPR 门槛的候选中选择“保留长度最大”（即保真度最高、体积最大但可被承载）的那个表示进行传输。与以往主要受基数规模与假阳性约束驱动的折叠策略不同，这里的决策由随时间变化的信道状况驱动。评估使用两个钓鱼 URL 数据集作为成员集合，并在三种信道模型下进行：五状态马尔可夫容量模型（Five-State Markov Capacity）、Gilbert–Elliott 突发错误模型以及 Rayleigh 块衰落模型。结果表明：当通信机会在时间上波动明显时，信道感知折叠相比“发送完整过滤器”和“无损压缩”两种基线，能同时提升通信效率与接收端状态的新鲜度（freshness）；在条件更友好的 Gilbert–Elliott 模型下，它在效率上仍具竞争力，并能让接收端维持最新的过滤状态。作者由此得出结论：满足 FPR 约束的折叠视图构成了一类有价值的传输工作点，尤其适用于“接收一份较新但保真度略低的更新”优于“延迟等待一个更大表示”的场景。该工作属于理论建模与仿真验证性质，未涉及真实部署或对抗环境下的实测。

拜占庭协议（BA）是分布式系统的核心基础组件，多实例执行下的安全性分析近年受到越来越多关注。然而现有敌手模型大多只考虑节点被腐化，忽视了通信信道被对抗性操纵带来的重要威胁。攻击者可通过信道攻击在多个协议执行实例之间对消息进行重排序，从而破坏协议的安全保证。本文提出首个将节点腐化与信道攻击相结合的敌手模型，并基于该模型为并行组合与并发组合下的拜占庭协议建立了新的安全阈值，给出互相匹配的不可能性与可能性结果，形成紧界。不可能性方面：即使采用认证拜占庭协议，当 n ≤ 3t 或 n ≤ 2c + 2t + 1 时，在并行组合下也无法保证安全，其中 t 为被腐化节点数，c 为通信信道数，n 为节点总数。可能性方面：作者证明当 n > max{3t, 2c+2t+1} 时，未认证拜占庭协议在并行与并发组合下存在安全协议。为此，作者首先给出通用黑盒编译器，可将任意单实例安全的 BA 协议转换为在并行与并发执行下安全，且不引入额外安全假设；为优化性能，进一步利用纠删码设计精化编译器，显著降低通信开销，尤其对长消息可达到相对原协议的常数倍乘性开销，从而保持相同的渐近通信复杂度。该工作为多实例协议的组合安全分析提供了首个同时涵盖节点腐化与信道重排序的模型与紧界，并给出可落地的通用与优化编译方案。

本论文提出异步数据传播（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、密钥管理和秘密共享等场景感兴趣的读者。

DAG（有向无环图）共识中，网络内所有验证者并发提出区块，但只由指定的主节点（leader）的区块来驱动交易的最终提交。设计上每轮可以设置多个leader槽位，从而降低排队延迟；但主流生产部署仍然只使用单一leader，原因在于队头阻塞（head-of-line blocking）现象——当某个leader速度较慢时，整条流水线至少要等待一个leader超时周期，而且在其槽位需要依赖回退的间接决策规则时，延迟可能扩大到多个wave。leader数量越多，这种风险越严重。现有静态配置无法兼顾健康网络下的低延迟与慢节点场景下的稳定性。 为此论文提出Barnacle：一种运行时可自适应调整leader数量的“附加层”。Barnacle每隔一个固定的时间间隔，在已经达成一致的“已提交DAG”上测量有多少比例的槽位是依靠“直接提交规则”完成的，以此估计当前网络健康程度，并使用“加法增大、乘法减小”（AIMD）的经典控制策略来动态调节leader数量。这套测量完全基于既有的共识输出，不引入任何额外消息、不需要密码学假设，而且是确定性的，因此不同验证者会得到一致的决策。 Barnacle对底层DAG协议不做假设，具备通用性。作者将其实例化到四种协议上，覆盖拜占庭（3f+1与5f+1）、仅崩溃（2c+1）以及混合（5f+3c+1）容错模型，并给出了安全性（safety）与活性（liveness）证明。实验结果显示：健康网络下，Barnacle的端到端延迟比固定单leader配置低6%～13%；而在网络退化场景中，Barnacle的表现与单leader相当，同时比固定高leader数配置低35%～56%，即它能够动态找到用户在当前网络状态下的最优leader数。当前作者正与Sui区块链团队合作，打算将Barnacle集成进Sui网络。 适合读者：分布式系统、共识算法与区块链底层架构研究者，以及公链/联盟链的节点实现与运维团队。

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

该论文研究分布式系统与授权模型中的一个根本性缺口：授权“何时”才算真正结束？论文指出，即使系统报告撤销完成、达到干净状态或操作成功，先前已授权的执行路径仍可能在提供方（如消息中间件、编排平台）未违反自身契约的前提下，继续产生应用程序明确拒绝的效果。作者将这种问题的缺失定义为“策略相对效果闭包”（policy-relative effect closure），简称效果闭包。一个授权是“闭合”的，当它既不存在任何能通过既有授权路径触达被拒效果的路径，也无法再签发新的相关授权。为判定接口能否真实报告闭包，论文提出 EFFECTBOUND 方法：它利用带证据支持的有限契约，把问题归约为带隐藏状态的有限控制，并输出三种结果——控制策略（如何达到闭包）、不可能性证书（证明无法闭包）、或在证据不足时不作判定。机器可检查的证明确立了该归约与检查器的正确性；检查器既能自动推导闭包结果，也能验证外部证书。作者在 GitHub、Kubernetes、NATS 和 Kafka 四个真实系统中实证分析，发现闭包会以三种方式失效：接口缺少所需控制、清晰可见状态掩盖了仍在运行的工作、或模型在“效果边界”（可以阻止效果的最后一点）之前就停止。具体案例包括：GitHub 的合并工具无法将合并操作绑定到已审阅的特定提交，受控试验证明它可能合并另一个提交；NATS 可报告没有存储或待处理消息，但已投递的工作仍可向下游发布；Kafka 中所有固定集合的 broker 都已应用撤销，但一个早先被授权的请求仍能追加写入。作者随后引入一种“门控”（gate）机制：阻止对已撤销权威的新使用，并延迟接口返回，直到先前在途工作全部完成。在固定集合的 Kafka 4.3.1 测试部署中，该门控成功闭合了典型的同步、非事务性写入路径，且不会阻塞无关请求。结论是：一项授权的真正终结，不仅要求停止签发新授权，还必须保证任何早先授权都无法再触达被应用拒绝的效果。论文面向分布式系统、授权与撤销机制、以及安全形式化方法的研究者。

本文针对分布式数据处理场景中因服务提供商组合而引发的隐私风险问题展开研究。具体而言，当多个合作的服务提供商共同处理个人数据时，即使每个提供商单独进行的数据保护影响评估（DPIA）均未发现风险，组合后的整体仍可能产生新的隐私风险。文章举例说明：不同数据处理者可能不知情地依赖同一家云服务提供商，导致该云服务商能够将来自不同来源的个人数据进行关联（linkability），从而产生非预期的隐私泄露。这类组合性风险超出了单个风险评估的范围，因此容易被传统DPIA流程遗漏。针对这一问题，作者首先进行了问题定义和需求分析，明确了组合风险识别所需的功能与约束。在此基础上，提出了一种新颖的协议，用于检测和管理此类组合性隐私风险。该协议能够识别潜在的组合风险候选者，并将相关信息整合到包含多个数据处理者的服务组合的数据保护影响评估结果中，从而提升评估的完备性和准确性。论文的主要贡献在于：首次系统性地定义了服务组合中的隐私组合风险问题，并给出了可操作的协议设计思路，为分布式隐私合规评估提供了理论和方法支撑。适合隐私保护研究人员、数据保护官（DPO）、云服务合规工程师以及隐私影响评估工具开发者阅读。由于当前仅基于论文摘要，具体协议细节和实验验证效果需进一步查阅原文。

这篇论文提出了 RandRunner，一个面向现实系统模型的随机信标协议。随机信标是分布式计算中的基础原语，用于为拜占庭容错（BFT）协议、区块链以及更广泛的应用提供不可预测且一致的随机数源。传统随机信标通常依赖 BFT 共识协议来对随机输出达成一致，这带来了较高的复杂度和通信开销。RandRunner 的核心创新在于：它不需要 BFT 共识协议，而是通过引入一种新颖的可验证延迟函数（VDF）扩展来实现安全性。该扩展基于 RSA 设置，不需要可信设置者（trusted dealer）或分布式密钥生成（DKG），仅依赖已被充分研究的密码学假设。这种设计使 RandRunner 能够容忍恶意或故障的领导者，同时保证协议在可能存在的异步期间仍然具备安全性和活性。论文的主要贡献包括：提出了一个避免共识开销的随机信标协议；在 RSA 环境下设计了具有强唯一性的 VDF 扩展；给出了协议在异步和同步交替环境下的安全性证明（基于摘要推测）。适合对分布式随机性、可验证延迟函数、BFT/区块链底层原语感兴趣的研究人员和工程师阅读。

本文提出了一种名为 HashRand 的高效异步随机信标协议，旨在解决区块链、投票、安全分布式计算等场景中对不可预测且无偏随机性的需求。现有随机信标协议大多依赖阈值密码学设置或存在高计算开销，部分协议还要求网络部分同步或具备有界延迟，这些限制影响了其部署的灵活性和效率。HashRand 仅依赖安全哈希函数和节点间的安全信道即可生成随机信标，无需阈值密码学，从而避免了复杂的密钥管理和初始化过程。在通信复杂度方面，每个节点每生成一个信标的均摊通信开销为 O(λn log n) 比特，其中 n 为节点数。计算效率上，由于一次单向哈希计算的时间比离散对数指数运算低两个数量级，HashRand 较同类协议显著降低计算成本。此外，利用哈希函数对量子攻击的安全性，HashRand 实现了后量子安全属性，这使其区别于基于离散对数密码学的现有协议。实验部分，作者在由 136 个节点组成的地理分布式测试床上进行了评估，结果显示 HashRand 每分钟可生成 78 个信标，吞吐量至少是 Spurt（IEEE S&P'22）的 5 倍。为了展示实际效用，作者还基于 HashRand 实现了一个后量子安全的异步状态机复制（SMR）协议，在 16 个节点的广域网环境中，其响应率达到每秒超过 13.5 万笔交易，延迟为 2.3 秒。本文的核心贡献在于设计了一个兼具通信和计算效率的异步随机信标协议，同时具备后量子安全性，并通过原型验证了其实用性，适用于对随机性可靠性要求高且网络环境为异步的分布式系统。

在分布式系统中，选择可信赖的协作者对于高效完成任务至关重要，通常需要从过去的协作经验中推断其可信度。然而，协作者在过往协作中可能服务于不同设备、面临不同场景，导致其信任相关数据具有多源、异构且质量不均的特点。传统信任评估方法难以处理这种复杂情况，准确性不足。针对该问题，论文提出了一种基于多视角证据学习（MVE）的信任评估方法。首先，为了处理多源异构的信任数据，方法将每个与潜在协作者交互过的任务所有者视为一个独立的观察视角，从而评估协作者在该视角下的特定信任。其次，针对信任随环境动态演化的问题，利用Mamba模型强大的长序列建模能力，捕获每个视角中协作者信任状态的深层时间模式。再次，为了量化各视角信任评估的确定性水平，方法引入证据深度学习机制，在输出信任评估结果的同时，量化其背后的主观不确定性。最后，设计了一种动态证据融合策略，根据各视角量化的不确定性自适应地集成多视角证据，从而得出对协作者的最终信任评估。实验结果表明，MVE方法在信任评估准确率和任务成功率两方面均优于现有基线方法。该研究为分布式环境下的信任管理提供了新的思路，尤其适用于需要融合多维不确定信息的场景。

本文提出 TockOwl，据称是首个具备故障自适应能力的异步共识协议。传统拜占庭容错（BFT）协议在遭遇崩溃故障时通常会出现瀑布式的性能下降；部分协议虽能避免这种骤降，但代价是在无故障场景下增加通信与轮次复杂度。TockOwl 通过设计实现二次方通信复杂度和常数轮次复杂度，在无故障场景下保持高效；同时具备崩溃鲁棒性，在面对崩溃故障时维持稳定性能，从而达成故障自适应。进一步地，作者提出 TockOwl+，在网络层面增加自适应性：融合快速与慢速双轨道，并采用对冲延迟机制，使其在异步环境中无需等待超时即可获得接近部分同步协议的低延迟。与最新的双轨协议相比，TockOwl+ 的慢轨设计更简单，在完全异步环境下缩短延迟。该研究主要面向分布式系统与共识算法领域，对依赖 BFT 共识的区块链、分布式账本及容错系统有潜在参考价值。由于仅基于摘要分析，具体实验细节和形式化验证尚待原文确认。

本文研究多参与方容错共识问题，特别关注一般性（非阈值）对手模型下的通信复杂度下界。作者基于有限射影几何构造了一个无限族 Z_proj^{n,d} 的对手结构，该结构满足 Q^d 条件（即任意 d 个对手集合的并集不覆盖全部参与者）。对于这类对手结构，作者证明：在无错误、R 轮协议中，实现 L 比特输入的交互一致性（interactive consistency）需要 Ω(L·n^{2+1/d}) 比特的期望通信量；而拜占庭同意（byzantine agreement）和广播（broadcast）则需要 Ω(L·n^{1+1/d}) 比特。在异步网络中，可靠广播和拜占庭同意也需要 Ω(L·n^{1+1/d}) 比特的期望通信量。此外，相关构造 Z_2-proj^{n,d} 使核心集合同意（core set agreement）需要 Ω(L·n^{2+1/d}) 比特。这些异步下界对发送遗漏（send-omission）对手成立，且即使协议使用密码学也无法避免。其核心论据是：如果某个法定人数（quorum）的非故障方达成一致输出并终止，那么他们在终止前发送的消息必须足以让法定人数之外的方也能以相同输出终止。令人惊讶的是，如果不需要参与者在输出后停止发送消息，则这些下界不再成立。作者设计了一个非终止的容忍遗漏的可靠广播协议，可针对任意参数 δ>1 调整，通信成本为 (1 + 1/(δ-1))·L·n + O(δ·n^2·log(δ·n)) 比特，这一结果本身具有独立意义。最后，作者展示了如何在满足 Q^d 条件下以 O(L·n^{1+1/d} + n^2·log n) 比特实现终止，从而证明异步下界是紧的。本文为一般对手结构下的共识协议通信复杂度提供了重要的理论界限，对分布式系统安全性设计具有指导意义。

Vantage 是一篇关于拜占庭容错（BFT）共识协议的学术论文，发表于分布式计算领域（cs.DC）。传统的高吞吐无签名 BFT 协议依赖数字签名来提供可转移的证据，使区块和投票能够被第三方验证，但签名带来额外开销。本文提出了一种仅使用认证通道和抗碰撞哈希的异步拜占庭容错协议 Vantage，支持 n ≥ 3f+1 个参与方。Vantage 将数据块发布在由哈希链接的作者通道上，每个视图的提议者将具有法定人数可用性的核心清单（core manifest）与乐观的提示清单（tip manifest）配对。论文引入了一种新原语——可用性分级广播（AGB），它基于第一手响应的法定人数使核心不可逆转，同时对提示进行分级而非阻塞。未解决的提示后续通过无签名控制日志密封，每个正确方根据自身记录检查解析结果；崩溃只影响静默视图，可通过法定人数的跳过投票跳过。AGB 使已发布块在发布后一个消息延迟内即可有资格被提议，达到与签名乐观提示设计相同的效率。在实验部分，当所有参与方正确且消息延迟为 δ 时，纯数据提议在发送后 2δ 内获得全部 n 个第一手确认并封存，因此块在发布后 4δ 内排序；若发布与下一次提议对齐，则可在 3δ 内完成。论文证明了异步下的安全性，并在全局稳定时间后保证活性。在模拟的十区域广域网（100 个参与方）中，Vantage 在所有接受的负载下中位延迟低于最接近的基于签名和无签名协议，并以低于 500ms 的中位延迟每秒排序 239k 个 512 字节交易。该研究对无签名 BFT 协议的性能提升具有重要理论贡献，适合分布式系统、共识协议和区块链底层基础设施的研究者阅读。

本文提出 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 增长，性能下降幅度比已有协议更小，展现出更优的可扩展性。总体而言，本文为构建大规模、可动态重配置的分布式随机数服务提供了一种新的高效方案，对依赖可靠随机源的系统设计具有重要参考价值。

本文提出了一种名为 Pando 的高可扩展拜占庭容错（BFT）协议，旨在解决传统 BFT 协议在副本数量增加时性能急剧下降的问题。现有 BFT 协议通常只能扩展到约一百个副本，尤其是在低端机器上性能受限。作者采用委员会采样（committee sampling）方法，即从所有副本中随机选择一个小型委员会执行共识，再将结果广播给所有副本。此前类似方法主要关注拜占庭协定（BA）问题，且仅考虑副本之间的交互，并未在客户端-副本模型下解决 BFT 问题，同时大多停留在理论层面，仅适用于实际中不可行的大规模节点数。Pando 在部分同步环境下，基于委员会采样实现了高效、可扩展且自适应安全的 BFT 协议。在 Amazon EC2 上的实验表明，与现有协议相比，Pando 在广域网环境中能够轻松扩展到一千个副本，并达到 62.57 ktx/sec 的吞吐量。该研究的主要贡献在于将委员会采样思想具体落地为可实际部署的 BFT 协议，大幅突破了可扩展性瓶颈，为大规模分布式系统中的容错共识提供了新方案。适合对 BFT 协议、分布式系统性能优化以及区块链底层共识机制感兴趣的研究者和工程师阅读。

本文提出了一种新的向量共识原语——聚合向量共识，专为异步网络设计。传统的共识协议通常只输出单个值，而该原语通过聚合来自不同进程的独立输入，输出一个值向量，从而实现更高效的一致性。基于该原语，作者设计了Juno协议，一个异步公共子集（ACS）协议，它完全实现了聚合向量共识，并达到了最优的O(n²)消息复杂度。作者将Juno与经典HoneyBadgerBFT和当前最先进的Dory协议进行了对比实验，结果显示Juno在平均吞吐量上比HoneyBadgerBFT提升了93%，比Dory提升了47%。这项工作填补了向量共识协议在完全异步网络中应用的研究空白，为异步区块链共识提供了新的高效解决方案。论文的主要贡献包括：定义聚合向量共识的新原语；设计并实现了最优复杂度的ACS协议；通过实验证明了其有效性。适合对分布式系统、区块链共识算法及BFT协议感兴趣的研究者和工程师阅读。

该论文提出 Hermes，一种旨在降低 BFT（拜占庭容错）协议尾延迟的新型共识协议。在基于领导者的 BFT 协议中，视图的最终化完全依赖领导者：如果领导者崩溃或响应缓慢，该视图将无法达成任何最终化；而结束视图的超时设置也面临两难：保守的超时会让每次崩溃演变为长时间停顿，激进的超时则会使仅慢速的领导者视图被浪费。无论哪种情况，过期视图产生的延迟损失都成为影响尾延迟的主要因素，而非正常情况下。Hermes 的核心思路是让过期视图也能完成最终化，从而消除这一权衡。Hermes 是一个两轮轮转领导者协议，适用于 n=5f+1 个进程、部分同步网络模型，其基础是前缀共识：投票携带的值按前缀关系排序，法定人数要求的是可比较性而非相同值。每个进程在视图开始时广播一个经过验证的提案，并仅投一票——要么在收到领导者提案后投给该提案，要么在超时后投给一个后备提案；协议不需要空投票。如果领导者诚实且及时，其完整提案可在 2δ 时间内最终化；否则，任何 n-f 个投票（即使它们互不一致）也能最终确定最重的公共前缀。Hermes 还被实例化为一个最终化小工具，部署在可用链之上，并采用类 Autobahn 的多通道传播机制：通过父相对增量尖端（parent-relative delta tipcuts）和显式跳过，使独立的提案保持可比较性；同时利用发送者索引的擦除编码放大，将每条视图的复杂度控制在 O(n^2·m̂ + λn^3) 比特和 O(n^2) 条消息，其中 m̂ 是 Autobahn 中的并发传播通道数，λ 为安全参数。论文的主要贡献在于从理论上重新设计了 BFT 协议的视图切换机制，使得旧视图不再被白白浪费，从而显著改善系统在故障场景下的尾延迟表现，为高可用分布式系统提供了新的思路。适合对共识算法、区块链性能优化和分布式系统容错性感兴趣的研究者与工程人员阅读。

本文提出了一种可扩展的可问责拜占庭协议（Scalable Accountable Byzantine Agreement, SABA），解决了传统拜占庭协议在参与方数量增加时通信开销过高的问题。SABA 能够在线性时间内完成协议，且不需要认证通道或公钥基础设施（PKI），仅依赖异步网络模型。核心方法包括：利用可问责的故障检测机制，在协议执行结束后识别并证明拜占庭节点的行为；通过分片和随机抽样技术，将计算和通信复杂度从 O(n^2) 降低到 O(n)。论文进一步展示了如何将 SABA 用于构建可问责的原子广播（Accountable Atomic Broadcast），并探讨了在区块链共识（如 HotStuff）中的应用。实验证明，在 1000 个节点的规模下，SABA 的延迟和消息复杂度均远低于现有方案。主要贡献包括：首次实现线性复杂度的可问责拜占庭协议；提出一种通用的可问责故障检测框架；展示了可问责性如何提升分布式系统的安全性和可审计性。该研究适用于需要高容错性和可追踪性的分布式系统，如联盟链、跨链通信和关键基础设施。

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

本文针对分布式系统与AI智能体中基于持有的授权模型（Proof-of-Possession）的局限性，提出了一种名为Proof-of-Continuity的权威传播时间模型。传统授权依赖令牌、凭证或能力等工件，但无法保证离散执行链中请求来源与后续步骤权威之间的因果关系，导致混乱代理（Confused Deputy）问题。本文提出的Provenance Identity Continuity（PIC）模型引入最小权威传播规则：每个执行步骤必须与前一步骤具有因果联系，且仅能传播来源授权上下文的一个非扩张子集。核心原语是Proof of Relationship（单跳因果原语），其传递闭包构成Proof-of-Continuity。该模型不是替代而是补充现有的证明持有模型。在此模型下，混乱代理条件无法成为有效模型行为——后续步骤的任何特权必须在来源授权上下文中已存在。该工作对分布系统与AI智能体特别相关，当执行器持有多个授权源调用工具和后端服务时，同一权威/因果错位问题跨服务边界反复出现。Proof-of-Continuity允许这些源一起携带但永不合并为组合权威，因为每个步骤仅针对导致其发生的血统授权上下文进行授权。论文侧重授权传播而非身份验证：OIDC、可验证凭证、钱包、工作负载身份等身份与认证机制仍是建立来源的补充手段，而Proof-of-Continuity解决来源存在后权威如何传播的问题。实验部分（摘要未提及）应在正文中展示模型形式化分析与安全性证明。适合分布式系统安全研究员、AI安全工程师、授权协议设计者阅读。

这篇论文提出了一种名为 PACE 的拜占庭容错（BFT）协议，旨在解决传统 BFT 协议在并行化方面的瓶颈。现有的 BFT 协议通常顺序执行共识实例，导致吞吐量受限于单线程性能。PACE 通过引入“可重新提议的拜占庭协议”（Reproposable Byzantine Agreement）概念，使得多个共识实例可以并行执行，同时保证安全性。核心思想是允许节点在未完成前一个实例的情况下，重新使用同一个协议实例来提议新的值，从而消除串行化依赖。论文详细描述了 PACE 的协议设计、正确性证明，并通过实验评估展示了其在高吞吐量场景下的显著性能提升，与现有最优的并行 BFT 协议相比，吞吐量提高了数倍。该工作对提高分布式系统、区块链网络的性能和可扩展性具有重要理论价值。

本文针对草根平台（grassroots platforms）——由通过自选公钥标识的人及他们的智能手机组成的分布式系统——提出了一种安全保障方案，以应对重大故障：私钥丢失和/或智能手机丢失。由于草根平台没有全局资源可供恢复，本文设计了基于对等的解决方案，核心要素包括：(1) 草根社会图谱，其中代理建立并维护友谊关系；(2) 身份托管人（identity custodians），由每个人指定；(3) 状态托管人（state custodians），特定于草根平台。当个人遭遇身份丢失时，在获得该人身份托管人超多数同意的前提下，其朋友可在图谱中用新公钥替换旧公钥并恢复友谊关系，此时所有朋友都充当社会图谱的状态托管人。选择新密钥对、获取新智能手机以及说服身份托管人同意更换密钥均发生在“链下”。仅机器丢失（如手机被碾压或内存擦除）而密钥未丢失的恢复更简单，只需状态托管人的帮助。论文将社会图谱及其安全版本规范为受监护的多智能体原子事务，并通过通信意愿代理（communicating volitional agents）实现安全社会图谱，这是一种更接近实现的、最终同步的消息传递模型。作者证明了该实现能将存在可恢复故障的运行映射到规范的正确运行。类似的方法也应用于草根货币和债券，展示了状态恢复的共同核心以及平台特定方面：货币的单写者日志被精确恢复，恢复后的主权避免双重支付。

该论文提出了一种名为 Everdeen 的低成本、鲁棒的全球时间同步系统。许多关键应用（如金融交易、电力网络、通信系统）依赖精确的时间同步，但现有方案存在单点故障（如依赖单一GNSS或租用基础设施）或成本高昂的问题。基于互联网的时间同步虽然成本低，但面临三个挑战：精度低、对故障或恶意节点的鲁棒性差、以及无法抵御拥塞和分布式拒绝服务（DDoS）攻击。现有研究仅部分解决了前两个挑战，而Everdeen同时应对了所有三个挑战。Everdeen的核心创新是加权邻居同步模式（WNB），节点仅与直接邻居进行同步，无需依赖任何单一实体，通过分布式协商实现高精度时间同步。实验评估表明，Everdeen在通信开销更低的情况下，提供了比先前工作更好的时间同步质量；对故障、配置错误或受损主机的鲁棒性显著增强；最值得注意的是，即使在网络拥塞或大规模DDoS攻击下，Everdeen保护的时间同步流量也完全不受影响。该工作适用于需要低成本、高可靠性时间同步的分布式系统开发者、网络安全研究人员以及关键基础设施运维人员。

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

本文提出了一种名为“语义非组合”（Semantic Non-Assembly, SNA）的新型隐私保证框架。与传统的基于保密性、访问控制或统计披露限制的隐私模型不同，SNA 从“暴露发生时信息收益”的角度定义隐私：即使攻击者能够完全暴露和解密某个子系统中的任意组件（低于阈值），也无法获得可操作数据。核心思想是阻止任何低于指定阈值的组件联盟组装出足以评估特定谓词的完整输入域赋值。该保证是结构性的，通过体系架构而非策略实现，且隐私属性在组件被攻陷时以可预测的方式退化，而非单点崩溃。参考实现将结构保证与经过审计的组织约束相结合（附录A形式化描述）。论文形式化了SNA保证，并使用ProVerif验证了四个关键属性：设备非关联性、注册观测器非识别性、提交服务器盲目性以及主动防御门正确性。前三个属性通过双通道溯源架构实现。Birthmark标准实例在受限捕获硬件上实现了该保证，展示了零知识证明方法计算不可行场景下的可部署性。所有形式化属性和范围限制均记录在附录A中。该工作适合对隐私架构、分布式系统安全及形式化验证感兴趣的研究人员阅读。

该论文针对 Conflict-free Replicated Data Types (CRDTs) 在拜占庭环境下的容错问题展开研究。传统 CRDT 假设参与者无恶意行为，通常依赖验证或排除机制处理拜占庭错误。论文提出一种确定性状态重构方法：不判断哪些更新是可接受的，而是将所有接受的更新纳入，但只有其中一部分子集用于重构最终状态。作者在 Melda 系统中实例化了该方法，Melda 是一种非侵入式的增量状态 CRDT，专门用于 JSON 文档。理论证明表明，即使存在任意恶意更新注入（包括歧义、遗漏或消息重排序），基于同一更新集合的副本也无法发生状态分歧。此外，论文展示了认证、授权和机密性机制可以分层叠加而不影响收敛性。核心贡献在于将更新传播与状态推导解耦，使拜占庭容错可以通过外部共识或分发机制独立处理更新一致性，从而在无协调前提下实现拜占庭弹性。该工作适合分布式系统、区块链、去中心化应用开发者及研究人员阅读。

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

现有的去中心化标识符（DID）方法通常需要某种形式的协调或全局顺序来更新DID文档。基于区块链的方法会产生费用和延迟；轻量级对等方法（did:key, did:peer）不支持更新；Sidetree等方案仍依赖区块链排序。本文提出 did:crdt，一种符合W3C DID Core规范的全新DID方法，彻底消除了对协调机制的需求：无需账本、无需序列发生器、无需全局总序。每个DID文档由多个签名的无冲突复制数据类型（CRDT）组成，每个字段对应一个CRDT，并发编辑可以确定性地合并。根据CALM定理，其状态合并路径是汇合的：只要副本观察到相同的更新集合，无论到达顺序如何，最终都能收敛到一致的文档。签名增量路径仅需因果传递（即更新必须在它所依赖的更新之后应用），这比总排序弱得多，且无需任何共识协议。论文明确了范围：所有不可信对等路径均经过认证，因此签名增量和验证包重放具备拜占庭容错性（即使用户作恶或发送恶意数据也能保证安全）；未认证的状态合并路径是可信域内的优化手段；密钥泄露恢复受撤销语义限制。论文详细给出了数据模型、威胁模型、CRUD语义、冲突解决规则，并提供了Rust参考实现，通过了基于属性的收敛测试，合并延迟达到微秒级。该工作为去中心化身份管理提供了一种高效、低延迟且无需协调的新型基础设施。

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

本文提出 Bullshark，一种基于有向无环图（DAG）的异步拜占庭原子广播协议，专门针对常见的同步场景进行了优化。与以往的 DAG 拜占庭容错（BFT）协议类似，Bullshark 在构建 DAG 之上无需额外通信即可达成共识：参与者仅通过解读本地视角的 DAG 边即可对顶点进行全序排列。与其他异步 DAG 协议不同，Bullshark 提供了一个实用的低延迟快速路径，该路径利用同步周期，摒弃了传统繁琐的视图更换机制，同时保留了其前身 DAG-Rider 的所有理想特性：最优的摊还通信复杂度、公平性、异步活跃性，以及即使面对量子对手也能保证的安全性。为了证明其实用性和简洁性，作者还引入了 Bullshark 的独立部分同步版本，并与现有最优方案进行了对比评估。实现的协议极为简洁（在现有 DAG 内存池实现 Narwhal & Tusk 之上仅 200 行代码），且效率极高：例如在 50 个节点的部署中，可实现每秒 125,000 笔交易，延迟仅 2 秒；相比之下，现有最优方案为了优化异步性能而付出了 50% 的延迟增长代价。本文适合分布式系统、区块链共识以及 BFT 领域的研究者和工程师阅读。

该论文提出了一种名为 SECUREVENT 的混合 AI/ML 安全监控架构，用于分布式事件驱动系统。随着物联网遥测、云原生微服务和安全运营管道等场景的普及，分布式事件系统（如发布/订阅服务）的松耦合和异步交付特性在提升可扩展性的同时，也扩大了攻击面：发布者、代理、订阅者、主题、模式和时间顺序都可能被滥用，而单一组件无法观测全局行为。SECUREVENT 架构结合了传统安全机制（如认证传输、主题级授权、签名事件）与在线异常检测、图感知行为特征、复杂事件策略规则、联邦学习以及对抗性机器学习治理。通过在合成事件流攻击上的确定型原型研究，展示了混合 AI/CEP 监控器在保持低误报率的同时，如何提升静态规则的召回率。核心观点是：当事件流、身份、模式和时间关系过于动态，静态控制不足以应对时，基于模型的安全监控是必要的。该研究适合安全架构师、事件驱动系统开发者和安全运营人员阅读。

本文提出了一种新的密码学原语——摊销阈值对称密钥加密（ATSE），旨在解决现有阈值对称密钥加密（TSE）方案在处理大量数据时的高交互开销问题。传统TSE（如Agrawal等人CCS'18提出的DiSE框架）要求每次加密或解密操作都必须与阈值数量的服务器交互，这在处理大型数据集时会导致巨大的计算和通信负担。ATSE允许拥有敏感数据访问权限的“特权客户端”仅通过一次交互就能加密大量消息，从而显著提升批量加密性能；同时，对于非特权客户端，每次解密仍需要交互，从而保证了与DiSE相同的隐私和认证安全级别。作者通过形式化一种名为“灵活阈值密钥派生（FTKD）”的新原语来构造ATSE方案。FTKD允许各方以阈值方式在不同模式下交互式地派生伪随机密钥。FTKD的构建基于Boneh和Waters（Asiacrypt'13）的左右约束伪随机函数（LR-CPRF）的分布式变体，并使用了双线性配对。尽管引入了双线性映射，但通过摊销交互成本，该方案在实验中实现了显著的速度提升：在特定设置下，延迟降低了40倍，吞吐量提高了30倍。本文的主要贡献包括：(1) 提出ATSE概念，定义其安全模型；(2) 形式化FTKD原语并给出基于双线性配对的构造；(3) 通过原型实现和实验验证了性能优势。该研究对于需要高效批量加密的分布式安全应用（如云存储、安全审计日志加密等）具有重要参考价值。

本文提出了 Cirrus，一个高性能且具有问责性的分布式 SNARK（简洁非交互零知识证明）系统。分布式 SNARK 允许多个证明者协作生成证明，同时确保任何一方都无法作弊而不被追责。Cirrus 在保持零知识证明安全性的前提下，通过优化通信复杂度和计算开销实现了可扩展性。论文可能采用了新的密码学原语或协议设计，以解决现有分布式证明系统中效率与可问责性难以兼得的问题。实验结果表明，Cirrus 在证明生成速度、验证开销及系统吞吐量方面优于现有方案。该工作对隐私保护计算、区块链扩容以及可验证计算等场景具有重要价值。由于未提供完整摘要，上述细节基于标题推断，建议进一步阅读原文。

本文提出 PIRANHAS，一种针对非层次异步无人机群（swarm）的隐私保护远程证明（Remote Attestation）协议。在无人机群等大规模分布式系统中，远程证明用于验证节点的软件完整性，但现有方案往往假设层次结构或同步通信，且缺乏对节点隐私的保护。PIRANHAS 利用安全硬件（如 TPM）和密码学技术，实现无需信任中心服务器的分布式证明。协议核心包括：1）基于承诺（commitment）和零知识证明的节点身份隐藏机制，防止攻击者关联证明请求与具体节点；2）异步消息传递模型，适应蜂群中节点可能离线或通信延迟的现实；3）可扩展的聚合证明，减少通信开销。实验评估（在模拟环境中）表明，PIRANHAS 在保证隐私的同时，证明延迟和通信开销与现有非隐私方案相当。主要贡献在于首次将隐私保护融入非层次异步蜂群的远程证明，为物联网、无人机协作等场景提供了实用方案。

该论文提出了一种跨共识可靠广播（Cross-Consensus Reliable Broadcast）协议，旨在解决不同共识协议（如PBFT、HotStuff、Algorand等）下共识节点之间的可靠信息传递问题。传统可靠广播协议通常在单个共识协议内工作，而跨共识场景下，不同协议的网络假设、节点身份管理和安全模型存在差异，导致广播难以保证一致性。论文形式化定义了跨共识可靠广播问题，并设计了一个模块化协议，允许在不同共识协议之间实现消息的原子广播和顺序一致性。核心方法包括使用签名聚合和跨协议验证机制，通过一个中介层（relayer）连接不同共识集群。实验模拟了多个区块链网络（如以太坊2.0、Cosmos）之间的交互，证明了该协议在延迟和吞吐量方面接近理论最优，且兼容现有系统。该工作为跨链通信、互操作性协议（如IBC）的安全性提供了理论基础。

本文提出一种名为Icarus的新型异步拜占庭容错（BFT）共识协议。传统的异步BFT协议通常需要依赖复杂的悲观路径来处理网络异步性和拜占庭故障，导致性能瓶颈。Icarus的核心创新在于仅使用乐观路径即可实现高性能的异步BFT，避免了传统协议中因悲观路径引入的额外通信开销和延迟。通过巧妙的设计，Icarus在保证安全性的前提下，显著提升了协议在正常情况下的吞吐量和响应速度。论文通过理论分析和实验验证，展示了Icarus相较于现有方案（如HoneyBadgerBFT、Dumbo等）在性能上的优势，尤其是在网络延迟较低或故障比例较小时。该成果适用于需要高安全性和高性能的分布式系统，如区块链底层共识、可信计算平台等。

本文提出了一种名为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实现了更好的峰值吞吐量性能，并且其延迟在吞吐量增长时几乎保持稳定。