Struct NoClientWitness

pub struct NoClientWitness<Seal>(/* private fields */)
where
    Seal: SingleUseSeal;

Expand description

Some single-use seal protocols may not distinguish client-side seal closing witness and have just the published one. To use SealWitness type in such protocols, the SingleUseSeal must set its SingleUseSeal::CliWitness to NoClientWitness type.

Implementations§

impl<Seal> NoClientWitness<Seal>
where Seal: SingleUseSeal,

pub fn new() -> NoClientWitness<Seal>

Constructs the object.

Trait Implementations§

impl<Seal> ClientSideWitness for NoClientWitness<Seal>
where Seal: SingleUseSeal,

type Seal = Seal

Client-side witness is specific to just one type of single-use seals, provided as an associated type.

type Proof = <Seal as SingleUseSeal>::Message

Proof which is passed from the client-side witness to the public-side witness during single-use seal validation.

type Error = Infallible

Error type returned by the Self::convolve_commit operation.

fn convolve_commit( &self, msg: <Seal as SingleUseSeal>::Message, ) -> Result<<NoClientWitness<Seal> as ClientSideWitness>::Proof, <NoClientWitness<Seal> as ClientSideWitness>::Error>

Procedure that convolves the message with the client-side data kept in the client-side part of the seal closing witness. This produces Self::Proof, which is lately verified by SealWitness::verify_seal_closing and SealWitness::verify_seals_closing against the published part of the witness.

fn merge(&mut self, _: NoClientWitness<Seal>) -> Result<(), impl Error>
where NoClientWitness<Seal>: Sized,

Merge two compatible client-side witnesses together, or error in case of their incompatibility. Read more

impl<Seal> Clone for NoClientWitness<Seal>
where Seal: Clone + SingleUseSeal,

fn clone(&self) -> NoClientWitness<Seal>

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

impl<Seal> Debug for NoClientWitness<Seal>
where Seal: Debug + SingleUseSeal,

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

Formats the value using the given formatter. Read more

impl<Seal> Default for NoClientWitness<Seal>
where Seal: SingleUseSeal,

fn default() -> NoClientWitness<Seal>

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

impl<Seal> PartialEq for NoClientWitness<Seal>
where Seal: SingleUseSeal,

fn eq(&self, _: &NoClientWitness<Seal>) -> 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.

impl<Seal> StrictDecode for NoClientWitness<Seal>
where Seal: SingleUseSeal,

fn strict_decode( _reader: &mut impl TypedRead, ) -> Result<NoClientWitness<Seal>, DecodeError>

fn strict_read(reader: impl ReadRaw) -> Result<Self, DecodeError>

impl<Seal> StrictEncode for NoClientWitness<Seal>
where Seal: SingleUseSeal,

fn strict_encode<W>(&self, writer: W) -> Result<W, Error>
where W: TypedWrite,

fn strict_write(&self, writer: impl WriteRaw) -> Result<(), Error>

impl<Seal> StrictTuple for NoClientWitness<Seal>
where Seal: SingleUseSeal,

const FIELD_COUNT: u8 = 0u8

fn strict_check_fields()

fn strict_type_info() -> TypeInfo<Self>

impl<Seal> StrictType for NoClientWitness<Seal>
where Seal: SingleUseSeal,

const STRICT_LIB_NAME: &'static str = LIB_NAME_SEALS

fn strict_name() -> Option<TypeName>

impl<Seal> Copy for NoClientWitness<Seal>
where Seal: Copy + SingleUseSeal,

impl<Seal> Eq for NoClientWitness<Seal>
where Seal: SingleUseSeal,

impl<Seal> StrictProduct for NoClientWitness<Seal>
where Seal: SingleUseSeal,

Auto Trait Implementations§

impl<Seal> Freeze for NoClientWitness<Seal>

impl<Seal> RefUnwindSafe for NoClientWitness<Seal>
where Seal: RefUnwindSafe,

impl<Seal> Send for NoClientWitness<Seal>
where Seal: Send,

impl<Seal> Sync for NoClientWitness<Seal>
where Seal: Sync,

impl<Seal> Unpin for NoClientWitness<Seal>
where Seal: Unpin,

impl<Seal> UnwindSafe for NoClientWitness<Seal>
where Seal: UnwindSafe,

Blanket Implementations§

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

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

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

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

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

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

Mutably borrows from an owned value. Read more

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

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

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

fn equivalent(&self, key: &K) -> bool

Checks if this value is equivalent to the given key. Read more

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

fn equivalent(&self, key: &K) -> bool

Compare self to key and return true if they are equal.

impl<T> From<T> for T

fn from(t: T) -> T

Returns the argument unchanged.

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

fn into(self) -> U

Calls U::from(self).

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

impl<T> Same for T

type Output = T

Should always be Self

impl<T> StrictDumb for T
where T: StrictType + Default,

fn strict_dumb() -> T

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

type Owned = T

The resulting type after obtaining ownership.

fn to_owned(&self) -> T

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

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

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

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

type Error = Infallible

The type returned in the event of a conversion error.

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

Performs the conversion.

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

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

The type returned in the event of a conversion error.

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

Performs the conversion.

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

fn vzip(self) -> V

impl<T> VerifyEq for T
where T: Eq,

fn verify_eq(&self, other: &T) -> bool

Verifies commit-equivalence of two instances of the same type.