FLP Impossibility
Protocolo Central · Fundo
Resultado de impossibilidade de Fischer-Lynch-Paterson (1985): nenhum protocolo de consenso deterministico pode garantir acordo em um sistema assincrono com mesmo um processo defeituoso. Todos os protocolos BFT praticos (incluindo Tower BFT) contornam FLP introduzindo suposicoes de sincronia — Tower BFT usa Proof of History como relógio para quebrar a assincronia pura.