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
isFp2
point represented asFieldVector
with degree = 2