In consensus protocol literature, there are two critical security properties: safety and liveness. A protocol is safe if it will not make inconsistent decisions. A protocol is live if it is guaranteed to eventually make a decision. Making proof-of-stake (PoS) […]