Liveness and Safety
Blockchain General · Abismo
Dos garantias fundamentales en sistemas distribuidos. Seguridad significa que el sistema nunca produce resultados incorrectos (sin doble gasto, sin bloques conflictivos). Vitalidad significa que el sistema continua progresando (las transacciones eventualmente se confirman). Los sistemas BFT como Tower BFT de Solana priorizan la seguridad: la red se detiene en lugar de producir estado conflictivo.