conflict-free replicated data type
data structure replicated across a network such that any replica is updatable independently, concurrently and without coordination, and any inconcistencies are algorithmically resolved with replicas’ states guaranteed to eventually converge