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]
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]
&self,
parameters: &H,
root_hash: &<H as CRH>::Output,
leaf: &<C as CommitmentScheme>::Output
) -> Result<bool, MerkleError>
Trait Implementations
impl<C: CommitmentScheme, H: CRH> Clone for CommitmentMerklePath<C, H> where
C: CommitmentScheme,
H: CRH,
[src]
impl<C: CommitmentScheme, H: CRH> Clone 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> 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> 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]
impl<C: CommitmentScheme, H: CRH> ToBytes for CommitmentMerklePath<C, H>
[src]impl<C: CommitmentScheme, H: CRH> Eq for CommitmentMerklePath<C, H> where
C: CommitmentScheme,
H: CRH,
[src]
C: CommitmentScheme,
H: CRH,
Auto Trait Implementations
impl<C, H> RefUnwindSafe for CommitmentMerklePath<C, H> where
<C as CommitmentScheme>::Output: RefUnwindSafe,
<H as CRH>::Output: RefUnwindSafe,
<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,
<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,
<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,
<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,
<C as CommitmentScheme>::Output: UnwindSafe,
<H as CRH>::Output: UnwindSafe,
Blanket Implementations
impl<T> BorrowMut<T> for T where
T: ?Sized,
[src]
impl<T> BorrowMut<T> for T where
T: ?Sized,
[src]pub fn borrow_mut(&mut self) -> &mut T
[src]
pub fn borrow_mut(&mut self) -> &mut T
[src]Mutably borrows from an owned value. Read more
impl<Q, K> Equivalent<K> for Q where
K: Borrow<Q> + ?Sized,
Q: Eq + ?Sized,
[src]
impl<Q, K> Equivalent<K> for Q where
K: Borrow<Q> + ?Sized,
Q: Eq + ?Sized,
[src]pub fn equivalent(&self, key: &K) -> bool
[src]
pub fn equivalent(&self, key: &K) -> bool
[src]Compare self to key
and return true
if they are equal.
impl<T> Pointable for T
impl<T> Pointable for T
impl<T> Same<T> for T
impl<T> Same<T> for T
type Output = T
type Output = T
Should always be Self
impl<T> ToOwned for T where
T: Clone,
[src]
impl<T> ToOwned for T where
T: Clone,
[src]type Owned = T
type Owned = T
The resulting type after obtaining ownership.
pub fn to_owned(&self) -> T
[src]
pub fn to_owned(&self) -> T
[src]Creates owned data from borrowed data, usually by cloning. Read more
pub fn clone_into(&self, target: &mut T)
[src]
pub fn clone_into(&self, target: &mut T)
[src]🔬 This is a nightly-only experimental API. (toowned_clone_into
)
recently added
Uses borrowed data to replace owned data, usually by cloning. Read more
impl<V, T> VZip<V> for T where
V: MultiLane<T>,
impl<V, T> VZip<V> for T where
V: MultiLane<T>,