#erasure-coding

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

← 返回所有主题
👥 作者: 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)