pub fn extract_double_validations(
a: &ValidatedQuorum,
b: &ValidatedQuorum,
) -> Vec<EquivocationProof>Expand description
Extracts proofs that validators validated two different blocks in the same round, which is illegal regardless of the locks: a validator may vote to validate at most one block per round. One proof per validator that signed both quorums; empty if the quorums are for the same block or different rounds (validating conflicting blocks in different rounds is not itself a fault — only confirming is locked).