💻 computer science

Rigorous and Generalized Proof of Security of Bitcoin Protocol with Bounded Network Delay

该论文通过引入允许不同分值区块的通用模型及修正随机游走理论的错误方法，在考虑网络延迟 $\Delta$ 的假设下，严谨证明了只要完全延迟下的诚实挖矿速率超过攻击者挖矿速率，比特币协议将以概率 1 产生无限多个诚实区块。

原作者： Christopher Blake, Chen Feng, Xuechao Wang, Qianyu Yu

发布于 2026-04-16

📖 1 分钟阅读☕ 轻松阅读

原作者： Christopher Blake, Chen Feng, Xuechao Wang, Qianyu Yu

原始论文采用 CC BY 4.0 许可（http://creativecommons.org/licenses/by/4.0/）。 ✨ 这是对下方论文的AI生成解释。它不是由作者撰写或认可的。如需技术准确性，请参阅原始论文。阅读完整免责声明

这篇文章就像是一份**“比特币安全性的终极体检报告”**。

想象一下，比特币网络是一个巨大的、由成千上万个矿工组成的**“记账公会”**。大家的目标是共同维护一本公开的账本（区块链）。但是，总有一些捣乱的人（攻击者）想偷偷修改账本，或者试图把大家的账本带偏。

这篇论文的主要任务就是：用更严谨、更通用的数学方法，证明只要诚实的矿工足够多，这个账本就永远安全，不会被篡改。

为了让你更容易理解，我们把论文里的复杂概念变成几个生动的故事和比喻：

1. 核心设定：网络延迟就像“邮局的慢递”

在比特币的世界里，信息传递不是瞬间完成的，会有延迟。

比喻：想象矿工们住在不同的岛屿上，他们通过**“慢递邮局”**互相发送账本页面（区块）。
攻击者的能力：攻击者就像是一个**“邪恶的邮局局长”**。他可以故意扣留诚实矿工寄出的信件，最多扣留 $\Delta$ 时间（比如 10 分钟）。但他不能凭空变出信件，只能拖延。
论文的贡献：以前的研究假设这种延迟很小，或者模型太简单。这篇论文说：“好吧，我们假设延迟可以很大，甚至攻击者可以玩弄时间差，但只要诚实矿工的力量足够强，账本依然是安全的。”

2. 核心发现：什么是“纳卡莫托区块”？（Nakamoto Block）

这是论文里最精彩的部分。作者定义了一种特殊的区块，叫“纳卡莫托区块”。

比喻：想象在一条繁忙的公路上（区块链），偶尔会有一辆**“孤独的卡车”**（诚实区块）出现。
- 在它出现的前后一段时间里，没有其他诚实卡车经过（它是孤独的）。
- 更重要的是，没有攻击者的卡车敢在这个时间段里超车或并排行驶。
为什么它很重要？：一旦这辆“孤独卡车”出现，并且它前后的时间窗口里，诚实卡车队的总速度（得分）超过了攻击者车队的总速度，那么这辆卡车就永远会被大家认可，成为账本的一部分，谁也删不掉它。
论文的修正：以前的研究认为这种“超车”过程像是一个简单的随机漫步（像醉汉走路），但这被证明是错的（就像以为醉汉走直线一样不靠谱）。这篇论文发明了一种**“打孔 Arrival 过程”**（Punctured Arrival Process）的新方法。
- 新比喻：想象我们在时间轴上每隔一段时间就**“剪掉”一小段（打孔），只保留中间的部分。通过这种“剪剪补补”的方法，他们证明了：只要诚实矿工的平均速度比攻击者快，这种“孤独卡车”出现的概率就大于零**。

3. 安全区的判定：谁跑得快？

论文定义了两个关键指标：

$\lambda_h$ (诚实速度)：在即使网络最慢、被攻击者故意拖延的情况下，诚实矿工依然能产生的“有效得分”增长速度。
$\lambda_a$ (攻击者速度)：攻击者自己挖矿的速度。

结论很简单：

如果 诚实速度 > 攻击者速度 ( $\lambda_h > \lambda_a$ $λ_{h} > λ_{a}$ )：
- 就像一支训练有素的长跑接力队，虽然中间有人故意绊倒队员（延迟），但只要团队整体配速够快，他们最终一定能跑赢那个试图插队的独狼。
- 论文证明：在这种情况下，无限多的诚实区块会永远留在账本里。概率是 100%。
如果 攻击者速度 > 诚实速度 ( $\lambda_a > \lambda_h$ $λ_{a} > λ_{h}$ )：
- 就像独狼跑得比整个接力队都快。攻击者可以偷偷挖一条更长的链，然后突然跳出来，瞬间覆盖大家的账本。这时候系统就不安全了。

4. 论文的“纠错”与“升级”

这篇论文不仅证明了安全，还做了一件很重要的事：纠正了前人的错误。

旧错误：之前的研究假设攻击者和诚实者的链长差异像“随机漫步”（Random Walk）。作者用一个反例证明：这不是随机漫步，因为攻击者可以策略性地选择什么时候发布区块，这打破了随机性。
新方案：作者引入了**“打孔过程”。这就像是在检查账本时，我们故意忽略掉那些可能被攻击者干扰的“混乱时间段”，只关注那些“干净、独立”**的时间段。在这些干净的时间段里，数学规律（大数定律）重新生效，证明了诚实链最终会胜出。

5. 总结：这对你意味着什么？

这篇论文就像是为比特币的安全大厦重新打了一根更粗、更深的钢筋。

以前：我们担心如果网络延迟很大，或者攻击者很狡猾，比特币会不会不安全？
现在：这篇论文用严密的数学逻辑告诉你：只要诚实矿工掌握超过 50% 的算力（在考虑了最大延迟后），无论攻击者怎么拖延时间、怎么耍花招，他们最终都赢不了。 账本里会源源不断地加入诚实的区块，系统会无限期地安全运行。

一句话总结：
这就好比在一个充满迷雾（网络延迟）的森林里，只要诚实的向导团队（矿工）比那个试图带偏队伍的骗子（攻击者）走得更快、更稳，那么无论骗子怎么制造障碍，团队最终一定能走出森林，到达终点。这篇论文就是那个**“绝对不会迷路”**的数学证明。

《比特币协议在有界网络延迟下的安全性严格与广义证明》技术总结

1. 问题背景 (Problem)

比特币协议的安全性长期以来依赖于“诚实节点拥有超过 50% 的哈希算力”这一假设。虽然 Nakamoto 在 2009 年证明了其对抗私有双花攻击的安全性，但后续研究揭示了其他潜在攻击（如自私挖矿、平衡攻击等）。

现有的关于比特币在有界网络延迟（ $\Delta$ -bounded delay）模型下的安全性证明存在以下主要缺陷：

分析错误：文献 [7] 的证明假设“攻击者链与诚实链长度差”是一个随机游走（Random Walk），但本文通过反例证明该假设是错误的，因为块到达过程并不满足随机游走的独立性条件。
证明复杂且非直观：文献 [8] 虽然证明了安全性，但证明过程冗长且缺乏直观性。
模型局限性：现有证明通常假设所有区块具有相同的分值（Score），难以直接推广到更复杂的协议（如合并比特币 Merged Bitcoin），后者允许不同类型的区块具有不同的分值。
界限不紧：部分早期证明的安全界限不够紧密。

本文旨在解决上述问题，提供一个严格、简化且广义化的比特币协议安全性证明，并修正了前人的理论错误。

2. 方法论 (Methodology)

本文采用以下核心方法论来构建证明：

A. 广义化模型 (Generalized Model)

多类型区块：允许矿工挖掘不同类型的区块，每种类型具有不同的分值（Score）。
有界延迟网络模型：攻击者可以延迟诚实区块的传输最多 $\Delta$ 时间。一旦攻击者将区块发送给一个诚实矿工，该信息最多只能再被延迟 $\Delta$ 时间传播给其他矿工。
分数增长速率：定义诚实节点在完全延迟（Fully-delayed）情况下的分数增长率为 $\lambda_h$ ，攻击者的分数增长率为 $\lambda_a$ 。安全区域定义为 $\lambda_a < \lambda_h$ 。

B. 修正随机游走假设 (Correcting the Random Walk Assumption)

反例分析：文章在附录 A 中通过反例证明，前人使用的“链长差是随机游走”的假设是不成立的，因为区块到达时间受历史影响，不具备随机游走所需的独立增量特性。
引入“穿孔”到达过程 (Punctured Arrival Process)：
- 为了解决上述错误，作者提出了一种新的技术：构造一个“穿孔”的到达过程。
- 在该过程中，每隔一段时间 $B$ ，删除长度为 $\Delta$ 的区块到达间隔（模拟最坏情况的延迟和干扰）。
- 在这个穿孔过程中，剩余的时间间隔内的区块到达是独立同分布（i.i.d.）的，从而构成了一个真正的随机游走。
- 利用随机游走理论（特别是漂移理论），证明在安全区域内，诚实链的分数增长以正概率始终保持在平均值附近或之上。

C. 纳卡莫托区间 (Nakamoto Intervals)

定义：引入“纳卡莫托区间”的概念。如果一个长度为 $2q$ $2 q$ 的区间内：
1. 仅有一个诚实区块到达（称为“独行者”Loner）。
2. 在该区间前后特定的时间窗口内没有诚实或攻击者区块。
3. 诚实链在区间前后的分数增长均超过攻击者链。
  则称该区间为纳卡莫托区间，其中的区块为“纳卡莫托区块”。
核心引理：证明了纳卡莫托区块一旦产生，将永远保留在主链（Canonical Chain）中。

D. 自举论证 (Bootstrap Argument)

利用归纳法证明：虽然单个纳卡莫托区块出现的概率大于 0，但需要证明在无限长的时间轴上，这样的区块会无限次出现。
通过划分时间区间，利用切尔诺夫界（Chernoff bound）和归纳假设，证明在 $\lambda_h > \lambda_a$ 的条件下，不存在安全区块的区间概率随时间长度呈指数级衰减至零。

3. 关键贡献 (Key Contributions)

修正了理论错误：明确指出了文献 [7] 中关于随机游走假设的错误，并提供了严谨的反例。
提出了“穿孔到达过程”技术：这是一种创新的方法论，通过构造特定的时间窗口（穿孔），将复杂的依赖过程转化为独立的随机游走，从而能够严格应用概率论工具进行证明。
广义化证明框架：将证明从单一分值的比特币模型推广到多分值模型（Multi-block type model），使其能够直接应用于“合并比特币”（Merged Bitcoin）等更复杂的协议。
简化与严格化：相比文献 [8] 的复杂证明，本文通过引入“纳卡莫托区间”和“穿孔过程”，提供了更直观且数学上更严谨的证明路径。
确立了紧确的安全界限：证明了只要完全延迟下的诚实挖矿分数增长率 $\lambda_h$ 大于攻击者增长率 $\lambda_a$ ，协议就是安全的。

4. 主要结果 (Results)

定理 42：当 $\lambda_h > \lambda_a$ 时，任何子区间内没有永久保留的诚实区块的概率，随时间长度 $t$ 呈指数级衰减至零。
推论 43：如果 $\lambda_h > \lambda_a$ ，则主链中包含无限多个诚实区块的概率为 1（即几乎必然发生）。
定理 44 (不安全区域)：如果 $\lambda_a > \lambda_h$ ，则协议是不安全的。攻击者可以通过私有挖矿攻击（Private Mining Attack），以 100% 的概率最终使主链完全由攻击者区块组成。

5. 意义与影响 (Significance)

理论基石的巩固：本文解决了比特币安全性证明中长期存在的数学漏洞，为比特币及其衍生协议在异步网络环境下的安全性提供了坚实的数学基础。
新协议验证工具：提出的广义模型（允许不同分值区块）和证明方法，为验证“合并比特币”（Merged Bitcoin）及其他分叉或合并类区块链协议的安全性提供了标准框架。
网络延迟的鲁棒性：明确量化了网络延迟 $\Delta$ 对安全性的影响，表明只要诚实节点的算力优势足以抵消延迟带来的负面影响（即 $\lambda_h > \lambda_a$ ），系统就能保持去中心化和安全性。
方法论创新：“穿孔到达过程”技术不仅解决了当前问题，也为未来分析其他具有复杂依赖关系的分布式系统随机过程提供了新的分析视角。

综上所述，该论文通过修正前人错误、引入创新数学工具并构建广义模型，完成了对比特币协议在有界网络延迟下安全性的严格、完整且通用的证明。