Struct NullifyFinalize

pub struct NullifyFinalize<V: Variant, D: Digest> {
    pub proposal: Proposal<D>,
    pub view_signature: PartialSignature<V>,
    pub finalize_signature: PartialSignature<V>,
}

NullifyFinalize represents evidence of a Byzantine validator sending both a nullify and finalize for the same view, which is contradictory behavior (a validator should either try to skip a view OR finalize a proposal, not both).

Fields

proposal: Proposal<D>

The proposal that the validator tried to finalize

view_signature: PartialSignature<V>

The signature on the nullify

finalize_signature: PartialSignature<V>

The signature on the finalize

Implementations

impl<V: Variant, D: Digest> NullifyFinalize<V, D>

pub fn new(nullify: Nullify<V>, finalize: Finalize<V, D>) -> Self

Creates a new nullify-finalize evidence from a nullify and a finalize.

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

Verifies that both the nullify and finalize signatures are valid, proving Byzantine behavior.

Trait Implementations

impl<V: Variant, D: Digest> Attributable for NullifyFinalize<V, D>

fn signer(&self) -> u32

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

impl<V: Clone + Variant, D: Clone + Digest> Clone for NullifyFinalize<V, D>

fn clone(&self) -> NullifyFinalize<V, D>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<V: Debug + Variant, D: Debug + Digest> Debug for NullifyFinalize<V, D>

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

Formats the value using the given formatter.

impl<V: Variant, D: Digest> EncodeSize for NullifyFinalize<V, D>

fn encode_size(&self) -> usize

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

impl<V: Hash + Variant, D: Hash + Digest> Hash for NullifyFinalize<V, D>

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, D: PartialEq + Digest> PartialEq for NullifyFinalize<V, D>

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

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, D: Digest> Viewable for NullifyFinalize<V, D>

fn view(&self) -> View

Returns the view associated with this object.

impl<V: Variant, D: Digest> Write for NullifyFinalize<V, D>

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

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

impl<V: Eq + Variant, D: Eq + Digest> Eq for NullifyFinalize<V, D>

impl<V: Variant, D: Digest> StructuralPartialEq for NullifyFinalize<V, D>