[−][src]Struct sparse_merkle_tree::merkle_proof::MerkleProof
Implementations
impl MerkleProof[src]
pub fn new(leaves_path: Vec<Vec<u8>>, proof: Vec<(H256, u8)>) -> Self[src]
Create MerkleProof leaves_path: contains height of non-zero siblings proof: contains merkle path for each leaves it's height
pub fn take(self) -> (Vec<Vec<u8>>, Vec<(H256, u8)>)[src]
Destruct the structure, useful for serialization
pub fn leaves_count(&self) -> usize[src]
number of leaves required by this merkle proof
pub fn leaves_path(&self) -> &Vec<Vec<u8>>[src]
return the inner leaves_path vector
pub fn proof(&self) -> &Vec<(H256, u8)>[src]
return proof merkle path
pub fn compile(self, leaves: Vec<(H256, H256)>) -> Result<CompiledMerkleProof>[src]
convert merkle proof into CompiledMerkleProof
pub fn compute_root<H: Hasher + Default>(
self,
leaves: Vec<(H256, H256)>
) -> Result<H256>[src]
self,
leaves: Vec<(H256, H256)>
) -> Result<H256>
Compute root from proof leaves: a vector of (key, value)
return EmptyProof error when proof is empty return CorruptedProof error when proof is invalid
pub fn verify<H: Hasher + Default>(
self,
root: &H256,
leaves: Vec<(H256, H256)>
) -> Result<bool>[src]
self,
root: &H256,
leaves: Vec<(H256, H256)>
) -> Result<bool>
Verify merkle proof see compute_root_from_proof
Trait Implementations
impl Clone for MerkleProof[src]
fn clone(&self) -> MerkleProof[src]
fn clone_from(&mut self, source: &Self)1.0.0[src]
impl Debug for MerkleProof[src]
Auto Trait Implementations
impl RefUnwindSafe for MerkleProof
impl Send for MerkleProof
impl Sync for MerkleProof
impl Unpin for MerkleProof
impl UnwindSafe for MerkleProof
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> 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>,