● 假如一个区块验证者 Pi 被发明投出了满意以上条件的两票，那他的押金将被充公。Buterin and Griffith 证明白 Casper FFG 的如下特性：
本日我们来探讨拜占庭协议 Casper FFG 的安详性问题。我们的阐明是基于以下论文中的 Casper FFG 协议：● V. Buterin and V. Griffith. Casper the friendly finality gadget. arXiv preprint arXiv:1710.09437v4, 2019. https://arxiv.org/pdf/1710.09437.pdf
假如底层的区块链结构机制总可以或许发生出被确认了的查抄点的儿女，那么绝对大都的毗连链可以老是被耽误从而发生新的被确认的查抄点。换句话说，系统具有公道活性
Buterin and Griffith 的阐明认为：假如用户老是按期（好比至少一月一次）的登入系统来获取系统更新，而且从不回覆到确认了的区块之前，那么 Casper FFG 可以防备 long-range revision 进攻。Buterin and Griffith 也发起，假如一个区块验证者恒久不投票，那么他的押金将逐渐的被充公。这样可以防备机毁人亡的悲剧（好比，由于网络分块，t+1 个区块验证者不能投票）。固然 Casper FFG 可以办理许多以太坊所面对的问题，Buterin and Griffith 认可网络分块进攻仍然是一个未办理的问题。
郑重声明：本文版权归原作者所有，转载文章仅为传播更多信息之目的，如作者信息标记有误，请第一时间联系我们修改或删除，多谢。
