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", so this trait is not object safe.

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