I’m new to CRDTs, but could we clean up tombstones if all replicas acknowledge? Not too sure, but could we persist snapshots of state at certain “compaction” points?
The antimatter algorithm allows peers to learn where the rest of the network has caught up to, without a central actor, or relying on consensus, across arbitrary P2P connection & disconnection events in the network. It even allows subnetworks, after a partition, to prune the history that they generate while partitioned, while still holding onto the necessary older history to reconnect with the other half of the partition.