pub trait Certificate { }Expand description
Definition (Certificate). A certificate is a GenericCertificate<T> together with
the JustificationChain its wrapper carries. The three instantiations are
ValidatedBlockCertificate, ConfirmedBlockCertificate and TimeoutCertificate.
A certificate is valid for a committee when its check returns Ok. Both block
certificate types delegate to LiteCertificate::check, which verifies the signatures, the
justification chain, and the binding between the two; TimeoutCertificate, being a
GenericCertificate alias, uses GenericCertificate::check, which verifies the
signatures and carries no chain. Unless said otherwise, “certificate” in this specification
means one that is valid for the committee of its epoch; what that buys us is
CertificateEmbedsQuorum, CertificateSignaturesVerify and
CertificateCarriesCorrectVote.