Operations-certificate-retrieval
Operations to retrieve certificates from sets of certificates.
We define operations to retrieve certificates, from sets of certificates,
based on various author and round criteria.
These operations are primarily used on DAGs in our model,
which are modeled as sets of certificates
(satisfying certain invariants
formalized and proved in correctness),
but they are also used on buffers,
which are also modeled as sets of certificates.
Subtopics
- Certificate-with-author+round
- Retrieve the certificate from a set
with a given author and round.
- Certificates-with-authors+round
- Retrieve the certificates from a set
with author in a given set and with a given round.
- Certificates-with-round
- Retrieve the set of certificates with a given round from a set.
- Certificates-with-author
- Retrieve the set of certificates with a given author from a set.
- Certificates-with-authors
- Retrieve the set of certificates with given authors from a set.
