GRANDPA

GHOST-based Recursive ANcestor Deriving Prefix Agreement

A finality gadget for blockchains, implemented in Rust.

See https://github.com/w3f/consensus/blob/master/pdf/grandpa.pdf for a formal specification.