DeltaStore

Stores a larger state (i.e., the mergeof multiple deltas, called the prefix) along with individual deltas.

Each individual delta group is addressed by a single Dot and is stored alongside the Dots of the delta group. The value addressableDeltas stores the keys (key refers to a single Dot) of the stored delta groups. Note that while each Dot in addressableDeltas is part of the Dots stored along the delta group, the reverse is not true. I.e., not every Dot part of the Dots stored alongside a delta is an address for a delta. The rationale behind this is that we want to keep a merged prefix and prune the deltas that we likely won't retrieve individually. This is useful for a scenario, where we know which deltas are already delivered to every known replica that we might need to send this delta to.