#fault-tolerance

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

← 返回所有主题
👥 作者: Jiachen Shen, Hui Zhong

该论文研究容错量子计算机在运行过程中产生的遥测流(syndrome 测量、decoder 决策、reset 与时序记录)是否会泄露逻辑输入,即执行记录(execution transcript)的隐私问题。作者针对固定调度下运行 T=Θ(d) 轮的、距离为 d 的旋转 surface code 记忆体,在三个明确陈述的假设(sector-scalar honest backbone、transcript locality、Kotecky-Preiss smallness)下证明:从逻辑量子比特到 transcript 的信道,在 diamond norm 意义下与一个完全忽略输入的信道相差 e^{-Θ(d)},即随码距指数级趋于输入无关。这类结论可由 correctability-privacy 对偶性一般性地推出。但论文强调各向异性(anisotropy)并不自动成立:每个逻辑轴必须付出其自身陪集的距离代价,因此在 amplitude damping 条件下,计算基标签的安全性由码的 Z-距离 d_Z≥d_min 决定,而不是由码距离 d_min 决定,二者可以相差很大。作者用两个量子距离均为 1 的码把这一差距具体化:phase-flip 码的 X-syndrome transcript 在未被观测的 damping 下精确地与输入无关,而 repetition 码则在一阶就发生泄露。一个匹配的逆命题(converse)进一步刻画了哪些记录确实会暴露输入,其中包含 lattice-surgery 奇偶读出。实验方面,作者在 156 量子比特超导处理器上评估其充分性证明条件,发现该证书的裕度差了 21.5 倍,因此在该硬件上无法直接引用该定理。直接测量则显示:在随机化、标签均衡的采集下,d_Z=1 的记忆体的记录可以以总变差 ≥0.927 识别其输入。固定码、改变 damping 暴露程度,实验结果复现了一个无参数的理论定律,实测指数为 0.85±0.03,与预测值 0.86 相符。最后,随机化编码可以在不增加任何双量子比特门成本的前提下,把该统计量压回噪声底线。总体结论是:容错本身并不授予 transcript 隐私,它只是把隐私的位置重新安排,并且只保护到逻辑态层面,而不保护电路自身身份。

💡 推荐理由: 它把量子纠错控制栈的遥测日志(syndrome、decoder 动作、时序)纳入旁路泄露威胁模型,提示量子云服务与硬件厂商不能把“容错”当作隐私保证:逻辑输入可能被记录以极高置信度识别,且量化了其在超导平台上的现实差距。

🎯 建议动作: 研究跟进

排序因子: 来自 arXiv 其他板块 (+2) | Community 数据源 (+1) | LLM 评分加成 (+0.5)
👥 作者: Minghang Li, Qianhong Wu, Zhipeng Wang 0009, Bo Qin, Bohang Wei, Hang Ruan, Shihong Xiong, Zhenyang Ding

本文提出 TockOwl,据称是首个具备故障自适应能力的异步共识协议。传统拜占庭容错(BFT)协议在遭遇崩溃故障时通常会出现瀑布式的性能下降;部分协议虽能避免这种骤降,但代价是在无故障场景下增加通信与轮次复杂度。TockOwl 通过设计实现二次方通信复杂度和常数轮次复杂度,在无故障场景下保持高效;同时具备崩溃鲁棒性,在面对崩溃故障时维持稳定性能,从而达成故障自适应。进一步地,作者提出 TockOwl+,在网络层面增加自适应性:融合快速与慢速双轨道,并采用对冲延迟机制,使其在异步环境中无需等待超时即可获得接近部分同步协议的低延迟。与最新的双轨协议相比,TockOwl+ 的慢轨设计更简单,在完全异步环境下缩短延迟。该研究主要面向分布式系统与共识算法领域,对依赖 BFT 共识的区块链、分布式账本及容错系统有潜在参考价值。由于仅基于摘要分析,具体实验细节和形式化验证尚待原文确认。

💡 推荐理由: 共识协议是分布式系统安全基石,现有BFT协议在故障场景下性能骤降,TockOwl的自适应设计可提升系统在混合故障条件下的稳定性,为安全关键型基础设施提供更可靠的共识层参考。

🎯 建议动作: 研究跟进

排序因子: 来自网络安全顶级会议 (+8) | Community 数据源 (+1) | LLM 评分加成 (+0.5)
👥 作者: Matías Mazzanti, Vattana Chan, Karthik Swaminathan, Augusto Vega, Esteban Mocskos, Radha Venkatagiri

该论文研究同态加密(HE)系统在硬件或软件引入的比特级瞬态故障下的敏感性与鲁棒性问题。同态加密允许在密文上直接进行计算,无需解密,是医疗、金融、政务等隐私敏感场景中隐私计算的关键原语。其安全性依赖噪声注入机制,然而噪声的存在使系统对错误高度敏感:即使是单个比特翻转(single transient bit-flip)也可能绕过传统检测机制,导致静默数据损坏(silent data corruption)。论文以 CKKS(Cheon–Kim–Kim–Song)方案为研究对象,该方案广泛用于 AI/机器学习中的近似算术计算。作者通过系统性分析,识别出同态乘法是同态加密实际流水线中对错误最敏感的操作,并刻画了错误在该操作中如何传播和放大,从而暴露了 HE 在容错方面的关键脆弱性。该工作为构建更具弹性的同态加密部署提供了方向性依据,也提示了硬件故障、软件错误与隐私计算相结合时需考虑的新风险面。适合关注隐私计算、可靠计算系统、容错体系结构的研究人员阅读。

💡 推荐理由: 同态加密被寄予厚望,但若对比特级错误过度敏感,可能静默破坏计算结果,导致隐私计算不可信。理解其脆弱点和错误放大机制,对设计可靠的隐私保护系统至关重要。

🎯 建议动作: 研究跟进

排序因子: 来自 arXiv 其他板块 (+2) | Community 数据源 (+1) | LLM 评分加成 (+0.5)
👥 作者: 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)