Skip to main content

BFT Liveness

Definition

BFT Liveness refers to the property within a Byzantine Fault Tolerant system that ensures honest nodes eventually reach agreement on the state of the system. It guarantees that despite the presence of malicious or faulty participants, the system continues to make progress and process transactions. This property is fundamental for the operational continuity of distributed ledgers. Without liveness, a BFT system could halt or fail to confirm new data.