Liveness and Safety
Blockchain Geral · Abismo
Duas garantias fundamentais em sistemas distribuidos. Segurança (safety) significa que o sistema nunca produz resultados incorretos (sem gastos duplos, sem blocos conflitantes). Vivacidade (liveness) significa que o sistema continua fazendo progresso (transações eventualmente confirmam). Sistemas BFT como o Tower BFT da Solana priorizam segurança — a rede para em vez de produzir estado conflitante.