[−][src]Struct merkletree::proof::Proof
Merkle tree inclusion proof for data element, for which item = Leaf(Hash(Data Item)).
Lemma layout:
[ item h1x h2y h3z ... root ]
Proof validation is positioned hash against lemma path to match root hash.
Methods
impl<T: Eq + Clone + AsRef<[u8]>, U: Unsigned> Proof<T, U>
[src]
pub fn new(lemma: Vec<T>, path: Vec<usize>) -> Result<Proof<T, U>>
[src]
Creates new MT inclusion proof
pub fn item(&self) -> T
[src]
Return proof target leaf
pub fn root(&self) -> T
[src]
Return tree root
pub fn validate<A: Algorithm<T>>(&self) -> bool
[src]
Verifies MT inclusion proof
pub fn validate_with_data<A: Algorithm<T>>(
&self,
leaf_data: &dyn Hashable<A>
) -> bool
[src]
&self,
leaf_data: &dyn Hashable<A>
) -> bool
Verifies MT inclusion proof and that leaf_data is the original leaf data for which proof was generated.
pub fn path(&self) -> &Vec<usize>
[src]
Returns the path of this proof.
pub fn lemma(&self) -> &Vec<T>
[src]
Returns the lemma of this proof.
Trait Implementations
impl<T: Clone + Eq + AsRef<[u8]>, U: Clone + Unsigned> Clone for Proof<T, U>
[src]
impl<T: Debug + Eq + Clone + AsRef<[u8]>, U: Debug + Unsigned> Debug for Proof<T, U>
[src]
impl<T: Eq + Clone + AsRef<[u8]>, U: Eq + Unsigned> Eq for Proof<T, U>
[src]
impl<T: PartialEq + Eq + Clone + AsRef<[u8]>, U: PartialEq + Unsigned> PartialEq<Proof<T, U>> for Proof<T, U>
[src]
impl<T: Eq + Clone + AsRef<[u8]>, U: Unsigned> StructuralEq for Proof<T, U>
[src]
impl<T: Eq + Clone + AsRef<[u8]>, U: Unsigned> StructuralPartialEq for Proof<T, U>
[src]
Auto Trait Implementations
impl<T, U> RefUnwindSafe for Proof<T, U> where
T: RefUnwindSafe,
U: RefUnwindSafe,
T: RefUnwindSafe,
U: RefUnwindSafe,
impl<T, U> Send for Proof<T, U> where
T: Send,
U: Send,
T: Send,
U: Send,
impl<T, U> Sync for Proof<T, U> where
T: Sync,
U: Sync,
T: Sync,
U: Sync,
impl<T, U> Unpin for Proof<T, U> where
T: Unpin,
U: Unpin,
T: Unpin,
U: Unpin,
impl<T, U> UnwindSafe for Proof<T, U> where
T: UnwindSafe,
U: UnwindSafe,
T: UnwindSafe,
U: UnwindSafe,
Blanket Implementations
impl<T> Any for T where
T: 'static + ?Sized,
[src]
T: 'static + ?Sized,
impl<T> Borrow<T> for T where
T: ?Sized,
[src]
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
[src]
T: ?Sized,
fn borrow_mut(&mut self) -> &mut T
[src]
impl<T> From<T> for T
[src]
impl<T, U> Into<U> for T where
U: From<T>,
[src]
U: From<T>,
impl<T> Same<T> for T
[src]
type Output = T
Should always be Self
impl<T> ToOwned for T where
T: Clone,
[src]
T: Clone,
type Owned = T
The resulting type after obtaining ownership.
fn to_owned(&self) -> T
[src]
fn clone_into(&self, target: &mut T)
[src]
impl<T, U> TryFrom<U> for T where
U: Into<T>,
[src]
U: Into<T>,
type Error = Infallible
The type returned in the event of a conversion error.
fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>
[src]
impl<T, U> TryInto<U> for T where
U: TryFrom<T>,
[src]
U: TryFrom<T>,
type Error = <U as TryFrom<T>>::Error
The type returned in the event of a conversion error.
fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>
[src]
impl<V, T> VZip<V> for T where
V: MultiLane<T>,
V: MultiLane<T>,