Making Byzantine consensus live[J] DISTRIBUTED COMPUTING Bravo, Manuel Chockler, Gregory Gotsman, Alexey
