Trait Verifiable 

pub trait Verifiable<T: NodeType>:
    HasViewNumber
    + HasEpoch
    + Sized {
    type Key: Copy + Ord + Hash + Display + Send + Sync + 'static;
    type Output: Send + 'static;

    // Required methods
    fn key(&self) -> Option<Self::Key>;
    fn check(
        self,
        stake_table: &[<T::SignatureKey as SignatureKey>::StakeTableEntry],
        threshold: U256,
        epoch_height: u64,
        upgrade_lock: &UpgradeLock<T>,
        memberships: &EpochMembershipCoordinator<T>,
    ) -> Result<Self::Output>;

    // Provided method
    fn epochs(&self) -> impl Iterator<Item = EpochNumber> { ... }
}

Required Associated Types

type Key: Copy + Ord + Hash + Display + Send + Sync + 'static

Identifies the Verifiable, e.g. ViewNumber or EpochNumber.

type Output: Send + 'static

Required Methods

fn key(&self) -> Option<Self::Key>

fn check( self, stake_table: &[<T::SignatureKey as SignatureKey>::StakeTableEntry], threshold: U256, epoch_height: u64, upgrade_lock: &UpgradeLock<T>, memberships: &EpochMembershipCoordinator<T>, ) -> Result<Self::Output>

Provided Methods

fn epochs(&self) -> impl Iterator<Item = EpochNumber>

The epochs whose committees Self::check reads.

The item waits until every one of them is known.

Dyn Compatibility

This trait is not dyn compatible.

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

Implementations on Foreign Types

impl<T, D, V> Verifiable<T> for SimpleCertificate<T, D, V>

where T: NodeType, D: Voteable<T> + HasEpoch + Meta + 'static, V: Threshold<T>, Self: Certificate<T, D> + Send + 'static,

type Key = ViewEpoch

type Output = SimpleCertificate<T, D, V>

fn key(&self) -> Option<ViewEpoch>

fn check( self, stake_table: &[<T::SignatureKey as SignatureKey>::StakeTableEntry], threshold: U256, epoch_height: u64, upgrade_lock: &UpgradeLock<T>, _: &EpochMembershipCoordinator<T>, ) -> Result<Self>

impl<T: NodeType> Verifiable<T> for TimeoutCertificate3<T>

fn epochs(&self) -> impl Iterator<Item = EpochNumber>

Its own epoch, and its lock’s if the lock is recent: the lock certificate is verified against that epoch’s committee.

type Key = ViewNumber

type Output = TimeoutCertificate3<T>

fn key(&self) -> Option<ViewNumber>

fn check( self, stake_table: &[<T::SignatureKey as SignatureKey>::StakeTableEntry], threshold: U256, epoch_height: u64, upgrade_lock: &UpgradeLock<T>, memberships: &EpochMembershipCoordinator<T>, ) -> Result<Self>

Implementors

impl<T: NodeType> Verifiable<T> for EpochChangeMessage<T, Unchecked>

type Key = EpochNumber

type Output = EpochChangeMessage<T, Validated>

impl<T: NodeType> Verifiable<T> for ReVoteMessage<T, Unchecked>

type Key = ViewNumber

type Output = ReVoteMessage<T, Validated>