Struct Finalization

pub struct Finalization<V: Variant, D: Digest> {
    pub proposal: Proposal<D>,
    pub proposal_signature: V::Signature,
    pub seed_signature: V::Signature,
}

Finalization represents a recovered threshold signature to finalize a proposal. When a proposal is finalized, it becomes the canonical block for its view. The threshold signatures provide compact verification compared to collecting individual signatures.

Fields

proposal: Proposal<D>

The proposal that has been finalized

proposal_signature: V::Signature

The recovered threshold signature on the proposal

seed_signature: V::Signature

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

Implementations

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

pub fn new( proposal: Proposal<D>, proposal_signature: V::Signature, seed_signature: V::Signature, ) -> Self

Creates a new finalization with the given proposal and aggregated signatures.

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

Verifies the threshold signatures on this Finalization.

This ensures that:

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

Trait Implementations

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

where V::Signature: Clone,

fn clone(&self) -> Finalization<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 Finalization<V, D>

where V::Signature: Debug,

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

Formats the value using the given formatter.

impl<V: Variant, D: Digest> EncodeSize for Finalization<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 Finalization<V, D>

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

where V::Signature: PartialEq,

fn eq(&self, other: &Finalization<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 Finalization<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> Seedable<V> for Finalization<V, D>

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

Returns the seed associated with this object.

impl<V: Variant, D: Digest> Viewable for Finalization<V, D>

fn view(&self) -> View

Returns the view associated with this object.

impl<V: Variant, D: Digest> Write for Finalization<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 Finalization<V, D>

where V::Signature: Eq,

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