GHOST-based Recursive ANcestor Deriving Prefix Agreement
A finality gadget for blockchains, implemented in Rust.