Skip to main content

VerifyShareRequestMessage

Struct VerifyShareRequestMessage 

Source
pub struct VerifyShareRequestMessage {
    pub version: i32,
    pub nonce: u64,
    pub timestamp: Option<Timestamp>,
}
Expand description

VerifyShareRequestMessage initiates a verification challenge from the Owner to a Helper to confirm that the Helper still retains a specific share.

§Context

This message is part of the verification flow, which allows the Owner to:

  • periodically check Helper liveness
  • detect data loss or corruption of stored shares
  • identify Helpers that are no longer reliable for recovery

§Semantics

The Owner challenges the Helper by providing:

  • a version identifying the share to verify
  • a fresh nonce to ensure the response is unique and not replayable

The Helper MUST compute a cryptographic hash over:

committedDeRecShare || nonce

and return the result in a VerifyShareResponseMessage.

§Security Properties

  • The nonce ensures freshness and prevents replay attacks
  • The hash proves possession of the exact share bytes
  • The Helper cannot produce a valid response without holding the share

§Idempotency

Each request is uniquely identified by the nonce. Reusing a nonce SHOULD be avoided, as it weakens replay protection guarantees.

Fields§

§version: i32

Share version being challenged.

This identifies which stored share the Helper must use to compute the verification proof.

§nonce: u64

Random challenge nonce generated by the Owner.

This value MUST be unpredictable and unique per request to ensure freshness and prevent replay of previous responses.

§timestamp: Option<Timestamp>

Timestamp indicating when this message was created.

This value is expressed in UTC and can be used for:

  • observability and logging
  • replay detection (in combination with sequence numbers)
  • timeout handling

Trait Implementations§

Source§

impl Clone for VerifyShareRequestMessage

Source§

fn clone(&self) -> VerifyShareRequestMessage

Returns a duplicate of the value. Read more
1.0.0 · Source§

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

Performs copy-assignment from source. Read more
Source§

impl Debug for VerifyShareRequestMessage

Source§

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

Formats the value using the given formatter. Read more
Source§

impl Default for VerifyShareRequestMessage

Source§

fn default() -> Self

Returns the “default value” for a type. Read more
Source§

impl Hash for VerifyShareRequestMessage

Source§

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher. Read more
1.3.0 · Source§

fn hash_slice<H>(data: &[Self], state: &mut H)
where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher. Read more
Source§

impl Message for VerifyShareRequestMessage

Source§

fn encoded_len(&self) -> usize

Returns the encoded length of the message without a length delimiter.
Source§

fn clear(&mut self)

Clears the message, resetting all fields to their default.
Source§

fn encode(&self, buf: &mut impl BufMut) -> Result<(), EncodeError>
where Self: Sized,

Encodes the message to a buffer. Read more
Source§

fn encode_to_vec(&self) -> Vec<u8>
where Self: Sized,

Encodes the message to a newly allocated buffer.
Source§

fn encode_length_delimited( &self, buf: &mut impl BufMut, ) -> Result<(), EncodeError>
where Self: Sized,

Encodes the message with a length-delimiter to a buffer. Read more
Source§

fn encode_length_delimited_to_vec(&self) -> Vec<u8>
where Self: Sized,

Encodes the message with a length-delimiter to a newly allocated buffer.
Source§

fn decode(buf: impl Buf) -> Result<Self, DecodeError>
where Self: Default,

Decodes an instance of the message from a buffer. Read more
Source§

fn decode_length_delimited(buf: impl Buf) -> Result<Self, DecodeError>
where Self: Default,

Decodes a length-delimited instance of the message from the buffer.
Source§

fn merge(&mut self, buf: impl Buf) -> Result<(), DecodeError>
where Self: Sized,

Decodes an instance of the message from a buffer, and merges it into self. Read more
Source§

fn merge_length_delimited(&mut self, buf: impl Buf) -> Result<(), DecodeError>
where Self: Sized,

Decodes a length-delimited instance of the message from buffer, and merges it into self.
Source§

impl PartialEq for VerifyShareRequestMessage

Source§

fn eq(&self, other: &VerifyShareRequestMessage) -> bool

Tests for self and other values to be equal, and is used by ==.
1.0.0 · Source§

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.
Source§

impl Copy for VerifyShareRequestMessage

Source§

impl Eq for VerifyShareRequestMessage

Source§

impl StructuralPartialEq for VerifyShareRequestMessage

Auto Trait Implementations§

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<T> CloneToUninit for T
where T: Clone,

Source§

unsafe fn clone_to_uninit(&self, dest: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dest. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T> ToOwned for T
where T: Clone,

Source§

type Owned = T

The resulting type after obtaining ownership.
Source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
Source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.