fast-caspaxos Fast CASPaxos: Fast Paxos optimizations applies to CASPaxos for 1RTT multi-leader commit