区块一个交易都没有，协议照样接受——这在以太坊是合法区块，在比特币则不可能发生。本文区分空块与漏块两个概念，讲清验证者为什么有时会交出空白区块（本地构建超时、MEV 中继取块失败是已知诱因），以及“连续空块”为什么值得盯紧。

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

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

以太坊每纪元用 RANDAO 混合作种子把全体验证者重新分配到各时隙委员会，让攻击者无法提前锁定下一班岗。本文拆解洗牌算法的防攻击逻辑、纪元内聚合投票接力，以及洗牌管不到的总质押集中问题。

确认数越深概率越小，与三分之二签名即规则不可逆，是两套不同的安全语言。本文拆解 PoW 算力的长尾风险、BFT 罚没与检查点边界，以及以太坊的混合体对用户到账标准的实际含义。

单槽终局性研究让区块在提出的同一时隙完成最终化，取代现在约十五分钟的等待。本文按官方路线图的三角权衡拆解委员会、超级委员会与分叉选择的连锁变化，并划清研究阶段与已上线方案的边界。

出块者若拖延发布或对手广播迟到投票，诚实节点可能在不同分支间摇摆，形成平衡攻击。以太坊分叉选择给按时到达的区块一个限时的大额临时权重——提案者增益。本文讲清加分的百分比量级、触发条件，以及它如何在诚实重组里防止被迟到的信息牵着走。

闪电网络路由付款的每个节点都盯着同一个支付哈希，这是关联分析和虫洞攻击的根子。PTLC 用适配器签名把锁换成椭圆曲线上的点，每一跳看到的数据都不同。本文讲清 PTLC 与 HTLC 的机制差异、它依赖的 Schnorr 前提，以及为什么主网通道至今仍是哈希锁。

学区块链前先学过 Raft 的人常困惑：那套“过半数就出块”的经典协议，放到有匿名节点的公链上为什么不成立？本文讲 Paxos 与 Raft 的问题设定（崩溃容错）、拜占庭容错与 PoW 的分岔点，以及为什么联盟链和公链像两种语言。

为什么理性人会在没人监督时老实出块？激励相容（incentive compatibility）是机制设计理论搬进区块链的一行要求：说真话、守规矩恰好是每个人的最优策略。本文从机制设计讲起，拆解 PoW 的罚没替代、PoS 的双花罚与可用性惩罚，以及它如何解释 51% 攻击的“自毁”逻辑。