Struct Ack

pub struct Ack<V: Variant, D: Digest> {
    pub item: Item<D>,
    pub epoch: Epoch,
    pub signature: PartialSignature<V>,
}

Acknowledgment (ack) represents a validator’s partial signature on an item. Multiple acks can be recovered into a threshold signature for consensus.

Fields

item: Item<D>

The item being acknowledged

epoch: Epoch

The epoch in which this acknowledgment was created

signature: PartialSignature<V>

Partial signature on the item using the validator’s threshold share

Implementations

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

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

Verifies the partial signature on this acknowledgment.

Returns true if the signature is valid for the given namespace and public key. Domain separation is automatically applied to prevent signature reuse.

pub fn sign( namespace: &[u8], epoch: Epoch, share: &Share, item: Item<D>, ) -> Self

Creates a new acknowledgment by signing an item with a validator’s threshold share.

The signature uses domain separation to prevent cross-protocol attacks.

Determinism

Signatures produced by this function are deterministic and safe for consensus.

Trait Implementations

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

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

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

Formats the value using the given formatter.

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

fn eq(&self, other: &Ack<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 Ack<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, CodecError>

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

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

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