Struct Nullification 

pub struct Nullification<S: Scheme> {
    pub round: Round,
    pub certificate: S::Certificate,
}

Aggregated nullification certificate recovered from nullify votes. When a view is nullified, the consensus moves to the next view without finalizing a block.

Fields

round: Round

The round in which this nullification is made.

certificate: S::Certificate

The recovered certificate for the nullification.

Implementations

impl<S: Scheme> Nullification<S>

pub fn from_nullifies<'a>( scheme: &S, nullifies: impl IntoIterator<Item = &'a Nullify<S>>, ) -> Option<Self>

Builds a nullification certificate from nullify votes from the same round.

pub fn round(&self) -> Round

Returns the round associated with this nullification.

impl<S: Scheme> Nullification<S>

pub fn verify<R: Rng + CryptoRng, D: Digest>( &self, rng: &mut R, scheme: &S, namespace: &[u8], ) -> bool

Verifies the nullification certificate against the provided signing scheme.

This ensures that the certificate is valid for the claimed round.

Trait Implementations

impl<S: Clone + Scheme> Clone for Nullification<S>

where S::Certificate: Clone,

fn clone(&self) -> Nullification<S>

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<S: Debug + Scheme> Debug for Nullification<S>

where S::Certificate: Debug,

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<S: Scheme> EncodeSize for Nullification<S>

fn encode_size(&self) -> usize

Returns the encoded size of this value (in bytes).

impl<S: Scheme> Epochable for Nullification<S>

type Epoch = u64

Epoch is the type used to indicate a contiguous sequence of views in which the set of validators is constant.

fn epoch(&self) -> Epoch

Returns the epoch associated with this object.

impl<S: Scheme> Hash for Nullification<S>

fn hash<H: Hasher>(&self, state: &mut H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl<S: Scheme> PartialEq for Nullification<S>

fn eq(&self, other: &Self) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<S: Scheme> Read for Nullification<S>

type Cfg = <<S as Scheme>::Certificate as Read>::Cfg

The Cfg type parameter allows passing configuration during the read process. This is crucial for safely decoding untrusted data, for example, by providing size limits for collections or strings.

fn read_cfg(reader: &mut impl Buf, cfg: &Self::Cfg) -> Result<Self, Error>

Reads a value from the buffer using the provided configuration cfg.

impl<S: Scheme> Viewable for Nullification<S>

type View = u64

View is the type used to indicate the in-progress consensus decision.

fn view(&self) -> View

Returns the view associated with this object.

impl<S: Scheme> Write for Nullification<S>

fn write(&self, writer: &mut impl BufMut)

Writes the binary representation of self to the provided buffer buf.

impl<S: Scheme> Eq for Nullification<S>