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.