Function generate_merge_proof

pub(super) fn generate_merge_proof(
    params: MergeParams<'_>,
    w: &mut Witness<Fp>,
) -> Result<WrapProof>