finality gadget for blockchains using common prefix agreement - View it on GitHub