1985 年，Fischer、Lynch 与 Paterson 发表了一篇仅有 6 页的论文，却给分布式共识判了死刑：在异步网络与即使只有 1 个故障节点的条件下，不存在任何确定性共识算法。本节揭示这条“死亡定理”为何没有杀死区块链，以及 CAP 定理如何塑造了我们今天对公链工程的理解。

5.2.1 FLP 不可能原理：异步网络的死局

FLP 定理的核心前提：

1. 异步网络：消息传递没有上界（可能无限延迟，但不会丢失）；
2. 确定性算法：给定相同输入，所有诚实节点必达相同输出；
3. 容错：至少容忍 1 个故障节点。

结论：上述三者不可兼得。若允许异步 + 确定性 + 容错 = 无共识。

证明直觉（简化版）：

• 假设一个共识算法可以在某个场景 $S$ 下达成决定值 $v$。
• 由于网络异步，一个节点的消息可能被无限延迟。如果算法在 $v$ 达成时“恰好”被延迟，其余节点无法区分该节点是“慢”还是“故障”。
• 若允许在 $f=1$ 时继续运行，则存在一条消息调度路径使得决定值被延误至无限——即活性（liveness）被违反。

graph LR
    A[异步网络] --> B[消息延迟无界]
    B --> C[无法区分/lt;慢节点 vs 故障节点/lt;]
    C --> D[必须等待或继续]
    D -->|等待| E[可能无限等待 = 活性丧失]
    D -->|继续| F[可能不一致 = 安全丧失]
    F --> G[FLP: 确定性共识不可能]

5.2.2 为什么 FLP 没有杀死区块链：三条绕道

区块链社区应对 FLP 的方式并非“推翻定理”，而是松动其中一个前提：

方式一：接受非确定性

PoW 使用的不是“确定性共识”，而是概率性共识。出块是随机的，双花风险随确认数递减：

$p$ 为诚实算力比例，$q$ 为攻击算力比例，$k$ 为确认数。当 $k=6$，$q=0.3$ 时，$P < 0.001$。这在工程上足够安全，但理论上 FLP 的“确定性”不再适用。

方式二：引入同步性假设

BFT 类算法（如 PBFT、Tendermint）通过超时机制将异步网络转变为“部分同步”网络：

• 若在规定时间内未收到 $2f+1$ 个响应，则启动视图变更或下一投票轮。
• 只要网络延迟最终有界（GST，Global Stabilization Time），算法即可收敛。

方式三：牺牲活性

在极端异步场景下，算法主动停止（liveness violation），等待网络恢复。许多采用最终性小工具（如 Casper FFG）的链选择在网络分叉时暂停最终化，而非继续推进。

// flp-tolerance-sim.ts
// 纯内置：模拟不同确认数下的双花概率

function doubleSpendProb(attackHashrate: number, honestHashrate: number, confirmations: number): number {
  const q = attackHashrate / (attackHashrate + honestHashrate);
  const p = 1 - q;
  return Math.pow(q / p, confirmations); // 简化模型
}

// 攻击者控制 30% 算力，不同确认数下的双花概率
for (const k of [1, 3, 6, 12, 24]) {
  const prob = doubleSpendProb(30, 70, k);
  console.log(`确认数 k=${k}: P(双花) ≈${prob.toExponential(3)}`);
}
// 输出：k=6 时约 7.29e-04，工程级安全

5.2.3 CAP 定理在公链中的现实映射

CAP 定理指出：一致性（Consistency）、可用性（Availability）、分区容错性（Partition Tolerance）三者不可兼得，在分区时必须在 C 与 A 之间选择。

CAP 的工程启示：

• 不可能三角不是“设计缺陷”，而是工程约束。任何声称“同时实现 C+A+P”的方案要么隐藏了分区假设，要么重新定义了其中一者的含义。
• 公链的选型应根据应用场景：支付网络优先 C（金融结算），社交/游戏链优先 A（用户体验）。

graph TD
    A[网络分区] --> B{选择?}
    B -->|CP| C[停止出块<br>保持一致性]
    B -->|AP| D[双链并行<br>回滚解决冲突]
    C --> E[Cosmos/Tendermint]
    D --> F[Bitcoin/Eth1]
    style B fill:#ff9900,color:#fff

5.2.4 从理论到工程：区块链共识设计的折中哲学

关键认知：FLP 与 CAP 不是杀死共识的判决书，而是共识工程的设计约束。比特币的答案是“用经济学与概率性替代确定性与活性保证”，BFT 的答案是“用部分同步替代完全异步”。理解这些折中，比追求无妥协的“完美共识”更重要。

← 5.1 拜占庭将军问题 | 前往 → 5.3 PoW 激励与安全边界