pub fn mul_no_carry_w6<F: PrimeField, FC: FieldChip<F>, const XI_0: i64>(
    fp_chip: &FC,
    ctx: &mut Context<F>,
    a: FieldVector<FC::UnsafeFieldPoint>
) -> FieldVector<FC::UnsafeFieldPoint>
Expand description

multiply Fp2 elts: (a0 + a1 * u) * (XI0 + u) without carry

Assumptions

  • a is Fp2 point represented as FieldVector with degree = 2