os "especialistas" no consenso BFT em blockchain dirão que testar algoritmos BFT é muito desafiador. Eles estão errados Você só precisa de um software com bugs que aja de forma bizantina quando, por exemplo, equívoca um voto sim e um não ao mesmo tempo.