#fault-tolerance

共收录 1 条相关安全情报。

← 返回所有主题
👥 作者: Lefteris Kokoris-Kogias, Alberto Sonnino

本文提出了一种名为 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 安全性)。该研究的主要贡献在于给出了混合故障模型下快速提交路径的精确容错下限,并设计了客户端可选的最终性延迟机制,允许在延迟和安全性之间权衡。

💡 推荐理由: 该研究为混合故障模型下的分布式系统提供了更精细的容错边界,有助于设计低延迟、高鲁棒性的共识协议,对区块链和关键基础设施的安全架构具有参考价值。

🎯 建议动作: 研究跟进

排序因子: 来自 arXiv 其他板块 (+2) | Community 数据源 (+1) | LLM 评分加成 (+0.5)