Rondo: Scalable and Reconfiguration-Friendly Randomness Beacon.
本文提出 Rondo，一个在部分同步网络模型下具备可扩展性和重配置友好性的分布式随机信标（DRB）协议。DRB 用于为区块链、选举、抽签等应用提供公开可验证、不可预测且无偏的随机数源。现有基于批量异步可验证秘密共享（bAVSS）的 DRB
#distributed-systems
共收录 44 条相关情报。
← 返回所有主题Pando: Extremely Scalable BFT Based on Committee Sampling.
本文提出了一种名为 Pando 的高可扩展拜占庭容错（BFT）协议，旨在解决传统 BFT 协议在副本数量增加时性能急剧下降的问题。现有 BFT 协议通常只能扩展到约一百个副本，尤其是在低端机器上性能受限。作者采用委员会采样（committe
JUNO: Aggregated Vector Consensus for Optimal Asynchronous Common Subset
本文提出了一种新的向量共识原语——聚合向量共识，专为异步网络设计。传统的共识协议通常只输出单个值，而该原语通过聚合来自不同进程的独立输入，输出一个值向量，从而实现更高效的一致性。基于该原语，作者设计了Juno协议，一个异步公共子集（ACS）
Hermes: Low Tail-Latency Via Prefix Consensus
该论文提出 Hermes，一种旨在降低 BFT（拜占庭容错）协议尾延迟的新型共识协议。在基于领导者的 BFT 协议中，视图的最终化完全依赖领导者：如果领导者崩溃或响应缓慢，该视图将无法达成任何最终化；而结束视图的超时设置也面临两难：保守的超
Scalable Accountable Byzantine Agreement and Beyond.
本文提出了一种可扩展的可问责拜占庭协议（Scalable Accountable Byzantine Agreement, SABA），解决了传统拜占庭协议在参与方数量增加时通信开销过高的问题。SABA 能够在线性时间内完成协议，且不需要认
Byzantine Accountability Without Consensus: Strong Eventual Consistency for Non-Associative, Stochastic, Robust Aggregation
本文提出了一种在无中央协调器且无需共识的情况下实现拜占庭容错鲁棒聚合的方法。现有的拜占庭鲁棒聚合规则（如 multi-Krum）通常依赖中央协调器，且因其全局耦合、非结合性和不连续性而难以去中心化——微小的扰动可能导致输出突变。作者提出的
Proof-of-Continuity: A Temporal Model for Authority Propagation in Distributed Systems and AI Agents
本文针对分布式系统与AI智能体中基于持有的授权模型（Proof-of-Possession）的局限性，提出了一种名为Proof-of-Continuity的权威传播时间模型。传统授权依赖令牌、凭证或能力等工件，但无法保证离散执行链中请求来源
PACE: Fully Parallelizable BFT from Reproposable Byzantine Agreement.
这篇论文提出了一种名为 PACE 的拜占庭容错（BFT）协议，旨在解决传统 BFT 协议在并行化方面的瓶颈。现有的 BFT 协议通常顺序执行共识实例，导致吞吐量受限于单线程性能。PACE 通过引入“可重新提议的拜占庭协议”（Repropos
Securing People and their Machines Against Major Faults
本文针对草根平台（grassroots platforms）——由通过自选公钥标识的人及他们的智能手机组成的分布式系统——提出了一种安全保障方案，以应对重大故障：私钥丢失和/或智能手机丢失。由于草根平台没有全局资源可供恢复，本文设计了基于对
Low-Cost and Robust Global Time Synchronization.
该论文提出了一种名为 Everdeen 的低成本、鲁棒的全球时间同步系统。许多关键应用（如金融交易、电力网络、通信系统）依赖精确的时间同步，但现有方案存在单点故障（如依赖单一GNSS或租用基础设施）或成本高昂的问题。基于互联网的时间同步虽然
The Generals' Scuttlebutt: Byzantine-Resilient Gossip Protocols.
本文提出并分析了拜占庭容错（Byzantine-resilient）的 gossip 协议，即“将军们的流言蜚语”。在分布式系统中，gossip 协议常用于高效地传播信息，但传统 gossip 协议假设所有节点诚实。本文首次系统性地研究了在
Semantic Non-Assembly: Privacy by Architectural Inertness Under Component Exposure
本文提出了一种名为“语义非组合”（Semantic Non-Assembly, SNA）的新型隐私保证框架。与传统的基于保密性、访问控制或统计披露限制的隐私模型不同，SNA 从“暴露发生时信息收益”的角度定义隐私：即使攻击者能够完全暴露和解
A Composable CRDT Layer for Byzantine-Resilient Deterministic Reconstruction
该论文针对 Conflict-free Replicated Data Types (CRDTs) 在拜占庭环境下的容错问题展开研究。传统 CRDT 假设参与者无恶意行为，通常依赖验证或排除机制处理拜占庭错误。论文提出一种确定性状态重构方法
Robust and Automated Reconfiguration of Byzantine Wide-Area Replication
本文针对拜占庭容错状态机复制（BFT-SMR）系统中的配置优化问题展开研究。BFT-SMR是区块链等分布式系统中用于对客户端交易进行全局排序的服务，传统通过冗余机制抵御拜占庭节点，但性能开销大。近期研究通过动态配置优化（如根据网络延迟动态分
did:crdt: Coordination-Free Decentralised Identifiers via Signed CRDTs
现有的去中心化标识符（DID）方法通常需要某种形式的协调或全局顺序来更新DID文档。基于区块链的方法会产生费用和延迟；轻量级对等方法（did:key, did:peer）不支持更新；Sidetree等方案仍依赖区块链排序。本文提出 did:
Mobius: Enabling Byzantine-Resilient Single Secret Leader Election with Uniquely Verifiable State.
本文提出了一种名为 Mobius 的协议，旨在解决分布式系统中领导者选举的拜占庭容错问题，特别是针对秘密单一领导者选举（SSLE）场景。在传统的分布式系统中，领导者选举是核心组件，用于选择节点执行任务如分发提案或聚合加密证书，从而确保系统安
Bullshark: DAG BFT Protocols Made Practical.
本文提出 Bullshark，一种基于有向无环图（DAG）的异步拜占庭原子广播协议，专门针对常见的同步场景进行了优化。与以往的 DAG 拜占庭容错（BFT）协议类似，Bullshark 在构建 DAG 之上无需额外通信即可达成共识：参与者仅
SECUREVENT: Hybrid AI/ML Security Monitoring for Distributed Event-Based Systems
该论文提出了一种名为 SECUREVENT 的混合 AI/ML 安全监控架构，用于分布式事件驱动系统。随着物联网遥测、云原生微服务和安全运营管道等场景的普及，分布式事件系统（如发布/订阅服务）的松耦合和异步交付特性在提升可扩展性的同时，也扩
Amortized Threshold Symmetric-key Encryption.
本文提出了一种新的密码学原语——摊销阈值对称密钥加密（ATSE），旨在解决现有阈值对称密钥加密（TSE）方案在处理大量数据时的高交互开销问题。传统TSE（如Agrawal等人CCS'18提出的DiSE框架）要求每次加密或解密操作都必须与阈值
Cirrus: Performant and Accountable Distributed SNARK.
本文提出了 Cirrus，一个高性能且具有问责性的分布式 SNARK（简洁非交互零知识证明）系统。分布式 SNARK 允许多个证明者协作生成证明，同时确保任何一方都无法作弊而不被追责。Cirrus 在保持零知识证明安全性的前提下，通过优化通