Casper 的发展历程是一个冗长且充满戏剧性的故事，今天简单分析下 Vlad 主导的 Casper-CBC 和 Vitalik 主导的 Casper-FFG。
- 从进入方式上看， CBC 和 FFG 都要求验证者抵押代币。
- 从出块选择上看，Casper 是覆盖在 PoW/PoS 上的确认层，并不出块。验证者对链上的区块投票，通过共识达成链上区块的确认。
- 从共识方式上看，因为 Vlad 排斥 BFT 算法，因此设计了 GHOST 的变种 LMD GHOST (Latest message-driven GHOST) 作为 CBC 的共识机制。Vitalik 最初采用的是简化的 BFT 算法，后来也转向了 GhOST 算法，设计了 IMD GHOST (Immediate message-driven GHOST) 作为 FFG 的共识机制。
- 从退出方式上看，验证者解除抵押就无法参与验证。
- 从安全偏好上看，Casper 偏好一致性（感觉用一致性和活性来描述安全偏好似乎不是很合适，用概率性或确定性描述也许更好一些）。
- 从延迟上看，Casper 的延迟更多地取决于底层的 PoW/PoS 的设置，比如是每 50 个块确认一次，还是每 100 个块，以及每个块的平均出块时间。
- 从带宽效率上看，Casper 的带宽效率为中。Casper 需要为验证者的投票消耗额外的带宽。
- 从节点数量上看，Casper 的节点数量为中。