O Problema dos Generais Bizantinos e o Abismo dos Algoritmos de Consenso: O Funcionamento de Paxos, Raft e BFT
