Comment by _benedict

TigerBeetle uses VSR, which is basically a variant of MultiPaxos/Raft.