Struct sparse_merkle_tree::merkle_proof::CompiledMerkleProof

pub struct CompiledMerkleProof(pub Vec<u8>);

An structure optimized for verify merkle proof

Tuple Fields

0: Vec<u8>

Implementations

impl CompiledMerkleProof

pub fn extract_proof<H: Hasher + Default>(
    &self,
    all_leaves: Vec<(H256, H256, bool)>
) -> Result<CompiledMerkleProof>

Extract sub compiled proof for certain sub leaves from current compiled proof.

The argument must include all leaves. The 3rd item of every tuple indicate if the sub key is selected.

pub fn compute_root<H: Hasher + Default>(
    &self,
    leaves: Vec<(H256, H256)>
) -> Result<H256>

pub fn verify<H: Hasher + Default>(
    &self,
    root: &H256,
    leaves: Vec<(H256, H256)>
) -> Result<bool>

Trait Implementations

impl Clone for CompiledMerkleProof

fn clone(&self) -> CompiledMerkleProof

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for CompiledMerkleProof

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl From<CompiledMerkleProof> for Vec<u8>

fn from(proof: CompiledMerkleProof) -> Vec<u8>

Converts to this type from the input type.