Module bp_header_chain::justification

Pallet for checking GRANDPA Finality Proofs.

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

Structs

AncestryChain

Votes ancestries with useful methods.

GrandpaJustification

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

Enums

Error

Justification verification error.

Functions

decode_justification_target

Decode justification target.

verify_justification

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