以太坊验证者离线并不自动等于 slashing。本文按漏提议、漏证明、网络未最终确定和可罚没冲突行为区分奖励损失与协议惩罚，说明 inactivity leak 的触发背景，并解释为什么不能用一个固定金额估算所有离线损失。

CometBFT 的 Tendermint 共识是领导者制的，一个高度里每一轮的提议者都由确定性算法算出：给每个验证者维护累计优先级，选举时各自加上投票权、选出最高者、再把它减去全集合总投票权。规范还要求新加入者从负 1.125 倍总投票权起步，验证者集变动时把优先级居中并在跨度超过两倍总投票权时缩放。本文按官方共识规范拆解这套加权轮询的算法、边界与代价。

Lido 的分池质押产品把质押资金、验证者与提款队列拆到单个池子的账上，退出、罚没和流动性都不再和整个协议共享。本文按官方运行文档讲清这类池子的结构：谁在补以太币流动性、最终化由谁执行、最小延迟在防什么，以及和共享资金池模式相比风险边界的变化。

以太坊最早的质押存款把提款地址写成BLS公钥哈希前缀0x00，多年后这批凭据成了迁移死角。草案EIP-8365提出用一条常驻规则让0x00凭据自动离场、新存款不再处理。本文拆解它为什么选退出作为退役手段，以及资金为何仍然可取回。

以太坊约百万级活跃验证者，每个时隙要发数万条单独证明，聚合器再逐级压缩。EIP-8243（Draft）提议允许同一委员会里被并发排班的验证者从源头就发一条预聚合的批量证明：各成员对（时隙、委员会编号、批次人）三元组预签一枚批次印章，批次人组装后补签批次签名，链上格式与聚合管线完全不变。本文拆解封条结构、去重原则与被刻意留白的隐私含义。

以太坊质押存款里有一份叫所有权证明的签名：用即将激活的验证者私钥，去签一段写明提现地址的数据。它不授权发币，只证明私钥与账户归属。本文拆解这份签名防什么、为什么必须一次性签对，以及它和提现凭据的关系。

Beacon attestation rewards端点按epoch返回ideal_rewards与验证者total_rewards，并拆分source、target、head和inactivity。本文给出Gwei单位、最终性和多职责收益边界。

Beacon标准API可按区块返回同步委员会奖励。本文从block_id、SyncAggregate参与位、Gwei整数口径和验证者映射出发，说明如何核对单区块职责而不误当总收益。

以太坊Electra状态中的pending_consolidations只是验证者合并队列项，不代表source余额已经并入target。本文按请求进入、source退出、队列处理和余额合并四阶段解释监控口径。

Beacon pending_partial_withdrawals记录验证者索引、Gwei金额和withdrawable_epoch。本文把入队、达到可提款纪元、共识状态处理与执行层到账分成四个时点，并给出乐观执行、最终性和财务对账的处理方法。