Function import_proofs 

pub fn import_proofs(
    segments: &[Segment],
) -> (Vec<CdMerkleProof>, SegmentTreeRoot)

Generate import proofs for exported segments. Returns a full import proof for each segment and a tree root.