Module bp_header_chain::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.