Struct CheckedAccumulator 

pub struct CheckedAccumulator<T, V, Th>
where
    T: NodeType,
    V: Vote<T>,
    Th: Threshold<T>,
    SimpleCertificate<T, <V as Vote<T>>::Commitment, Th>: Certificate<T, V::Commitment, Voteable = V::Commitment> + HasEpoch,
{
    accumulator: VoteAccumulator<T, V, SimpleCertificate<T, <V as Vote<T>>::Commitment, Th>>,
    votes: Vec<V>,
    verify_votes: bool,
    membership: EpochMembership<T>,
    upgrade_lock: UpgradeLock<T>,
}

A VoteAccumulator that validates certificates before emitting them.

Votes are accumulated without checking their signatures. If the resulting certificate is invalid, votes with invalid signatures are discarded, the remaining ones are accumulated again, and every subsequent vote is verified before it is accumulated.

Fields

accumulator: VoteAccumulator<T, V, SimpleCertificate<T, <V as Vote<T>>::Commitment, Th>>

votes: Vec<V>

Votes accumulated so far, kept for recovery from an invalid certificate.

verify_votes: bool

Verify votes before accumulating them?

Set after an invalid certificate.

membership: EpochMembership<T>

upgrade_lock: UpgradeLock<T>

Implementations

impl<T, V, Th> CheckedAccumulator<T, V, Th>

where T: NodeType, V: Vote<T>, V::Commitment: 'static, Th: Threshold<T>, SimpleCertificate<T, <V as Vote<T>>::Commitment, Th>: Certificate<T, V::Commitment, Voteable = V::Commitment> + HasEpoch,

pub fn new(membership: EpochMembership<T>, lock: UpgradeLock<T>) -> Self

pub fn add( &mut self, vote: V, ) -> Option<SimpleCertificate<T, <V as Vote<T>>::Commitment, Th>>

Accumulate a vote.

Returns a valid certificate once enough votes have been collected.

pub fn min_votes(&self) -> usize

The fewest votes that could reach the threshold.

A vote carries at most the largest stake in the table, so fewer than this many can never certify anything. Clamped to the size of that same table: the quotient stays below it only while the threshold and the stake table come from one snapshot, and the caller sizes an allocation with the result.

fn recover( &mut self, ) -> Option<SimpleCertificate<T, <V as Vote<T>>::Commitment, Th>>

Discard votes with invalid signatures and accumulate the rest again.

fn validate( &self, cert: &SimpleCertificate<T, <V as Vote<T>>::Commitment, Th>, ) -> Result<()>

Check the certificate’s aggregate signature against the stake table.

fn is_valid_vote(&self, vote: &V) -> bool

Check the vote’s signature.