Struct Nullify

pub struct Nullify<V: Variant> {
    pub view: View,
    pub view_signature: PartialSignature<V>,
    pub seed_signature: PartialSignature<V>,
}

Nullify represents a validator’s vote to skip the current view. This is typically used when the leader is unresponsive or fails to propose a valid block. It contains partial signatures for the view and seed.

Fields

view: View

The view to be nullified (skipped)

view_signature: PartialSignature<V>

The validator’s partial signature on the view

seed_signature: PartialSignature<V>

The validator’s partial signature on the seed (for leader election/randomness)

Implementations

impl<V: Variant> Nullify<V>

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

Creates a new nullify with the given view and signatures.

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

Verifies the PartialSignatures on this Nullify.

This ensures that:

1. The view signature is valid for the given view
2. The seed signature is valid for the view
3. Both signatures are from the same signer

pub fn verify_multiple( namespace: &[u8], polynomial: &[V::Public], nullifies: Vec<Nullify<V>>, ) -> (Vec<Nullify<V>>, Vec<u32>)

Verifies a batch of Nullify messages using BLS aggregate verification.

This function verifies a batch of Nullify messages using BLS aggregate verification. It returns a tuple containing:

• A vector of successfully verified Nullify messages.
• A vector of signer indices for whom verification failed.

pub fn sign(namespace: &[u8], share: &Share, view: View) -> Self

Creates a PartialSignature over this Nullify.

Trait Implementations

impl<V: Variant> Attributable for Nullify<V>

fn signer(&self) -> u32

Returns the index of the signer (validator) who produced this message.

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

fn clone(&self) -> Nullify<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 Nullify<V>

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

Formats the value using the given formatter.

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

fn encode_size(&self) -> usize

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

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

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 Nullify<V>

fn eq(&self, other: &Nullify<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 Nullify<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> Viewable for Nullify<V>

fn view(&self) -> View

Returns the view associated with this object.

impl<V: Variant> Write for Nullify<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 Nullify<V>

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