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