El problema de los generales bizantinos y el abismo de los algoritmos de consenso: Mecanismos de Paxos, Raft y BFT