halo2_ecc::fields::fp12

Function mul_no_carry_w6

Source 
pub fn mul_no_carry_w6<F: BigPrimeField, 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