#byzantine-agreement

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

← 返回所有主题
👥 作者: Jing Chen, Jin Dong, Jichen Li, Xuanzhi Xia, Wentao Zhou

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

💡 推荐理由: 分布式系统与区块链共识普遍依赖“单实例安全即可组合”假设。本文指出信道重排序可跨实例破坏 BA 安全,并给出可组合安全阈值与编译器,对多实例协议部署与安全评估有直接指导意义。

🎯 建议动作: 研究跟进,并纳入内部共识协议可组合安全评估

排序因子: 来自 arXiv 其他板块 (+2) | Community 数据源 (+1) | LLM 评分加成 (+0.6)
👥 作者: Mose Mizrahi, Roger Wattenhofer

本文研究多参与方容错共识问题,特别关注一般性(非阈值)对手模型下的通信复杂度下界。作者基于有限射影几何构造了一个无限族 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) 比特实现终止,从而证明异步下界是紧的。本文为一般对手结构下的共识协议通信复杂度提供了重要的理论界限,对分布式系统安全性设计具有指导意义。

💡 推荐理由: 该研究揭示了非阈值对手模型下共识协议通信复杂度的本质下界,为设计更安全的分布式系统提供了理论依据,有助于安全工程师理解攻击者能力对协议效率的深远影响。

🎯 建议动作: 研究跟进

排序因子: 来自 arXiv 其他板块 (+2) | Community 数据源 (+1) | LLM 评分加成 (+0.5)
推荐 9.5
Conf: 50%
👥 作者: Pierre Civit, Daniel Collins 0001, Vincent Gramoli, Rachid Guerraoui, Jovan Komatovic, Manuel Vidigueira, Pouriya Zarbafian

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

💡 推荐理由: 可问责的拜占庭协议能识别并证明恶意节点,对提升区块链和分布式系统的安全性、审计能力至关重要。本文提出的线性扩展方案填补了该领域效率瓶颈,有望推动大规模可问责共识的应用。

🎯 建议动作: 研究跟进,评估在联盟链或许可链中集成可问责拜占庭协议的可能性。

排序因子: 来自网络安全顶级会议 (+8) | Community 数据源 (+1) | LLM 评分加成 (+0.5)
👥 作者: Akshit Aggarwal, Srinibas Swain

该论文是一篇海报论文,研究多方ECDSA签名协议的正确性。具体地,作者试图通过引入拜占庭协议(Byzantine Agreement)的概念来证明n方ECDSA签名协议在存在恶意参与者的情况下仍能产生正确签名。多方ECDSA允许一组参与者共同生成一个ECDSA签名,而无需任何一方掌握完整私钥,常用于区块链钱包、门限签名等场景。本文的核心贡献是提出一个基于拜占庭协议的正确性声明框架,该框架要求所有参与者就签名的正确性达成一致,从而抵御拜占庭故障(即参与者可能任意偏离协议)。作者可能给出了协议的形式化定义以及安全性证明,但受限于海报篇幅,具体技术细节和实验验证未在摘要中展开。读者应查阅海报原文获取完整方案。

💡 推荐理由: 多方ECDSA是区块链和分布式密钥管理中的关键原语,本文从正确性角度提出拜占庭协议约束,有助于增强实际部署中的鲁棒性。

🎯 建议动作: 研究跟进

排序因子: 来自网络安全顶级会议 (+8) | Community 数据源 (+1) | LLM 评分加成 (+0.3)