HoneyBadgerBFT 是 2016 年发表的第一套实用异步拜占庭容错协议：它不做任何超时与网络速度假设，用信息分发编码和异步公共子序列把“等消息”换成“凑份额”，在网络极度拥塞甚至被敌手控制链路时仍保证活性。本文拆解它与 PBFT 式同步假设的路线分歧。

HotStuff 是 2019 年提出的拜占庭容错共识协议：用三阶段投票、法定证书和流水线出块，把更换领导者的通信代价从平方级压到线性级，还能按真实网络速度出块。它成为 Diem 等系统共识层的蓝本。本文拆解它的证书、三链提交规则与流水线设计。

CAP 定理说：网络分区发生时，分布式系统只能在强一致和全体可用之间二选一。2000 年 Brewer 提出猜想，2002 年被 Gilbert 和 Lynch 证明。本文讲清三个字母的准确含义、证明的直觉，以及公链为什么天生站在“分区容忍”这一边。

两个将军隔着敌境传信，无论确认多少轮，谁都不敢先动手——这就是两将军问题，分布式协调不可能的第一个证明。本文讲清它的由来、为什么确认套确认永远到不了头，以及比特币和以太坊这类系统如何用“概率足够高”替代“数学上确定”。