in src/proof.rs [732:746]
fn add_padding_proofs(
tree: &SparseMerkleTree<V>,
padding_proofs: &mut Vec<<V as PaddingProvable>::PaddingProof>,
refs: Vec<usize>,
padding_refs: Vec<(TreeIndex, usize)>,
secret: &Secret,
) {
for (index, item) in padding_refs {
padding_proofs.push(
tree.get_node_by_ref(refs[refs.len() - 1 - item])
.get_value()
.prove_padding_node(&index, secret),
);
}
}