Efficient, replicated CRDT operations via Redis ZSETs