Struct Nullification

pub struct Nullification<V: Variant> {
    pub view: View,
    pub view_signature: V::Signature,
    pub seed_signature: V::Signature,
}

Nullification represents a recovered threshold signature to skip a view. When a view is nullified, the consensus moves to the next view without finalizing a block. The threshold signatures provide compact verification compared to collecting individual signatures.

Fields

view: View

The view that has been nullified

view_signature: V::Signature

The recovered threshold signature on the view

seed_signature: V::Signature

The recovered threshold signature on the seed (for leader election/randomness)

Implementations

impl<V: Variant> Nullification<V>

pub fn new( view: View, view_signature: V::Signature, seed_signature: V::Signature, ) -> Self

Creates a new nullification with the given view and aggregated signatures.

pub fn verify(&self, namespace: &[u8], identity: &V::Public) -> bool

Verifies the threshold signatures on this Nullification.

This ensures that:

1. The view signature is a valid threshold signature for the view
2. The seed signature is a valid threshold signature for the view

Trait Implementations

impl<V: Clone + Variant> Clone for Nullification<V>

where V::Signature: Clone,

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

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<V: Debug + Variant> Debug for Nullification<V>

where V::Signature: Debug,

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

Formats the value using the given formatter.

impl<V: Variant> EncodeSize for Nullification<V>

fn encode_size(&self) -> usize

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

impl<V: Hash + Variant> Hash for Nullification<V>

where V::Signature: Hash,

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<V: PartialEq + Variant> PartialEq for Nullification<V>

where V::Signature: PartialEq,

fn eq(&self, other: &Nullification<V>) -> 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<V: Variant> Read for Nullification<V>

type 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, _: &()) -> Result<Self, Error>

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

impl<V: Variant> Seedable<V> for Nullification<V>

fn seed(&self) -> Seed<V>

Returns the seed associated with this object.

impl<V: Variant> Viewable for Nullification<V>

fn view(&self) -> View

Returns the view associated with this object.

impl<V: Variant> Write for Nullification<V>

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

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

impl<V: Eq + Variant> Eq for Nullification<V>

where V::Signature: Eq,

impl<V: Variant> StructuralPartialEq for Nullification<V>