Plain meaning
Start with the shortest useful explanation before going deeper.
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.