You can manage version vectors with large random IDs: [(random_id, clock), ...]. That's not the problem. The problem is you can never remove a node from the clock (without losing properties).

Most of the Xanadu data structure implementations, like ZigZag, just don't perform well enough at web scale.

Like IP addresses, right.