Properties-anchors
Some properties of operations on anchors.
Similarly to some properties about certificate retrieval operations and to some properties about DAG operations, some of the properties of anchor operations
come in two flavors:
one on single DAGs, pertaining to the growing DAG of a single validators,
and one on two DAGs, pertaining to DAGs of different validators.
Subtopics
- Collect-anchors-of-unequivocal-dag-superset
- The anchors collected, starting from an anchor,
from a backward-closed subset of a DAG of unequivocal certificates
are the same in the superset.
- Collect-all-anchors-of-unequivocal-dags
- All the anchors collected, starting from a common anchor,
from two backward-closed unequivocal and mutually unequivocal DAGs
are the same in the two DAGS.
- Collect-anchors-of-unequivocal-dags
- The anchors collected, starting from a common anchor,
from two backward-closed unequivocal and mutually unequivocal DAGs
are the same in the two DAGS.
- Collect-all-anchors-of-unequivocal-dag-superset
- All the anchors collected, starting from an anchor,
from a backward-closed subset of a DAG of unequivocal certificates
are the same in the superset.
- Same-last-anchor-if-same-last
- If two validator states have unequivocal DAGs,
the same last committed round,
and anchors present when that last committed round if not 0,
then their last anchors are the same.
