Struct MerkleProof

pub struct MerkleProof { /* private fields */ }

Implementations

impl MerkleProof

pub fn new(leaves_path: Vec<Vec<usize>>, proof: Vec<(H256, usize)>) -> Self

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<usize>>, Vec<(H256, usize)>)

Destruct the structure, useful for serialization

pub fn leaves_count(&self) -> usize

number of leaves required by this merkle proof

pub fn leaves_path(&self) -> &Vec<Vec<usize>>

return the inner leaves_path vector

pub fn proof(&self) -> &Vec<(H256, usize)>

return proof merkle path

pub fn compile<K, const N: usize>( self, leaves: Vec<(K, H256)>, ) -> Result<CompiledMerkleProof>

where K: Key<N>,

convert merkle proof into CompiledMerkleProof

pub fn compute_root<H: Hasher + Default, K, V, const N: usize>( self, leaves: Vec<(K, V)>, ) -> Result<H256>

where K: Key<N>, V: Value,

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, K, V, const N: usize>( self, root: &H256, leaves: Vec<(K, V)>, ) -> Result<bool>

where K: Key<N>, V: Value,

Verify merkle proof see compute_root_from_proof

Trait Implementations

impl Clone for MerkleProof

fn clone(&self) -> MerkleProof

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for MerkleProof

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

Formats the value using the given formatter.