[论文解读] Bitcoin Security under Temporary Dishonest Majority
本文通过建模离线（'睡眠'）节点和对算力的敌对控制，证明了在临时性非诚实多数情况下比特币依然安全。它将 Garay 等人的骨干协议框架扩展至三种模型——同步模型、有界延迟模型和消息丢失模型，表明在预期诚实多数条件下安全性质依然成立，并给出了被破坏节点与睡眠节点的量化上限。
We prove Bitcoin is secure under temporary dishonest majority. We assume the adversary can corrupt a specific fraction of parties and also introduce crash failures, i.e., some honest participants are offline during the execution of the protocol. We demand a majority of honest online participants on expectation. We explore three different models and present the requirements for proving Bitcoin's security in all of them: we first examine a synchronous model, then extend to a bounded delay model and last we consider a synchronous model that allows message losses.
研究动机与目标
- 形式化比特币在临时性非诚实多数下的安全性，其中诚实节点可能离线或被攻破。
- 建模因拒绝服务或遮蔽攻击导致的离线（'睡眠'）节点带来的动态威胁，超越静态攻破的假设。
- 分析敌对者对算力的控制（通过参数 $ c $）对安全性和区块奖励的影响，特别是在自私挖矿情境下。
- 评估网络延迟和消息丢失对协议安全性的影响，特别是在遮蔽攻击场景中。
- 放宽恒定诚实多数的假设，改而证明在预期诚实多数下的安全性。
提出的方法
- 在 Garay 等人的骨干协议模型基础上，新增三种状态：诚实（警觉）、被攻破（恶意）和睡眠（离线的诚实节点）。
- 引入参数 $ c $，以限制敌对者算力相对于警觉节点的比例，捕捉自私挖矿带来的优势。
- 分析三种模型：(1) 无消息丢失的同步模型，(2) 有界延迟模型，(3) 消息丢失的同步模型，用于模拟遮蔽攻击。
- 使用交互式图灵机（ITMs）建模协议执行过程，其中环境 $\mathcal{Z}$ 生成参与方，敌对者 $\mathcal{A}$ 控制被攻破的节点。
- 采用理想功能建模随机预言机和扩散信道，以模拟密码学和通信原原子。
- 利用期望值 $ E[X_i] $、$ E[X'_i] $ 和 $ E[X^*_i] $ 推导出睡眠节点和被攻破节点比例的上界，其中 $ \delta $ 为安全阈值。
实验结果
研究问题
- RQ1当诚实多数仅在期望意义上成立而非持续存在时，比特币在何种条件下仍保持安全？
- RQ2睡眠节点（离线的诚实节点）的存在如何影响骨干协议的安全保障？
- RQ3在比特币的安全属性（链增长、公共前缀、链质量）失效之前，可容忍的被攻破和睡眠节点的最大比例是多少？
- RQ4与通信可靠的模型相比，消息丢失（如遮蔽攻击中）如何降低安全性？
- RQ5敌对者算力比例 $ c $ 如何影响自私挖矿下的安全性与收益分配？
主要发现
- 当预期在线的诚实节点数量超过敌对者算力时，比特币在临时性非诚实多数下仍保持安全。
- 在无消息丢失的同步模型中，当 $ E[X_i] = 0.03 $ 时，睡眠节点的上限达到 $ s = 0.3 $，且当 $ c = 1 $ 时，敌对者可容忍最高达 48.5% 的比例。
- 在 $ \Delta = 10 $ 的有界延迟模型中，睡眠节点的上限降至 $ s = 0.2 $，且 $ \delta = 0.46 $，这是由于对延迟更加敏感。
- 在消息丢失模型中，安全阈值更严格：$ \delta = 0.075 $，表明对睡眠行为的容错能力显著降低。
- 该模型捕捉到了攻破节点（提升算力）与使节点睡眠（支持遮蔽攻击）之间的权衡，表明后者对敌对者可能更具优势。
- 结果与先前工作一致，例如文献 [4] 中的 49.1% 敌对者阈值，且验证了当 $ c = 0.5 $ 时，自私挖矿收益被限制在敌对者算力的 50% 以内。
更好的研究，从现在开始
从阅读论文到最终审阅，大幅缩短您的研究时间。
无需绑定信用卡
本解读由 AI 生成，并经人工编辑审核。