I haven't read much into it, but since it's Raft, it's most certainly executing all writes/updates as well as consistent reads against a single leader node. Al

I haven't read much into it, but since it's Raft, it's most certainly executing all writes/updates as well as consistent reads against a single leader node. All changes to the database would then be propagated through Raft using a commit log, which would be read and accepted by follower nodes. This is also reinforced by the fact, that nondeterministic operations are supported. Thus, everything around transactions and CAS's will work the same as it normally does, as it executes on the leader.