Safety and Liveness Properties
Safety says nothing bad ever happens (no two correct nodes decide different values); liveness says something good eventually happens (every correct node eventually decides). BFT protocols are designed so safety never depends on timing, while liveness may wait for the network to behave.
This Concept is waiting for its first lesson!
Safety says nothing bad ever happens (no two correct nodes decide different values); liveness says something good eventually happens (every correct node eventually decides). BFT protocols are designed so safety never depends on timing, while liveness may wait for the network to behave.
Are you a teacher? Sign in to start contributing.
Sign In