共识算法没有定义所谓的正确性，但是有其他定义。 共识算法的特征： * 协商一致性：所有节点都接受相同的决议 * 诚实性：也叫安全性，所有的节点不能反悔，节点对于一项提议不能有两次决定（全序广播支持） * 合法性：如果决定了值V，则V必须是某个节点所提出的 * 可终止性*：节点不崩溃则最终一定可以达成某个节点所提议的V。 （Paxos由于活锁不一定满足）