pub fn root_from_proof(
commitment: &[u8; 32],
proof: &InclusionProof,
) -> Option<[u8; 32]>Expand description
Recompute a Merkle root from a leaf commitment and its proof.
This is the whole offline story: an auditor holding one frame, its proof,
and a signed root needs nothing else — no network, no host, no provider.
None if any sibling in the path is malformed.