Certificates
Certificates.
Validators generate and exchange certificates,
which consist of proposals with endorsing signatures.
Certificates are the vertices of the DAG,
in the Narwhal part of AleoBFT.
Beside defining certificates,
we also introduce operations on (sets of) certificates,
particularly to retrieve certificates from sets
according to author and/or round criteria.
Since DAGs are represented as sets in validator states,
these operations are usable (and in fact mainly used) on DAGs.
Subtopics
- Certs-with-author+round
- Retrieve, from a set of certificates,
the subset of certificates with a given author and round.
- Certs-with-authors+round
- Retrieve, from a set of certificates,
the subset of certificates
with author in a given set and with a given round.
- Cert-with-author+round
- Retrieve, from a set of certificates,
the certificate with a given author and round.
- Certs-with-prop
- Retrieve, from a set of certificates,
the subset of certificates with a given proposal.
- Certs-with-round
- Retrieve, from a set of certificates,
the subset of certificates with a given round.
- Certificate
- Fixtype of certificates.
- Certificate-option
- Fixtype of optional certificates.
- Cert-set->prop-set
- Lift certificate->proposal to sets.
- Cert-list-orderedp
- Check if a list of certificates has
strictly increasing round numbers from right to left.
- Cert-set->round-set
- Lift certificate->round to sets.
- Cert-set->author-set
- Lift certificate->author to sets.
- Certificate->signers
- Signers of a certificate.
- Cert-list-evenp
- Check if
the round numbers of all the certificates in a list are even.
- Certificate->transactions
- List of transactions of (the proposal in) a certificate.
- Certs-with-author+round-and-props-with-author+round
- Theorems relating
certs-with-author+round,
props-with-author+round, and
cert-set->prop-set.
- Certificate->previous
- Set of references to previous certificates
of (the proposal in) a certificate.
- Certificate->author
- Author of (the proposal in) a certificate.
- Certificate->round
- Round number of (the proposal in) a certificate.
- Certificate-set
- Fixtype of sets of certificates.
- Certificate-list
- Fixtype of lists of certificates.
