Skip to main content

rebuild_block_proof

Function rebuild_block_proof 

Source
pub(crate) fn rebuild_block_proof(
    num_leaves: u64,
    frontier: &<BlockMerkleTree as MerkleTreeScheme>::MembershipProof,
    target: &<BlockMerkleTree as MerkleTreeScheme>::MembershipProof,
) -> Result<<BlockMerkleTree as MerkleTreeScheme>::MembershipProof>
Expand description

The path to target.pos in the block tree of the first num_leaves leaves.

Both proofs come from one snapshot with more than num_leaves leaves; frontier is for leaf num_leaves - 1. Subtrees left of the frontier are full and unchanged since, subtrees right of it are empty, and the frontier nodes are recomputed.