GRANDPA: a Byzantine Finality Gadget. - Alistair Stewart; Eleftherios Kokoris-Kogia (CoRR, 2020)