risc0_aggregation

Function merkle_path_root

Source 
pub fn merkle_path_root(
    leaf: &Digest,
    path: impl IntoIterator<Item = impl Borrow<Digest>>,
) -> Digest
Expand description

Calculate the root of the path assuming the given leaf value.

NOTE: The result of this function must be checked to be the root of some committed Merkle tree.