从拜占庭将军到 VRF 随机抽签,从确定性 BFT 到概率性 PoW,第5章覆盖了当代区块链共识的全景。本节以多维对比表和三个核心认知,为后续 Ethereum、分片与跨链章节奠定思维框架。
5.10.1 本共识机制多维对比
| 维度 | PoW (BTC) | PoS/DPoS (ETH2/EOS) | PBFT (Hyperledger) | Tendermint (Cosmos) | HotStuff (Diem) | PoA/联盟 |
|---|---|---|---|---|---|---|
| 信任模型 | 无许可 | 开放准入/票选 | 许可准入 | 质押准入 | 许可 | 权威信任 |
| 消息复杂度 | (广播) | |||||
| 最终性 | 概率性(6 确认) | 确定性/概率性 | 确定性 | 确定性 | 确定性 | 确定性 |
| 最终性时间 | ~60 分钟 | 1 秒 ~ 12 分钟 | 秒级 | 1-3 秒 | 亚秒级 | 秒级 |
| 能耗 | 高(物理算力) | 低(质押/票选) | 极低 | 低 | 极低 | 极低 |
| 女巫防御 | 算力成本 | 质押成本 | 准入列表 | 质押成本 | 准入 | 社会信任 |
| 抗审查性 | 强 | 中等(质押集中) | 弱(许可) | 中等 | 弱 | 极弱 |
| 代表应用 | Bitcoin | Ethereum 2.0 | Fabric | Cosmos Hub | Diem | POA Network |
5.10.2 共识设计的不可能三角
所有共识算法都在以下三个维度上进行权衡:
- 去中心化:参与共识的节点是否开放、无需许可;
- 性能:吞吐量和最终性时间;
- 安全性:抗女巫、抗双花、抗审查。
不存在任何单一算法在这三个维度上都达到最优。理解这一点,比选择“最好的共识”更重要。
graph LR
A[去中心化] --- B[性能]
B --- C[安全性]
C --- A
A1[Bitcoin<br>去中心化+安全] --> A2[牺牲: 性能]
B1[PBFT<br>安全+性能] --> B2[牺牲: 去中心化]
C1[DPoS<br>去中心化+性能] --> C2[牺牲: 安全]
style A1 fill:#bbf,stroke:#333
style B1 fill:#bfb,stroke:#333
style C1 fill:#fbb,stroke:#333
5.10.3 三个关键认知(第5章带走)
- FLP 不是死刑判决书:它只是告诉我们确定性共识在异步网络中不可能。区块链用概率性、部分同步或经济惩罚绕过了这个限制——不是推翻定理,而是松动前提。
- CAP 决定了公链的基因:选择 CP 还是 AP,在根本上决定了链在分区时的行为模式。支付网络倾向 CP,社交/内容链倾向 AP,不存在唯一正确答案。
- 共识不是算法选择,而是信任模型选择:从“任何人参与”(PoW)到“有资本者参与”(PoS)到“被信任者参与”(BFT/PoA),共识机制映射的是权力结构。
5.10.4 本章代码与公式索引
| 代码/公式 | 所在文件 | 说明 |
|---|---|---|
| 激励相容模拟 | 05.03-pow-incentives-and-security.mdx | PoW 诚实 vs 攻击策略收益对比 |
| 51% 成本估算 | 05.03-pow-incentives-and-security.mdx | 算力/电力日成本模型 |
| LMD-GHOST 分叉选择 | 05.04-pos-and-casper.mdx | 累积权重最大路径 |
| Casper FFG 投票 | 05.04-pos-and-casper.mdx | 检查点状态机(2/3 阈值) |
| PBFT 消息复杂度 | 05.06-pbft.mdx | 消息数与容错边界 |
| Tendermint 两阶段投票 | 05.07-consensus-variants.mdx | Pre-vote / Pre-commit 模拟 |
| VRF 秘密自选择 | 05.09-vrf.mdx | 可验证随机抽签简化 |
下一章预告:第6章我们将从“如何让节点达成一致”转向“如何让节点发现彼此”——P2P 网络拓扑、Kademlia DHT 与 Gossip 传播协议。
← 5.9 VRF 随机性 | 前往 → 第6章 P2P 网络层
评论
0评论加载中…