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