Liveness and Safety
Blockchain General · Abyss
Two fundamental guarantees in distributed systems. Safety means the system never produces incorrect results (no double-spends, no conflicting blocks). Liveness means the system continues making progress (transactions eventually confirm). BFT systems like Solana's Tower BFT prioritize safety — the network halts rather than producing conflicting state.