[论文解读] Byzantine Resilient Computing with the Cloud

John Augustine, J. Biju+4 more|arXiv (Cornell University)|Sep 28, 2023

Cryptography and Data Security被引用 2

一句话总结

本文提出了一种拜占庭容错的分布式计算模型，利用可信云进行只读内存访问和随机位生成，以增强在拥塞团网络中的容错能力。通过将云访问限制为只读操作，并使用带黑名单机制的随机化协议，作者在自适应拜占庭敌手下实现了次线性查询复杂度——将复杂度降低至高概率下 Õ(n/(γk) + √n)，显著提升了传统 β < 1/3 边界之外的容错能力。

ABSTRACT

We study a framework for modeling distributed network systems assisted by a reliable and powerful cloud service. Our framework aims at capturing hybrid systems based on a point to point message passing network of machines, with the additional capability of being able to access the services of a trusted high-performance external entity (the cloud). We focus on one concrete aspect that was not studied before, namely, ways of utilizing the cloud assistance in order to attain increased resilience against Byzantine behavior of machines in the network. Our network is modeled as a congested clique comprising $k$ machines that are completely connected to form a clique and can communicate with each other by passing small messages. In every execution, up to $βk$ machines (for suitable values of $β\in [0, 1)$) are allowed to be Byzantine, i.e., behave maliciously including colluding with each other, with the remaining $γk$ or more machines being \emph{honest} (for $γ=1-β$). Additionally, the machines in our congested clique can access data through a trusted cloud via queries. This externality of the data captures many real-world distributed computing scenarios and provides a natural context for exploring Byzantine resilience for essentially all conceivable problems. Moreover, we are no longer bound by the usual limits of $β&lt; 1/3$ or even $β&lt; 1/2$ that are typically seen in Byzantine Agreement. We focus on a few fundamental problems. We start with the ${ extsf{Download}}$ problem, wherein the cloud stores $n$ bits and these $n$ bits must be downloaded to all of the $k$ machines. In addition to ${ extsf{Download}}$, we also consider the problem of computing the ${ extsf{Disjunction}}$ and ${ extsf{Parity}}$ of the bits in the cloud. We study these problems under several settings comprising various $β$ values and adversarial capabilities.

研究动机与目标

• 设计一种集成可信云以增强拥塞团网络中拜占庭容错能力的分布式计算框架。
• 通过利用云辅助的只读内存和随机性，突破传统拜占庭阈值限制（如 β < 1/3）。
• 最小化在拜占庭行为下实现基本问题（如 Download、Disjunction 和 Parity）所必需的云查询次数（查询复杂度 Q）。
• 分析确定性与随机化协议在查询复杂度和容错能力之间的权衡。
• 设计新型组合结构（如双分图膨胀图的变体），以支持具有可证明保证的确定性解决方案。

提出的方法

• 将分布式系统建模为 k 台机器组成的拥塞团，支持两两通信，并可访问提供只读内存和随机位生成的可信云。
• 将云访问限制为只读操作和随机位，以限制拜占庭影响，确保恶意节点无法修改共享状态。
• 使用具有自适应敌手容错能力的随机化协议，包括对已验证恶意节点进行黑名单处理，以提高查询效率。
• 应用切尔诺夫不等式和概率分析，证明在敌手行为下协议的高概率（w.h.p.）正确性。
• 设计并分析双分图膨胀图的一种新型变体，以构建 Disjunction 问题的确定性解决方案。
• 在良性与严苛敌手模型中使用公开和私有代表委员会，以实现高效的输入聚合与验证。

实验结果

研究问题

• RQ1 云辅助的只读访问和随机性是否能显著降低拜占庭容错分布式系统中的查询复杂度？
• RQ2 在使用云辅助的情况下，传统拜占庭阈值 β < 1/3 在分布式一致性和计算问题中能被放宽到何种程度？
• RQ3 在不同敌手模型（严苛、良性、确定性）下，Download、Disjunction 和 Parity 等基本问题的查询复杂度如何变化？
• RQ4 在拜占庭容错的云辅助系统中，确定性协议能否达到与随机化协议相当的效率？
• RQ5 哪些组合结构（如膨胀图）是实现最优确定性查询复杂度的必要且充分条件？

主要发现

• 对于 Download 问题，通过使用具有自适应敌手容错能力和黑名单机制的随机化协议，查询复杂度在高概率下降低至 Õ(n/(γk) + √n)。
• 当敌手为非自适应时，所有 β ∈ [0, 1) 下的查询复杂度在高概率下进一步提升至 Õ(n/k)，展现出强大的可扩展性。
• 对于 Disjunction 问题，随机化协议在高概率下实现 Õ(1/(γkδ)) 的查询复杂度，其中 δ 是云中 1 的比例，显著优于确定性边界。
• 确定性协议在 Disjunction 问题上需要 Ω(n/(γk) + 1/δ) 次查询，证明随机化协议在查询效率上无法被超越。
• 构造了一种双分图膨胀图的新变体以支持确定性 Disjunction 协议，其存在性通过概率方法和切尔诺夫不等式得到证明。
• 对于 Parity 问题，所提出的协议在通信轮数和消息复杂度方面优于 Download 问题，表明存在问题特异性的优化潜力。