[][src]Module core_cbc_casper::justification

Justifications are supposed to “justify” the proposed values. Justifications of messages are sets of messages that validators has seen and acknowledged while generating messages.

Structs

Justification

This struct holds the set of the Message that justify the current message. It works like a Vec.

LatestMessages

LatestMessages is a map between validators and their latests messages. Latest messages from a validator are all their messages that are not in the dependency of another of their messages.

LatestMessagesHonest

Set of latest honest messages for each validator. Works like LatestMessages but ignores equivocations.