Module justification

Logic for checking GRANDPA Finality Proofs.

Adapted copy of substrate/client/finality-grandpa/src/justification.rs. If origin will ever be moved to the sp_consensus_grandpa, we should reuse that implementation.

Structs

AncestryChain

Votes ancestries with useful methods.

EquivocationsCollector

Structure that can extract equivocations from multiple GRANDPA justifications.

GrandpaEquivocationsFinder

Helper struct for finding equivocations in GRANDPA proofs.

GrandpaJustification

A GRANDPA Justification is a proof that a given header was finalized at a certain height and with a certain set of authorities.

JustificationVerificationContext

The context needed for validating GRANDPA finality proofs.

Enums

Error

Justification verification error.

JustificationVerificationError

Justification verification error.

PrecommitError

Justification verification error.

Functions

decode_justification_target

Decode justification target.

required_justification_precommits

Given GRANDPA authorities set size, return number of valid authorities votes that the justification must have to be valid.

verify_and_optimize_justification

Verify and optimize given justification by removing unknown and duplicate votes.

verify_justification

Verify that justification, that is generated by given authority set, finalizes given header.