Module simple_certificate 

Implementations of the simple certificate type. Used for Quorum, DA, and Timeout Certificates

Modules

optional_timeout_evidence

timeout3 🔒

The timeout certificate whose signers each sign the lock they hold.

Structs

CertificatePair

A pair of QCs (or a single QC) attesting to a leaf.

EpochRootQuorumCertificateV1

EpochRootQuorumCertificateV2

LatestTimeoutSignatures

The signers of a TimeoutCertificate3 that hold its lock.

LightClientStateUpdateCertificateV1

Type for light client state update certificate

LightClientStateUpdateCertificateV2

Type for light client state update certificate

OneHonestThreshold

Defines a threshold which is f + 1 (i.e at least one of the stake is honest)

SimpleCertificate

A certificate which can be created by aggregating many simple votes on the commitment.

SuccessThreshold

Defines a threshold which is 2f + 1 (Amount needed for Quorum)

TimeoutCertificate3

A timeout certificate over TimeoutData3.

TimeoutSignatures

The signers of a TimeoutCertificate3 that hold the same lock, earlier than the certificate’s.

UpgradeThreshold

Defines a threshold which is 0.9n + 1 (i.e. over 90% of the nodes with stake)

Enums

TimeoutEvidence

A timeout certificate, in one of the forms its signers may have used.

Traits

Threshold

Trait which allows use to inject different threshold calculations into a Certificate type

Functions

check_qc_state_cert_correspondence

Check that a light client state update certificate corresponds to a given QC: the QC is for an epoch root block, the epochs match, and the view numbers match.

Type Aliases

Certificate1

Type alias for the new protocol’s phase-1 certificate over QuorumData2

Certificate2

Type alias for the new protocol’s phase-2 certificate over Vote2Data

DaCertificate

Type alias for a DaCertificate, which is a SimpleCertificate over DaData

DaCertificate2

Type alias for a DaCertificate2, which is a SimpleCertificate over DaData2

NextEpochQuorumCertificate2

Type alias for a QuorumCertificate2, which is a SimpleCertificate over QuorumData2

QuorumCertificate

Type alias for a QuorumCertificate, which is a SimpleCertificate over QuorumData

QuorumCertificate2

Type alias for a QuorumCertificate2, which is a SimpleCertificate over QuorumData2

TimeoutCertificate

Type alias for a Timeout certificate over a view number

TimeoutCertificate2

Type alias for a TimeoutCertificate2, which is a SimpleCertificate over TimeoutData2

UpgradeCertificate

Type alias for a UpgradeCertificate, which is a SimpleCertificate of UpgradeProposalData

UpgradeCertificate2

Type alias for an upgrade certificate binding its epoch, a SimpleCertificate of UpgradeProposalData2

ViewSyncCommitCertificate

Type alias for a ViewSyncCommit certificate over a view number

ViewSyncCommitCertificate2

Type alias for a ViewSyncCommitCertificate2, which is a SimpleCertificate over ViewSyncCommitData2

ViewSyncFinalizeCertificate

Type alias for a ViewSyncFinalize certificate over a view number

ViewSyncFinalizeCertificate2

Type alias for a ViewSyncFinalizeCertificate2, which is a SimpleCertificate over ViewSyncFinalizeData2

ViewSyncPreCommitCertificate

Type alias for a ViewSyncPreCommit certificate over a view number

ViewSyncPreCommitCertificate2

Type alias for a ViewSyncPreCommitCertificate2, which is a SimpleCertificate over ViewSyncPreCommitData2