pub fn generate_proving_ctx( leaf_children: Vec<IoCommit>, num_real_leaves: usize, ) -> MerkleDecommitTraceCtx