Function wrap

pub fn wrap<C: ProofConstants + ForWrapData>(
    params: WrapParams<'_>,
    w: &mut Witness<Fq>,
) -> Result<WrapProof>