当以太坊遭遇大规模断连、既无法完成最终性也无法恢复时，inactivity leak 会逐步稀释不活跃验证者的权重，让留守多数重新凑够最终性门槛。本文讲它何时启动、怎么加权、代价是什么。

PoW 靠算力保证历史不可改，PoS 呢？本文解释长程攻击与前向攻击的机制、弱主观性与检查点的来源、最终性检查点为何是主要防线，以及它和余额提款、共识分歧的关系。

本文解释以太坊的紧急协议 inactivity leak：超过约四个 epoch 未最终化后，如何按不活跃轮数削减沉默验证者的有效权重、让活跃多数重获三分之二门槛恢复最终性，它的触发节奏、把瘫痪攻击变昂贵的逻辑，以及双最终性等它管不了的情形。

本文拆解以太坊的分叉选择规则 Gasper：LMD-GHOST 如何用最新消息驱动的加权最重子树选出链头，Casper FFG 如何用三分之二检查点投票锁定历史，两套规则处理弹跳与平衡攻击的接缝，以及对重组和确认体验的影响。

本文解释以太坊 PoS 里 attestation 的结构与流程：验证者如何对区块“投票”、头投票与最终性投票的区别、委员会如何分配，以及这些投票如何驱动出块与最终化。

本文解释 equivocation（同一槽位签名两个冲突对象）的检测与惩罚流程：为什么它是 PoS 里最严重的违规、罚没如何执行、以及它与“离线/掉线”的本质区别。

本文解释权益证明（PoS）的基本运作：质押、出块、验证与惩罚如何配合，对比 PoW 的资源消耗逻辑，说明质押率、验证者集中度、slashing 与退出队列等关键概念及对应风险。