FLP Impossibility
Protocolo Central · Fondo
Resultado de imposibilidad de Fischer-Lynch-Paterson (1985): ningun protocolo de consenso determinista puede garantizar acuerdo en un sistema asincrono con incluso un proceso defectuoso. Todos los protocolos BFT practicos (incluyendo Tower BFT) evitan FLP introduciendo suposiciones de sincronia: Tower BFT usa Proof of History como reloj para romper la asincronia pura.