Function compress_var 

pub fn compress_var<F: FieldWitness>(
    v: &GroupAffine<F>,
    w: &mut Witness<F>,
) -> CompressedPubKeyVar<F>