5.8 Slashing

When the Verifier votes on two separate sequences, a slashing will be triggered. If there is evidence of malicious voting by a Verifier node, the margin bonded by the node will be deducted and placed in the mining pool.

Voting on the invalid state generated by the Checker also triggers slashing. The Checker randomly generates an invalid state, which triggers the rollback to the secondary node.