#bft

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

← 返回所有主题
推荐 3.5
Conf: 50%
👥 作者: Alejandro Ranchal-Pedrosa, Dakai Kang, Neil Giridharan, Dahlia Malkhi, Mohammad Sadoghi, Ben Marsh

该论文提出 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 协议的视图切换机制,使得旧视图不再被白白浪费,从而显著改善系统在故障场景下的尾延迟表现,为高可用分布式系统提供了新的思路。适合对共识算法、区块链性能优化和分布式系统容错性感兴趣的研究者与工程人员阅读。

💡 推荐理由: 对防御者而言,该研究揭示了 BFT 协议在部分同步下的尾延迟症结,并给出一种可最终化过期视图的新方案,有助于评估和设计更稳定、可预测的共识基础设施,间接提升系统对故障与性能降级的抗性。

🎯 建议动作: 研究跟进

排序因子: 来自 arXiv 其他板块 (+2) | Community 数据源 (+1) | LLM 评分加成 (+0.5)
👥 作者: Haibin Zhang, Sisi Duan

这篇论文提出了一种名为 PACE 的拜占庭容错(BFT)协议,旨在解决传统 BFT 协议在并行化方面的瓶颈。现有的 BFT 协议通常顺序执行共识实例,导致吞吐量受限于单线程性能。PACE 通过引入“可重新提议的拜占庭协议”(Reproposable Byzantine Agreement)概念,使得多个共识实例可以并行执行,同时保证安全性。核心思想是允许节点在未完成前一个实例的情况下,重新使用同一个协议实例来提议新的值,从而消除串行化依赖。论文详细描述了 PACE 的协议设计、正确性证明,并通过实验评估展示了其在高吞吐量场景下的显著性能提升,与现有最优的并行 BFT 协议相比,吞吐量提高了数倍。该工作对提高分布式系统、区块链网络的性能和可扩展性具有重要理论价值。

💡 推荐理由: 对于运维高吞吐分布式系统(如区块链、数据库)的安全团队,PACE 提供了在拜占庭容错下实现更高并行度的新思路,有助于提升系统性能而不牺牲安全性。

🎯 建议动作: 研究跟进

排序因子: 来自网络安全顶级会议 (+8) | Community 数据源 (+1) | LLM 评分加成 (+0.5)
👥 作者: Ioannis Kaklamanis, Lei Yang, Mohammad Alizadeh

本文提出一种基于编码广播的可扩展领导者驱动拜占庭容错(BFT)共识协议。传统BFT共识中,领导者通过点对点或可靠广播向所有节点发送消息,通信复杂度为O(n^2),限制了系统规模扩展。作者利用纠删码(如Reed-Solomon码)将消息编码为多个数据块,领导者仅向节点广播少量编码块,节点间通过gossip协议交换数据块,使得每个节点接收的块数远小于总节点数,从而将整体通信复杂度降至O(n log n)级。同时,为保证拜占庭容错性,协议引入基于Merkle树的签名验证机制,确保节点能安全解码并验证消息完整性。实验评估在AWS上部署多达1000个节点,结果显示与现有方案(如SBFT、HotStuff)相比,吞吐量提升2-3倍,延迟几乎不变。该工作为构建大规模分布式系统提供了新的设计思路,尤其适用于联盟链、许可链等对可扩展性和拜占庭容错有严格要求的场景。

💡 推荐理由: BFT共识是区块链和分布式安全系统的核心组件,通信瓶颈制约了其在大规模节点下的实际应用。本工作利用编码技术实现近线性通信复杂度,在不牺牲安全性的前提下大幅提升可扩展性,对需要高安全性和高吞吐量的去中心化基础设施(如CBDC、供应链金融)具有重要参考价值。

🎯 建议动作: 研究跟进

排序因子: 来自网络安全顶级会议 (+8) | Community 数据源 (+1) | LLM 评分加成 (+0.5)
推荐 14.5
Conf: 50%
👥 作者: Alexander Spiegelman, Neil Giridharan, Alberto Sonnino, Lefteris Kokoris-Kogias

本文提出 Bullshark,一种基于有向无环图(DAG)的异步拜占庭原子广播协议,专门针对常见的同步场景进行了优化。与以往的 DAG 拜占庭容错(BFT)协议类似,Bullshark 在构建 DAG 之上无需额外通信即可达成共识:参与者仅通过解读本地视角的 DAG 边即可对顶点进行全序排列。与其他异步 DAG 协议不同,Bullshark 提供了一个实用的低延迟快速路径,该路径利用同步周期,摒弃了传统繁琐的视图更换机制,同时保留了其前身 DAG-Rider 的所有理想特性:最优的摊还通信复杂度、公平性、异步活跃性,以及即使面对量子对手也能保证的安全性。为了证明其实用性和简洁性,作者还引入了 Bullshark 的独立部分同步版本,并与现有最优方案进行了对比评估。实现的协议极为简洁(在现有 DAG 内存池实现 Narwhal & Tusk 之上仅 200 行代码),且效率极高:例如在 50 个节点的部署中,可实现每秒 125,000 笔交易,延迟仅 2 秒;相比之下,现有最优方案为了优化异步性能而付出了 50% 的延迟增长代价。本文适合分布式系统、区块链共识以及 BFT 领域的研究者和工程师阅读。

💡 推荐理由: Bullshark 提供了一种兼具异步活跃性和同步高效性的 DAG BFT 协议,简化了实现复杂度,对需要高吞吐、低延迟共识的区块链和分布式系统安全有重要参考价值。

🎯 建议动作: 研究跟进

排序因子: 影响边界/网络设备 (+5) | 来自网络安全顶级会议 (+8) | Community 数据源 (+1) | LLM 评分加成 (+0.5)
👥 作者: Pinshen Xu, Wentao Dong, Guoxing Chen, Jianyu Niu, Cong Wang, Yinqian Zhang

本文提出了一种名为 TeeDAO 的三层框架,旨在通过异构可信执行环境(TEE)构建分布式信任系统,解决单一 TEE 带来的单点攻击以及集中管理、自适应移动对手带来的安全威胁。TeeDAO 结合了 BFT 排序治理与异构感知的分布式主动秘密共享(DPSS)和安全多方计算(MPC),使得基于远程证明的委员会变更能够一致地反映在秘密恢复、重新共享和跨动态异构 TEE 委员会的计算中。研究团队将 COBRA 的 DPSS 方案与 HotStuff BFT 共识协议集成,并适配了 Intel SGX、TDX 和 Hygon CSV 三种 TEE 硬件架构。实验结果表明,在包含 61 个节点的大规模集群中,与现有系统相比,TeeDAO 的键值存储吞吐量提升高达 1.8 倍,且自治管理高效,多方计算任务的计算开销低于 18%。该框架为在异构 TEE 环境中实现长期可用性、完整性和保密性提供了新的技术路径。

💡 推荐理由: 该研究提出了一种利用异构TEE实现分布式信任的自动化管理框架,有助于缓解单一TEE的信任瓶颈和集中管理风险,对构建更鲁棒的机密计算基础设施具有参考价值。

🎯 建议动作: 研究跟进

排序因子: 来自 arXiv 其他板块 (+2) | Community 数据源 (+1) | LLM 评分加成 (+0.5)
👥 作者: Chenyu Zhang, Xiulong Liu 0001, Hao Xu 0025, Haochen Ren, Muhammad Shahzad 0001, Guyue Liu, Keqiu Li

本文提出了一种名为Limitless Scalability的高吞吐量且副本无关的拜占庭容错(BFT)共识协议。传统的BFT共识协议(如PBFT)由于通信复杂度随节点数平方增长,难以扩展到大规模网络。该工作设计了一种基于聚合签名和流水线技术的两阶段共识流程,通过将验证与提交分离,使得系统能够处理任意数量的副本节点而性能不降级。实验表明,在数百个节点下,协议吞吐量保持线性增长,延迟几乎恒定,显著优于现有方案。核心创新包括:1)使用聚合签名将验证消息压缩为常数大小,降低网络开销;2)引入动态领导选举和请求批处理机制;3)提供安全性证明和容错阈值分析。该协议适用于区块链、分布式系统等需要高可扩展性和容错性的场景。

💡 推荐理由: BFT共识的可扩展性瓶颈长期阻碍大规模分布式系统部署,本工作理论上打破节点数量限制,对区块链等应用具有重要参考价值。

🎯 建议动作: 纳入内部评估

排序因子: 来自网络安全顶级会议 (+8) | Community 数据源 (+1) | LLM 评分加成 (+0.5)
推荐 9.5
Conf: 50%
👥 作者: Xiaohai Dai, Chaozheng Ding, Hai Jin 0001, Julian Loss, Ling Ren 0001

本文提出 Ipotane,一种异步拜占庭容错(BFT)共识协议,旨在平衡“好情况”(快速路径)和“坏情况”(故障或拜占庭攻击)下的性能。传统的异步 BFT 协议(如 Dumbo 系列)在好情况下有较高的通信复杂度,而坏情况下的恢复速度较慢。Ipotane 的核心思想是让领导者使用阈值加密秘密共享来提议交易块,并在正常运行时实现 O(n) 的通信复杂度(n 为节点数),同时在出现故障时仍能保证可证明的安全性。该协议通过引入一种新的“领导轮换”机制,在不依赖同步假设的前提下,实现了好情况下的低延迟和坏情况下的高吞吐量。实验结果表明,Ipotane 在好情况下比现有协议(如 Dumbo2)快约 2-3 倍,在坏情况下也保持了可接受的性能。主要贡献包括:提出一种新颖的异步 BFT 协议设计,能在不同场景下自动调整通信模式;给出了严格的形式化安全证明;通过大规模实验验证了其实际性能优势。本文适合分布式系统、区块链共识协议和安全领域的研究人员阅读。

💡 推荐理由: 异步 BFT 共识是区块链和分布式账本安全的基础,Ipotane 在好情况和坏情况下均能提供高性能,有助于提升实际部署的鲁棒性和效率。

🎯 建议动作: 研究跟进

排序因子: 来自网络安全顶级会议 (+8) | Community 数据源 (+1) | LLM 评分加成 (+0.5)
👥 作者: Xiaohai Dai, Yiming Yu, Sisi Duan, Rui Hao, Jiang Xiao 0001, Hai Jin 0001

本文提出一种名为Icarus的新型异步拜占庭容错(BFT)共识协议。传统的异步BFT协议通常需要依赖复杂的悲观路径来处理网络异步性和拜占庭故障,导致性能瓶颈。Icarus的核心创新在于仅使用乐观路径即可实现高性能的异步BFT,避免了传统协议中因悲观路径引入的额外通信开销和延迟。通过巧妙的设计,Icarus在保证安全性的前提下,显著提升了协议在正常情况下的吞吐量和响应速度。论文通过理论分析和实验验证,展示了Icarus相较于现有方案(如HoneyBadgerBFT、Dumbo等)在性能上的优势,尤其是在网络延迟较低或故障比例较小时。该成果适用于需要高安全性和高性能的分布式系统,如区块链底层共识、可信计算平台等。

💡 推荐理由: 该研究为异步BFT共识提供了新思路,能够在不牺牲安全性的情况下提升性能,对构建高效、可靠的分布式系统具有重要参考价值。

🎯 建议动作: 研究跟进

排序因子: 来自网络安全顶级会议 (+8) | Community 数据源 (+1) | LLM 评分加成 (+0.4)
推荐 9.3
Conf: 50%
👥 作者: Xin Wang, Haochen Wang, Haibin Zhang, Sisi Duan

该论文题为《Pando: 基于委员会采样的极可扩展拜占庭容错共识》,主要研究如何通过委员会采样技术大幅提升拜占庭容错(BFT)共识协议的可扩展性。传统BFT协议在节点数量增加时性能急剧下降,难以应用于大规模网络。Pando提出了一种新的委员会采样机制,允许系统在保持安全性和活性的前提下,将共识参与节点限制在一个随机选出的子集(委员会)中,从而降低通信复杂度。论文可能通过概率分析和实验验证,证明Pando在数百至数千节点规模下仍能保持高吞吐量和低延迟。该方法适用于区块链、分布式账本等需要高可信度的大规模场景。由于仅获取到论文摘要,无法提供具体技术细节和实验数据,建议读者查阅最新版本原文以获取完整内容。

💡 推荐理由: BFT共识是区块链安全的核心,但现有方案可扩展性差。Pando的委员会采样思路可能为构建大规模安全分布式系统提供新路径,值得关注其安全假设与攻击面。

🎯 建议动作: 研究跟进

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