第 4 章 熔炉工段：共识机制
第 4 章 · 熔炉工段：共识机制
本章要回答的三个问题：为什么"多副本各自记账"必然出乱子，共识到底在统一什么？PoW、PoS、BFT 三大炉型各自怎样选出下一个区块、靠什么吓阻作恶？当性能、安全、去中心化不可兼得时，工程上如何选型？
为什么会有这一章
铸造车间交付的所有设施有共同前提：下一区块是谁产的，大家有统一答案。第 3 章刻意将此前提悬置——交易池里堆着合法交易，候选区块可能同时出现好几个，网络又只会尽力而为地传话。没有熔炉，账本立刻退化为"各记各的"，前两章全部材料将保卫不存在的链。
熔炉工段要解决的，教科书上叫分布式共识，车间里的说法是"没有老板的排产会议"。它同时面对两种故障：机器断电宕机（静默故障），机器故意捣乱（拜占庭故障）——后者还能伪装正常、串通撒谎。共识理论的里程碑结论划出了可行边界：同步网络内可容忍有限比例的拜占庭节点，异步网络里确定性共识不可能、必须靠随机性破局。公链的两大炉型正对应两路破局方案：用算力竞争引入物理节奏（PoW），用随机抽签引入概率节奏（PoS/BFT 混合）。本章沿"问题—炉型—权衡"推进，数学只取工程够用的剂量。
读完能解决什么
读完本章，你应当能：用双花场景解释"定序"是共识的核心职责；算出一笔挖矿期望收益与难度调整的关系账；说明 PoS 的质押经济学与罚没机制如何对齐激励；写出 BFT 系统的三分之二多数门槛并解释它为什么是这道门槛；对比 DPoS、PoA 等炉型的信任假设与适用场景；拿到一条新链时用"不可能三角"逐项审问它的承诺；解释最终性与概率最终性的差别及各自适合的业务。
本章知识点清单（可考核）
- 能陈述共识要解决的三个问题：一致性、活性、拜占庭容错
- 能写出拜占庭容错的经典边界：需超三分之二诚实节点，Fault 数量与节点总数的不等式
- 能解释 PoW 的抽奖机制、难度调整回路与自私挖矿的基本思路
- 能计算给定难度下出块的期望尝试次数，并说明能耗的"必要浪费"论证
- 能描述 PoS 的验证者选举、质押罚没、委员会轮换与长程攻击防御
- 能按预投票、预提交两阶段描述 BFT 类协议的投票流程与锁定的作用
- 能对比 PoW 的概率最终性与 BFT 的即时最终性，指出各自适合的场景
- 能用扩容、安全、去中心化的三角关系评估任意新共识的营销话术
各节怎么分工
| 节 | 回答哪个问题 | 关键产出 |
|---|---|---|
| 4.1 共识机制总论 | 没有熔炉会怎样、共识统的是什么 | 故障模型 + 容错边界推导 |
| 4.2 工作量证明 PoW | 烧电竞赛如何定序 | 挖矿模拟 + 难度回路 + 收益账 |
| 4.3 权益证明 PoS | 押注表决如何替代烧电 | 质押经济 + 罚没逻辑代码 |
| 4.4 拜占庭容错 BFT | 坏车间在场时的表决数学 | 两阶段投票模拟 + 三分之二门槛 |
| 4.5 DPoS、PoA 与其他炉型 | 小圈子与权威炉的取舍 | 炉型谱系对比表 |
| 4.6 不可能三角 | 三角如何权衡、工程怎么选 | 权衡矩阵 + 选型决策流程 |
六节的推进关系是"先立靶、再射箭、后收账"：4.1 立起问题与边界，4.2 到 4.5 逐一展开四大炉型，4.6 收束成权衡框架。
先决条件
概率的基础直觉（期望、几何分布）对 4.2 有帮助；第 2 章的哈希实验与第 3 章的区块结构是硬前置——熔炉争的正是第 3 章定义的区块，用的正是第 2 章的钢印。不需要先修分布式系统课程，需要的背景都在前两章备齐了。
往下走到哪
熔炉定序之后，机器能跑、账本能长，但新的问题从产品面浮出：账本全程公开，用户的资金流向像写在玻璃上。下一章走进出厂检验科——匿名与隐私保护，看零知识证明、环签名这些"检验仪器"如何在保全验证的同时遮住视线。
学共识最常见的挫败感来自"协议描述读得懂、动手一写就乱"，本章的解法已经铺好：每节的核心机制都拆成了可运行的模拟——抽奖、罚没、投票、换主，每个模拟都刻意保留了真实协议的骨架而削掉了工程包装。建议按"读模拟、跑模拟、改参数看行为"的顺序过一遍：把攻击者算力占比调过半数线、把拜占庭节点数抬到三分之一线上，亲眼看着概率翻转与决议失败发生，比读十遍论文的印象都深。熔炉的数学不难，难的是建立对这些边界的肌肉记忆，而肌肉记忆只能来自动手。