[][src]Struct storage_proofs::beacon_post::Proof

pub struct Proof<'a, H: Hasher + 'a, V: Vdf<H::Domain>>(_);

Beacon-PoSt This is one construction of a Proof-of-Spacetime. It currently only supports proving over a single sector.

Methods

impl<'a, H: Hasher + 'a, V: Vdf<H::Domain>> Proof<'a, H, V>[src]

pub fn proofs(&self) -> &[Proof<'a, H, V>][src]

Trait Implementations

impl<'a, H: Clone + Hasher + 'a, V: Clone + Vdf<H::Domain>> Clone for Proof<'a, H, V>[src]

fn clone_from(&mut self, source: &Self)1.0.0[src]

Performs copy-assignment from source. Read more

impl<'a, H: Debug + Hasher + 'a, V: Debug + Vdf<H::Domain>> Debug for Proof<'a, H, V>[src]

impl<'a, H: Hasher + 'a, V: Vdf<H::Domain>> Serialize for Proof<'a, H, V> where
    Proof<'a, H, V>: Serialize
[src]

impl<'de, 'a, H: Hasher + 'a, V: Vdf<H::Domain>> Deserialize<'de> for Proof<'a, H, V> where
    Proof<'a, H, V>: Deserialize<'de>, 
[src]

Auto Trait Implementations

impl<'a, H, V> Unpin for Proof<'a, H, V> where
    H: Unpin,
    V: Unpin,
    <H as Hasher>::Domain: Unpin,
    <V as Vdf<<H as Hasher>::Domain>>::Proof: Unpin

impl<'a, H, V> Send for Proof<'a, H, V> where
    V: Send,
    <H as Hasher>::Domain: Send,
    <V as Vdf<<H as Hasher>::Domain>>::Proof: Send

impl<'a, H, V> Sync for Proof<'a, H, V> where
    V: Sync,
    <H as Hasher>::Domain: Sync,
    <V as Vdf<<H as Hasher>::Domain>>::Proof: Sync

impl<'a, H, V> UnwindSafe for Proof<'a, H, V> where
    H: UnwindSafe,
    V: UnwindSafe,
    <H as Hasher>::Domain: UnwindSafe,
    <V as Vdf<<H as Hasher>::Domain>>::Proof: UnwindSafe

impl<'a, H, V> RefUnwindSafe for Proof<'a, H, V> where
    H: RefUnwindSafe,
    V: RefUnwindSafe,
    <H as Hasher>::Domain: RefUnwindSafe,
    <V as Vdf<<H as Hasher>::Domain>>::Proof: RefUnwindSafe

Blanket Implementations

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

type Owned = T

The resulting type after obtaining ownership.

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

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

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<T> Borrow<T> for T where
    T: ?Sized
[src]

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

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

impl<T> SendSyncUnwindSafe for T where
    T: Send + Sync + UnwindSafe + ?Sized
[src]

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

impl<T> Same<T> for T

type Output = T

Should always be Self

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