Certificates
Certificates.
Validators generate and exchange certificates,
which contain proposed transactions along with other information.
Certificates are the vertices of the DAG.
Certificates have a rich structure,
but we model only the information needed for our purposes.
In AleoBFT, there is a distinction between proposals and certificates,
with the latter being an extension of the former with endorsing signatures.
Currently we do not model proposals, but just certificates,
because we treat the Narwhal aspects of AleoBFT somewhat abstractly;
see transitions-create.
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.
- Certificate
- Fixtype of certificates.
- 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-option
- Fixtype of optional certificates.
- Certs-with-authors
- Retrieve, from a set of certificates,
the subset of certificates with author in a given set.
- Certificates-ordered-even-p
- 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-set->author-set
- Lift certificate->author to sets.
- Certificate-set->round-set
- Lift certificate->round to sets.
- Certificate->signers
- Signers of a certificate.
- Certificate-set
- Fixtype of sets of certificates.
- Certificate-list
- Fixtype of lists of certificates.
