PoS与共识：先明确适用范围
PoS是Proof of Stake的缩写，通常译为权益证明。其核心是让验证者以可被处罚的质押资产承担共识责任。共识则涉及网络如何依照共同规则，对区块及其顺序形成一致认识。下文的时隙、投票与最终性术语以以太坊为例，不能直接套用于所有PoS网络。
比特币采用的PoW即工作量证明，通过满足难度要求的哈希证明工作投入，并在有效分支之间依据累计工作量选择链。理解二者时，应区分交易是否合法与有效分支如何选择；共识权重不能使违反验证规则的交易自动合法。
验证者、提议者与证明
验证者参与区块检查和共识投票；区块提议者负责在获分配的机会中提出新区块。Attestation通常译为证明，在这里指验证者签署的共识意见，涉及其认可的链头及检查点。委员会是承担相应证明任务的一组验证者。
这些名称分别描述参与身份、当次职责和发出的消息。提出区块不等于其他节点已经接受，签署证明也不意味着某个验证者能独自决定全网历史。
时隙与周期：时间安排不等于出块结果
Slot是时隙，Epoch是由多个时隙组成的周期。以太坊通过这两种时间单位组织提议和证明任务。时隙表示协议安排的出块机会，即使某个机会没有产生区块，协议时间仍会继续推进。因此，时隙编号与实际区块数量需要分别理解。
分叉选择、检查点与最终性
Fork choice即分叉选择，处理节点暂时看到不同有效分支时应跟随哪一支的问题。以太坊的LMD-GHOST使用验证者最新证明的权重选择链头；Casper-FFG则通过检查点投票推进最终性。
Checkpoint即检查点。Justified可理解为已获得规定权重支持的检查点状态；Finalized表示进一步满足协议最终确定条件。交易被打包、所在分支成为当前链头、相关历史最终确定，是不同阶段。最终性强调推翻已确定历史需要承担重大经济代价，不能简单解释为任何条件下都绝对无法改变。
常见问题：离线是否等于作恶
Penalty泛指处罚，Slashing通常译为罚没，针对协议规定的可证明违规，例如同一时隙双重提议或特定冲突投票。普通离线与这类违规不同，不能把所有余额减少都称作罚没。
理解安全性时，还需区分网络能否继续出块与能否继续最终确定。短期看到新区块，不足以证明最终性正常推进；判断状态应结合协议所要求的投票和检查点条件。