词汇表概念
以太坊Casper协议是什么？PoS共识的基础
Casper协议是以太坊以经济抵押和惩罚机制取代挖矿而构建的权益证明（PoS）共识设计。想加入网络的验证者需要存入ETH作为抵押；诚实行为获得奖励，而矛盾投票（equivocation）或双重签名会被罚没（slashing）抵押。这一结构提供了“经济最终性”：要回滚一个已最终确定的区块，必须销毁至少三分之一的总质押量。Casper 分为 FFG 和 CBC 两条研究路线，其中 FFG 随“合并”（The Merge）成为以太坊生产环境共识层的基础。
作者: COINOTAG Research Desk最后更新 参考资料
以太坊之所以能彻底告别挖矿，靠的不是某一次升级，而是多年的研究和一次全面的共识重新设计，而这次重新设计的核心就是 Casper协议。Casper 是一整套机制：想加入网络的验证者（validator）必须存入真实的资本作为抵押，对区块的最终确定进行投票，一旦违反规则，就会失去部分甚至全部抵押。它的核心创新是“经济最终性”：要回滚一个已确认的区块，攻击者必须销毁全部质押ETH的至少三分之一，这让攻击在数学上变得极其昂贵。
工作量证明矿场与Casper验证者节点的并排对比，展示能耗与抵押的差异
两条研究路线：FFG与CBC
Casper 不是单一协议，而是两条并行研究路线的统称。
Casper FFG（Friendly Finality Gadget，友好最终性工具）
Casper FFG 最初被设计为叠加在工作量证明链之上的一层，主要目的是为已经在运行的 PoW 系统定期加入“最终性检查点”（checkpoint）。这一思路成为全面转向 PoS 的概念桥梁，也是“合并”（The Merge）启用的共识层的直接前身。今天的以太坊仍然运行在源自 FFG 的理念之上。
Casper CBC（Correct-By-Construction，构造即正确）
Casper CBC 是一种更抽象、更理论化的方法。它的目标不是事后证明安全属性，而是让安全属性直接来自数学构造本身。它虽然没有直接投入生产环境，但仍在持续为未来的共识研究提供灵感。
Casper如何保障网络安全？
这一共识机制建立在三大支柱之上。
1. 绑定抵押（Bonded Deposit）
每个想加入网络的验证者都必须锁定ETH作为抵押。这笔抵押不仅决定投票的权重，也是保证诚实的“人质”。没有抵押的账户无法参与共识投票。
2. 按周期投票与最终确定
网络以被称为“epoch”（周期）的时段推进。在每个周期中，验证者对特定的检查点区块进行“合理化”（justify），连续两次合理化就能让该检查点“最终确定”（finalize）。要回滚一个已最终确定的区块，必须销毁全部质押ETH的至少三分之一，这让攻击在经济上得不偿失。
3. 罚没：作恶的代价
在质押过程中，如果验证者投出相互矛盾的票，或在同一区块高度签署两条不同的消息（双重签名 / equivocation），协议就会扣除其抵押，这种惩罚被称为“罚没”（slashing）。罚没金额会根据同时违规的验证者数量放大：发生协同攻击时，每个人受到的惩罚会重得多。
周期流程图——区块提议、证明（attestation）、合理化、最终确定，以及作恶时的罚没分支
工作量证明与Casper权益证明对比
| 维度 | 工作量证明 | Casper（权益证明） |
|---|---|---|
| 出块者选择 | 消耗的能源（算力） | 锁定的资本（抵押） |
| 攻击成本 | 购买或租用多数硬件 | 销毁总质押量的 ≥⅓ |
| 能源消耗 | 非常高 | 约低99.9% |
| 奖励模式 | 区块奖励 + 交易手续费 | 增发 + 手续费，没有“挖矿” |
| 作弊惩罚 | 无（只是浪费电力） | 罚没，直接损失抵押 |
| 最终性类型 | 概率性（确认越多越安全） | 两个周期后达到经济最终性 |
| 硬件门槛 | 专用设备（ASIC / GPU） | 标准服务器 + 32 ETH |
数字示例：诚实还是被罚没？
假设一个验证者存入32 ETH抵押，网络提供每年4%的质押收益。
诚实路线： 一年后，验证者大约赚到 32 × 0.04 = 1.28 ETH，抵押完好，总资产为33.28 ETH。
罚没路线： 如果验证者因为客户端配置错误发生双重签名，假设最低1 ETH罚款加上关联惩罚共被扣除3 ETH。验证者被强制退出，手里只剩 29 ETH。一次违规，就抹掉了两年多的预期收益。
这正是设计的精髓：作弊的期望值在数学上是负数。
如何成为验证者？分步流程
- 准备抵押：获取32 ETH；资金较少时，可以考虑流动性质押池。
- 运行节点：在可靠的硬件上同时安装执行客户端（execution client）和共识客户端（consensus client），详见节点。
- 生成密钥并存入：生成验证者密钥，把32 ETH发送到存款合约。
- 证明与提议区块：你的验证者会为检查点投票，并不时提议新区块。
- 保持在线：离线会带来小额的“不活跃惩罚”，稳定在线则让奖励不断复利增长。
- 随时退出：提交退出申请后，抵押和累积的奖励即可提取。
更完整的技术说明，请参阅我们的 以太坊质押指南 和 权益证明完整指南。
风险与注意事项
- 配置错误风险： 在两台机器上运行同一组验证者密钥，会在无意中造成双重签名，即便是诚实的运营者也可能掉进这个陷阱。
- 关联惩罚： 大型云服务商宕机等集体性故障，会导致比单独罚没重得多的惩罚。使用不同的客户端软件可以分散这一风险。
- 流动性锁定： 抵押在质押期间无法自由转移，退出需要排队。
- “无利害关系”（nothing at stake）理论： 批评者曾提出，PoS 验证者可以零成本地为每一条分叉投票。Casper 的罚没条件正是为了让这种行为付出代价而设计的，但安全性依赖于实现的正确性。
- 中心化倾向： 大型质押服务商可能逐渐积累相当大的验证者权重，这是治理层面而非技术层面的风险。
时间线——从早期Casper研究论文到“合并”，再到如今的质押参与率
COINOTAG观点
很多年里，Casper 一直是一个“也许有一天会实现”的理论协议，这个阶段已经结束。如今，Casper FFG 的后代正在守护全球最大的智能合约网络之一。通过“合并”，以太坊彻底停用了工作量证明，网络的安全模型不再依赖能源消耗，而是依赖经济抵押。
对普通投资者来说，这一区别有很大的实际意义：ETH 已经成为一种能产生收益的资产。质押收益、验证者经济和长期安全预算，都是抵押与罚没机制的直接产物。理解 Casper 不是学术上的好奇心，而是弄明白ETH如何产生收益、网络为何能抵御攻击的基础。想了解以太坊转型的更多背景，可以阅读 以太坊2.0指南。
常见问题
以太坊Casper协议是什么？
Casper 是以太坊的权益证明共识设计。验证者锁定ETH作为抵押，为区块最终确定投票；诚实行为获得奖励，违规行为会被罚没抵押。协议的 FFG 路线随“合并”成为以太坊生产环境共识层的基础。
Casper FFG和Casper CBC有什么区别？
Casper FFG（友好最终性工具）是在工作量证明之上加入最终性检查点的混合层，塑造了以太坊现行的共识机制。Casper CBC（构造即正确）则是一种更抽象、更理论化的设计，目标是让安全属性直接来自数学构造本身，没有直接投入生产。
Casper中的罚没（slashing）是什么？
罚没是指验证者投出矛盾的票，或在同一区块高度签署多条消息时，失去部分或全部抵押。惩罚金额与同时违规的验证者数量成正比，因此协同攻击会受到最严厉的惩罚。
Casper协议现在还在以太坊上使用吗？
是的。以太坊通过“合并”彻底放弃了工作量证明，转向受 Casper FFG 启发的共识机制。如今网络依靠绑定抵押和罚没机制而不是挖矿来保障安全。