pub fn compute_path(proof: &[Hash], leaf: Leaf) -> Vec<Hash>
Computes the path from the leaf to the root using the provided proof.