Steelhead: Interleaving Partially Synchronous and Asynchronous Commit Rules on a Shared DAG
该论文提出 Steelhead——一种双模式共识机制，目标是兼得部分同步协议的高性能与异步协议在恶劣网络条件下的存活性。现有 DAG 类 BFT 协议通常二者只能取其一：部分同步提交规则在健康网络中快，但一旦网络状况超出同步假设就会停滞；异
#Byzantine-fault-tolerance
共收录 20 条相关情报。
← 返回所有主题Hydrozoan: Latency-Adaptive DAG Consensus under Mixed Byzantine and Crash Faults
本文提出 Hydrozoan，一个面向混合故障模型的 DAG（有向无环图）共识协议。背景是：基于 DAG 的共识可达很高吞吐，并在 n=3f+1 的经典设定下达到最优的三消息延迟下界；已有的两消息延迟协议要么靠牺牲容错度（例如需要 5f+1
Hopper: Bounded-Memory Collaborative Debiasing for Byzantine-Tolerant Peer Sampling
该论文研究拜占庭容错对等采样（Byzantine-tolerant peer sampling）中的频率偏差问题。这类协议依赖持续刷新的节点视图（view），而视图由标识符流（identifier stream）构造，攻击者可以通过操控该流
You've Got a BUD in Me: Authenticated Reads from Per-Block Write Logs
该论文研究的是区块链「认证读取」(authenticated reads) 的可扩展性问题。传统做法是维护一棵覆盖全量状态的认证数据结构(如 Merkle Patricia Trie，MPT)，以此支撑历史成员性证明与排除性证明；但随着状态
Asynchronous Data Dissemination and its Applications.
本论文提出异步数据传播（Asynchronous Data Dissemination, ADD）问题的新协议，并展示了其在多个密码学和分布式计算原语中的显著改进。ADD 的目标是：在一个异步网络中，只要至少有 t+1 个诚实节点初始持有某
Compositional Verification of Composite Byzantine Protocols.
拜占庭容错（BFT）协议是分布式系统中最难设计和推理的组件之一。近年来，形式化验证领域发展出多种计算机辅助方法，能够对独立（standalone）BFT 协议的安全性与活性进行自动化验证；与此同时，分布式计算社区也尝试将复杂协议拆分为更简单
CRSF: Collusion-Resilient Privacy-Preserving Sensor Fusion with Byzantine-Robust Participation
本文针对隐私保护传感器融合系统中的安全弱点提出了一种新的协议 CRSF。在典型的传感器-服务器-客户端架构中，不受信任的服务器需要在不学习单个输入或最终输出的情况下，对分布式传感器的测量值进行聚合计算。已有基于混淆电路（garbled ci
Signature-Free Atomic Broadcast with Optimal $O(n{2})$ Messages and $O(1)$ Expected Time.
该论文研究拜占庭原子广播（Byzantine Atomic Broadcast, ABC）问题，这是许可型区块链及多种安全多方计算协议的核心基础组件。长期以来，异步ABC协议要么依赖签名机制导致通信复杂度较高，要么在消息复杂度和时间复杂度上
Asynchronous Verifiable Information Dispersal with Low Space and Communication Complexity
该论文研究分布式存储系统中的异步可验证信息分散（AVID）协议。分布式存储系统需要保证客户端在存在故障（包括拜占庭故障）的情况下仍能可靠且一致地写入和读取数据。现有AVID协议在拜占庭设置下已实现最优的空间复杂度（存储）和通信复杂度（数据检
Rondo: Scalable and Reconfiguration-Friendly Randomness Beacon.
本文提出 Rondo，一个在部分同步网络模型下具备可扩展性和重配置友好性的分布式随机信标（DRB）协议。DRB 用于为区块链、选举、抽签等应用提供公开可验证、不可预测且无偏的随机数源。现有基于批量异步可验证秘密共享（bAVSS）的 DRB
Byzantine Accountability Without Consensus: Strong Eventual Consistency for Non-Associative, Stochastic, Robust Aggregation
本文提出了一种在无中央协调器且无需共识的情况下实现拜占庭容错鲁棒聚合的方法。现有的拜占庭鲁棒聚合规则（如 multi-Krum）通常依赖中央协调器，且因其全局耦合、非结合性和不连续性而难以去中心化——微小的扰动可能导致输出突变。作者提出的
Constant Latency and Finality for Dynamically Available DAG.
该论文研究了基于有向无环图（DAG）的区块链协议，旨在解决CAP定理中活跃性（动态可用性）与安全性在网络分区下的权衡。论文提出了两类协议：结构化传播（针对活跃性）和分级公共前缀（GCP，针对安全性）。对于第一类，作者首次提出了具有恒定预期延
Orcaella: Hybrid Fault Tolerance with Client-Selectable Finality Latency
本文提出了一种名为 Orcaella 的混合容错协议，针对部分同步状态机复制（SMR）中的混合拜占庭和崩溃故障模型进行了研究。经典的 PBFT 协议需要至少 3f+1 个节点来容忍 f 个拜占庭故障，且每个请求需要三个通信步骤。近期协议如
The Generals' Scuttlebutt: Byzantine-Resilient Gossip Protocols.
本文提出并分析了拜占庭容错（Byzantine-resilient）的 gossip 协议，即“将军们的流言蜚语”。在分布式系统中，gossip 协议常用于高效地传播信息，但传统 gossip 协议假设所有节点诚实。本文首次系统性地研究了在
HAMRAZ: Resilient Partitioning and Replication.
本文提出了一种名为 HAMRAZ 的框架，旨在解决跨组织系统中在部分信任的子系统间协作时的可信性问题。在医疗、金融和军事等领域，子系统之间需要合作，但可能面临恶意拜占庭攻击。现有的工作通常只关注机密性和完整性，而忽略了可用性的保障。HAMR
Robust and Automated Reconfiguration of Byzantine Wide-Area Replication
本文针对拜占庭容错状态机复制（BFT-SMR）系统中的配置优化问题展开研究。BFT-SMR是区块链等分布式系统中用于对客户端交易进行全局排序的服务，传统通过冗余机制抵御拜占庭节点，但性能开销大。近期研究通过动态配置优化（如根据网络延迟动态分
Mobius: Enabling Byzantine-Resilient Single Secret Leader Election with Uniquely Verifiable State.
本文提出了一种名为 Mobius 的协议，旨在解决分布式系统中领导者选举的拜占庭容错问题，特别是针对秘密单一领导者选举（SSLE）场景。在传统的分布式系统中，领导者选举是核心组件，用于选择节点执行任务如分发提案或聚合加密证书，从而确保系统安
PROTECT-DB: Protecting Data using Replicated State Machines: Efficient Corruption Detection & Recovery
本文提出 PROTECT-DB，一种基于拜占庭容错（BFT）复制状态机的方法，用于保护数据库免受破坏，特别是针对攻击者篡改数据库状态的情况。研究背景是组织数据的安全至关重要，而传统备份和审计方法存在检测延迟和恢复效率低的问题。PROTECT
MVP-ORAM: a Wait-free Concurrent ORAM for Confidential BFT Storage.
该论文提出MVP-ORAM，一种首个支持无等待并发客户端的Oblivious RAM（ORAM）协议，用于机密拜占庭容错（BFT）存储。现有加密技术无法防止攻击者通过观察数据访问模式进行推理攻击，ORAM通过混淆访问模式解决此问题，但现有协
Dumbo-NG: Fast Asynchronous BFT Consensus with Throughput-Oblivious Latency.
本文提出了一种名为Dumbo-NG的新型异步拜占庭容错（BFT）共识协议（原子广播），旨在解决现有异步BFT共识协议在实际部署中遇到的性能瓶颈。现有的协议虽然实现了线性摊销的通信复杂度，但为了获得最大吞吐量，每个参与节点需要广播大量交易批次