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

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