Tolerância a falhas bizantinas (BFT)

Uma falha bizantina pode produzir mensagens validamente assinadas, mas incompatíveis, omissões deliberadas ou comportamento arbitrário. A BFT estuda se os participantes corretos continuam concordando sobre um estado e se o sistema progride.

Segurança e progresso são propriedades distintas. Os limiares dependem da autenticação, da sincronia e de se a influência é medida por nós ou por poder de voto. A regra de menos de um terço se aplica a modelos específicos, não a todos os sistemas distribuídos.

PBFT e protocolos da família Tendermint são exemplos de projetos BFT. A prova de trabalho trata de um modelo de participação diferente. Identificar o protocolo e suas premissas é necessário para interpretar suas garantias.