Trait Certificate 

pub trait Certificate<TYPES: NodeType, T>: HasViewNumber {
    type Voteable: Voteable<TYPES>;
    type Threshold: Threshold<TYPES>;

    // Required methods
    fn create_signed_certificate(
        vote_commitment: Commitment<VersionedVoteData<TYPES, Self::Voteable>>,
        data: Self::Voteable,
        sig: <TYPES::SignatureKey as SignatureKey>::QcType,
        view: ViewNumber,
    ) -> Self;
    fn is_valid_cert(
        &self,
        stake_table: &[<TYPES::SignatureKey as SignatureKey>::StakeTableEntry],
        threshold: U256,
        upgrade_lock: &UpgradeLock<TYPES>,
    ) -> Result<()>;
    fn signers(
        &self,
        stake_table: &[<TYPES::SignatureKey as SignatureKey>::StakeTableEntry],
        threshold: U256,
    ) -> Result<Vec<<TYPES::SignatureKey as SignatureKey>::VerificationKeyType>>;
    fn threshold(membership: &EpochMembership<TYPES>) -> U256;
    fn stake_table(membership: &EpochMembership<TYPES>) -> HSStakeTable<TYPES>;
    fn total_nodes(membership: &EpochMembership<TYPES>) -> usize;
    fn stake_table_entry(
        membership: &EpochMembership<TYPES>,
        pub_key: &TYPES::SignatureKey,
    ) -> Option<PeerConfig<TYPES>>;
    fn data(&self) -> &Self::Voteable;
    fn data_commitment(
        &self,
        upgrade_lock: &UpgradeLock<TYPES>,
    ) -> Result<Commitment<VersionedVoteData<TYPES, Self::Voteable>>>;
}

The certificate formed from the collection of signatures a committee. The committee is defined by the Membership associated type. The votes all must be over the Commitment associated type.

Required Associated Types

type Voteable: Voteable<TYPES>

The data commitment this certificate certifies.

type Threshold: Threshold<TYPES>

Threshold Functions

Required Methods

fn create_signed_certificate( vote_commitment: Commitment<VersionedVoteData<TYPES, Self::Voteable>>, data: Self::Voteable, sig: <TYPES::SignatureKey as SignatureKey>::QcType, view: ViewNumber, ) -> Self

Build a certificate from the data commitment and the quorum of signers

fn is_valid_cert( &self, stake_table: &[<TYPES::SignatureKey as SignatureKey>::StakeTableEntry], threshold: U256, upgrade_lock: &UpgradeLock<TYPES>, ) -> Result<()>

Checks if the cert is valid in the given epoch

fn signers( &self, stake_table: &[<TYPES::SignatureKey as SignatureKey>::StakeTableEntry], threshold: U256, ) -> Result<Vec<<TYPES::SignatureKey as SignatureKey>::VerificationKeyType>>

Get the list of signers given a certificate.

fn threshold(membership: &EpochMembership<TYPES>) -> U256

Returns the amount of stake needed to create this certificate

fn stake_table(membership: &EpochMembership<TYPES>) -> HSStakeTable<TYPES>

Get Stake Table from Membership implementation.

fn total_nodes(membership: &EpochMembership<TYPES>) -> usize

Get Total Nodes from Membership implementation.

fn stake_table_entry( membership: &EpochMembership<TYPES>, pub_key: &TYPES::SignatureKey, ) -> Option<PeerConfig<TYPES>>

Get StakeTableEntry from Membership implementation.

fn data(&self) -> &Self::Voteable

Get the commitment which was voted on

fn data_commitment( &self, upgrade_lock: &UpgradeLock<TYPES>, ) -> Result<Commitment<VersionedVoteData<TYPES, Self::Voteable>>>

Get the vote commitment which the votes commit to

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors

impl<TYPES: NodeType, THRESHOLD: Threshold<TYPES>> Certificate<TYPES, DaData2> for SimpleCertificate<TYPES, DaData2, THRESHOLD>

type Voteable = DaData2

type Threshold = THRESHOLD

impl<TYPES: NodeType, THRESHOLD: Threshold<TYPES>> Certificate<TYPES, DaData> for SimpleCertificate<TYPES, DaData, THRESHOLD>

type Voteable = DaData

type Threshold = THRESHOLD

impl<TYPES: NodeType, VOTEABLE: Voteable<TYPES> + 'static + QuorumMarker, THRESHOLD: Threshold<TYPES>> Certificate<TYPES, VOTEABLE> for SimpleCertificate<TYPES, VOTEABLE, THRESHOLD>

type Voteable = VOTEABLE

type Threshold = THRESHOLD