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.