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
- Certificate-set-unequivocalp
- Check if a set of certificates is unequivocal.
- Certificate-sets-unequivocalp
- Check if two sets of certificates are mutually unequivocal.
- Cert-with-author+round
- Retrieve, from a set of certificates,
a certificate 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.
- Certs-with-author
- Retrieve, from a set of certificates,
the subset of certificates with a given author.
- Certs-with-round
- Retrieve, from a set of certificates,
the subset of certificates with a given round.
- Unequivocal-certs-with-authors+round
- Properties of certs-with-authors+round
when used on unequivocal certificate sets.
- Unequivocal-cert-with-author+round
- Properties of cert-with-author+round
when used on unequivocal certificate sets.
- Certificate
- Fixtype of certificates.
- Cert-set->author-set
- Lift certificate->author to sets.
- Certificate-option
- Fixtype of optional certificates.
- Cert-set->round-set
- Lift certificate->round to sets.
- Certs-with-authors
- Retrieve, from a set of certificates,
the subset of certificates with author in a given set.
- Certificate-list-orderedp
- Check if a list of certificates has
even and strictly increasing (right to left) round numbers.
- Certs-with-signer
- Retrieve, from a set of certificates,
the subset of certificates whose signers include a given address.
- Certificate->signers
- Signers of a certificate.
- Certificate-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.
- 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.