pub fn stateless_path(
leaf_index: usize,
tree_size: usize,
) -> Result<Vec<ProofElement>, LeanIMTError>Expand description
Computes the set of elements of a Merkle proof of a Lean IMT without the tree data.
It receives the index of the leaf we want to prove and the tree size.
The set it returns will not contain the actual leaf data but their positions in the tree.