PoS共识中的最终性保障机制：Casper FFG与检查点升级逻辑
以太坊PoS通过Casper FFG机制实现交易最终性，利用检查点区块和多数票升级规则，确保已确认区块无法被回滚。
检查点区块与最终性定义
以太坊PoS将每个Epoch的第一个区块定义为检查点区块，这是实现交易最终性的基础。交易被标记为最终性，意味着它已包含在一个无法在不造成大量ETH销毁的情况下被更改的区块中。一旦区块被最终确定，它就变得不可逆，因为任何回滚操作都需要销毁至少三分之一的总质押ETH，这在经济上是不合算的。
Casper FFG的多数票升级流程
Casper Friendly Finality Gadget (Casper-FFG) 是管理最终性的共识工具。验证者对他们认为有效的检查点对进行投票。如果一对检查点吸引了代表至少三分之二总质押ETH的投票，这些检查点就会被升级。较新的检查点（目标）变为“已证明”，而较早的那个则变为“已最终确定”。这种机制确保了链的连续性和安全性。
最终性实现的经济防御
最终性要求达到三分之二的多数票，因此攻击者可以通过仅使用三分之一的总质押权益来阻止网络达到最终性。为了防御这种情况，引入了“不活跃泄漏”机制。当链在超过四个Epoch内未能最终确定时，该机制激活，从反对多数派的验证者那里流失质押ETH，允许多数派重新获得三分之二的多数并最终确定链。
资料与延伸阅读
你可以通过以下原始资料核对文中概念，并继续深入阅读。