Skip to main content

Liveness Guarantee

Definition

A liveness guarantee ensures that a decentralized system or protocol continues to process transactions and make progress. This property signifies that despite potential network partitions or malicious actors, the system will eventually reach consensus and confirm legitimate operations. It contrasts with safety guarantees, which ensure that incorrect states never occur, by focusing on the system’s ability to remain operational and responsive. Protocols with strong liveness properties are crucial for reliable transaction finality and continuous service availability.