Seguridad
Dos grupos honestos no deberían finalizar decisiones incompatibles.
Seguridad y progreso
¿Cuántas fallas puede tolerar un grupo antes de perder garantías?
En el modelo BFT clásico, tolerar f participantes bizantinos requiere al menos 3f + 1 participantes y un quórum de 2f + 1.
Ronda de mensajes
—mínimo 3f + 1
—quórum 2f + 1
—resultado
Vivacidad
El sistema debe avanzar cuando se cumplen los supuestos de red y participación.
Límite
Las firmas prueban quién envió un mensaje; no eligen entre mensajes contradictorios.
Fuente principal: Lamport, Shostak y Pease (1982).