5.7.2 运⾏异常

出于硬件故障、bug或者故意的行为，Checker可能会生成与Verifier结果不匹配的状态签名。

验证者将通过gossip发布正确的签名，这会触发新⼀轮选举。

任何赞成错误序列的验证者都会受到惩罚，削减其保证⾦。