Yes, you’re right. At distributed system, you can go for ACID, but it will be slower. However, Riak seems to use eventual consistency and vector clock:
In CRDTs, the Cap theorem is always taking place.
We're a place where coders share, stay up-to-date and grow their careers.
We strive for transparency and don't collect excess data.