[−][src]Struct storage_proofs::merklepor::PrivateInputs

pub struct PrivateInputs<'a, H: 'a + Hasher> {
    pub leaf: H::Domain,
    pub tree: &'a MerkleTree<H::Domain, H::Function>,
    // some fields omitted
}

The inputs that are only available to the prover.

Fields

leaf: H::Domain

The data of the leaf.

tree: &'a MerkleTree<H::Domain, H::Function>

The underlying merkle tree.

Methods

impl<'a, H: Hasher> PrivateInputs<'a, H>[src]

pub fn new(
    leaf: H::Domain,
    tree: &'a MerkleTree<H::Domain, H::Function>
) -> Self[src]

Trait Implementations

impl<'a, H: Debug + 'a + Hasher> Debug for PrivateInputs<'a, H> where
    H::Domain: Debug,
    H::Domain: Debug,
    H::Function: Debug, [src]

Auto Trait Implementations

impl<'a, H> Unpin for PrivateInputs<'a, H> where
    H: Unpin,
    <H as Hasher>::Domain: Unpin, 

impl<'a, H> Send for PrivateInputs<'a, H> where
    <H as Hasher>::Domain: Send + Sync,
    <H as Hasher>::Function: Sync, 

impl<'a, H> Sync for PrivateInputs<'a, H> where
    <H as Hasher>::Domain: Sync,
    <H as Hasher>::Function: Sync, 

impl<'a, H> UnwindSafe for PrivateInputs<'a, H> where
    H: UnwindSafe,
    <H as Hasher>::Domain: RefUnwindSafe + UnwindSafe,
    <H as Hasher>::Function: RefUnwindSafe, 

impl<'a, H> RefUnwindSafe for PrivateInputs<'a, H> where
    H: RefUnwindSafe,
    <H as Hasher>::Domain: RefUnwindSafe,
    <H as Hasher>::Function: RefUnwindSafe, 

Blanket Implementations

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> Same<T> for T

type Output = T

Should always be Self

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