http://www.7klian.com

形式化验证 Gasper 共鸣机制的终局性

· 可罚没下限(Slashable bound):只要可以或许利用协议外条件来节制验证者的激活和退出参数条件,就能证明(在冲破安详性时)可被罚没的担保金数量有一个下限。

提倡双重投票的验证者被认为违反了第一罚没条件;而提倡环抱投票的验证者则违反了第二罚没条件。岂论是哪种环境,违反法则的验证者城市被扣除大量担保金。

郑重声明:本文版权归原作者所有,转载文章仅为传播更多信息之目的,如作者信息标记有误,请第一时间联系我们修改或删除,多谢。