Lets assume there are 2/3 honest nodes (non-byzantine). I call this set of nodes set A.
Please tell me if I'm wrong, but AFAIK there are two main approaches, one that favors safety over liveness and one that does favor liveness over safety.
Favors safety question: When half of set A votes on a different block then the other half of nodes in set A, then a node has to sacrifice itself in order to achieve liveness by getting slashed, right? (At least in a full PoS Casper implementation without PoW or if this happens constantly in a hybrid PoS Casper implementation and we want to achieve finality)
Favors liveness question: I do not understand how favors liveness would work, does it mean the protocol has the ability to have a non-commited epoch at an epoch i.e. for example just a prepared epoch? Or does liveness refer to something completely different?