pub fn equal_g<F: FieldWitness>( g1: GroupAffine<F>, g2: GroupAffine<F>, w: &mut Witness<F>, ) -> Boolean