Struct snarkvm_algorithms::commitment_tree::commitment_path::CommitmentMerklePath[][src]

pub struct CommitmentMerklePath<C: CommitmentScheme, H: CRH> {
    pub leaves: (<C as CommitmentScheme>::Output, <C as CommitmentScheme>::Output),
    pub inner_hashes: (<H as CRH>::Output, <H as CRH>::Output),
}

Fields

leaves: (<C as CommitmentScheme>::Output, <C as CommitmentScheme>::Output)inner_hashes: (<H as CRH>::Output, <H as CRH>::Output)

Implementations

impl<C: CommitmentScheme, H: CRH> CommitmentMerklePath<C, H>[src]

pub fn verify(
    &self,
    parameters: &H,
    root_hash: &<H as CRH>::Output,
    leaf: &<C as CommitmentScheme>::Output
) -> Result<bool, MerkleError>
[src]

Trait Implementations

impl<C: CommitmentScheme, H: CRH> Clone for CommitmentMerklePath<C, H> where
    C: CommitmentScheme,
    H: CRH
[src]

impl<C: CommitmentScheme, H: CRH> Eq for CommitmentMerklePath<C, H> where
    C: CommitmentScheme,
    H: CRH
[src]

impl<C: CommitmentScheme, H: CRH> FromBytes for CommitmentMerklePath<C, H>[src]

impl<C: CommitmentScheme, H: CRH> PartialEq<CommitmentMerklePath<C, H>> for CommitmentMerklePath<C, H> where
    C: CommitmentScheme,
    H: CRH
[src]

impl<C: CommitmentScheme, H: CRH> ToBytes for CommitmentMerklePath<C, H>[src]

Auto Trait Implementations

impl<C, H> RefUnwindSafe for CommitmentMerklePath<C, H> where
    <C as CommitmentScheme>::Output: RefUnwindSafe,
    <H as CRH>::Output: RefUnwindSafe

impl<C, H> Send for CommitmentMerklePath<C, H> where
    <C as CommitmentScheme>::Output: Send,
    <H as CRH>::Output: Send

impl<C, H> Sync for CommitmentMerklePath<C, H> where
    <C as CommitmentScheme>::Output: Sync,
    <H as CRH>::Output: Sync

impl<C, H> Unpin for CommitmentMerklePath<C, H> where
    <C as CommitmentScheme>::Output: Unpin,
    <H as CRH>::Output: Unpin

impl<C, H> UnwindSafe for CommitmentMerklePath<C, H> where
    <C as CommitmentScheme>::Output: UnwindSafe,
    <H as CRH>::Output: 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<Q, K> Equivalent<K> for Q where
    K: Borrow<Q> + ?Sized,
    Q: Eq + ?Sized
[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

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>,