[][src]Struct reverie::online::Proof

pub struct Proof<D: Domain> { /* fields omitted */ }

Online execution "proof header"

Holds the (constant sized) state required to initialize the streaming online verifier

Implementations

impl<D: Domain + Serialize> Proof<D>[src]

pub fn serialize(&self) -> Vec<u8>[src]

impl<'de, D: Domain + Deserialize<'de>> Proof<D>[src]

pub fn deserialize(encoded: &'de [u8]) -> Option<Self>[src]

Trait Implementations

impl<D: Clone + Domain> Clone for Proof<D>[src]

impl<D: Debug + Domain> Debug for Proof<D>[src]

impl<'de, D: Domain> Deserialize<'de> for Proof<D> where
    D: Deserialize<'de>, 
[src]

impl<D: Domain> Serialize for Proof<D> where
    D: Serialize
[src]

Auto Trait Implementations

impl<D> RefUnwindSafe for Proof<D> where
    D: RefUnwindSafe

impl<D> Send for Proof<D>

impl<D> Sync for Proof<D>

impl<D> Unpin for Proof<D> where
    D: Unpin

impl<D> UnwindSafe for Proof<D> where
    D: UnwindSafe

Blanket Implementations

impl<T> Any for T where
    T: 'static + ?Sized
[src]

impl<T> Borrow<T> for T where
    T: ?Sized
[src]

impl<T> BorrowMut<T> for T where
    T: ?Sized
[src]

impl<T> DeserializeOwned for T where
    T: for<'de> Deserialize<'de>, 
[src]

impl<T> From<T> for T[src]

impl<T, U> Into<U> for T where
    U: From<T>, 
[src]

impl<T> Pointable for T

type Init = T

The type for initializers.

impl<T> Same<T> for T[src]

type Output = T

Should always be Self

impl<T> ToOwned for T where
    T: Clone
[src]

type Owned = T

The resulting type after obtaining ownership.

impl<T, U> TryFrom<U> for T where
    U: Into<T>, 
[src]

type Error = Infallible

The type returned in the event of a conversion error.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, 
[src]

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

The type returned in the event of a conversion error.

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