Skip to main content

Safety Liveness

Definition

Safety liveness refers to two fundamental attributes for distributed systems, particularly blockchains. Safety assures that adverse occurrences, such as double-spending or incorrect state transitions, are prevented. Liveness confirms that the system maintains operation and advances, meaning legitimate transactions ultimately undergo processing and completion.