pub fn fp12_multiply_with_line_equal<F: BigPrimeField>( fp2_chip: &Fp2Chip<'_, F>, ctx: &mut Context<F>, g: &FqPoint<F>, Q: &EcPoint<F, FqPoint<F>>, P: &EcPoint<F, FpPoint<F>>, ) -> FqPoint<F>