Tolerancia a fallos bizantinos (BFT)

Un fallo bizantino puede producir mensajes válidamente firmados pero incompatibles, omisiones deliberadas o comportamiento arbitrario. BFT estudia si los participantes correctos siguen acordando un estado y si el sistema progresa.

Seguridad y progreso son propiedades distintas. Los umbrales dependen de la autenticación, la sincronía y de si la influencia se mide por nodos o por poder de voto. La regla de menos de un tercio se aplica a modelos concretos, no a todos los sistemas distribuidos.

PBFT y protocolos de la familia Tendermint son ejemplos de diseños BFT. La prueba de trabajo aborda un modelo de participación diferente. Identificar el protocolo y sus supuestos es necesario para interpretar sus garantías.