1use ark_ff::{fields::*, MontFp};
  2
  3use crate::*;
  4
  5pub type Fq6 = Fp6<Fq6Config>;
  6
  7#[derive(Clone, Copy)]
  8pub struct Fq6Config;
  9
 10impl Fp6Config for Fq6Config {
 11    type Fp2Config = Fq2Config;
 12
 13    /// NONRESIDUE = U+9
 14    const NONRESIDUE: Fq2 = Fq2::new(MontFp!("9"), Fq::ONE);
 15
 16    const FROBENIUS_COEFF_FP6_C1: &'static [Fq2] = &[
 17        // Fp2::NONRESIDUE^(((q^0) - 1) / 3)
 18        Fq2::new(Fq::ONE, Fq::ZERO),
 19        // Fp2::NONRESIDUE^(((q^1) - 1) / 3)
 20        Fq2::new(
 21            MontFp!(
 22                "21575463638280843010398324269430826099269044274347216827212613867836435027261"
 23            ),
 24            MontFp!(
 25                "10307601595873709700152284273816112264069230130616436755625194854815875713954"
 26            ),
 27        ),
 28        // Fp2::NONRESIDUE^(((q^2) - 1) / 3)
 29        Fq2::new(
 30            MontFp!(
 31                "21888242871839275220042445260109153167277707414472061641714758635765020556616"
 32            ),
 33            Fq::ZERO,
 34        ),
 35        // Fp2::NONRESIDUE^(((q^3) - 1) / 3)
 36        Fq2::new(
 37            MontFp!("3772000881919853776433695186713858239009073593817195771773381919316419345261"),
 38            MontFp!("2236595495967245188281701248203181795121068902605861227855261137820944008926"),
 39        ),
 40        // Fp2::NONRESIDUE^(((q^4) - 1) / 3)
 41        Fq2::new(
 42            MontFp!("2203960485148121921418603742825762020974279258880205651966"),
 43            Fq::ZERO,
 44        ),
 45        // Fp2::NONRESIDUE^(((q^5) - 1) / 3)
 46        Fq2::new(
 47            MontFp!(
 48                "18429021223477853657660792034369865839114504446431234726392080002137598044644"
 49            ),
 50            MontFp!("9344045779998320333812420223237981029506012124075525679208581902008406485703"),
 51        ),
 52    ];
 53
 54    const FROBENIUS_COEFF_FP6_C2: &'static [Fq2] = &[
 55        // Fp2::NONRESIDUE^((2*(q^0) - 2) / 3)
 56        Fq2::new(Fq::ONE, Fq::ZERO),
 57        // Fp2::NONRESIDUE^((2*(q^1) - 2) / 3)
 58        Fq2::new(
 59            MontFp!("2581911344467009335267311115468803099551665605076196740867805258568234346338"),
 60            MontFp!(
 61                "19937756971775647987995932169929341994314640652964949448313374472400716661030"
 62            ),
 63        ),
 64        // Fp2::NONRESIDUE^((2*(q^2) - 2) / 3)
 65        Fq2::new(
 66            MontFp!("2203960485148121921418603742825762020974279258880205651966"),
 67            Fq::ZERO,
 68        ),
 69        // Fp2::NONRESIDUE^((2*(q^3) - 2) / 3)
 70        Fq2::new(
 71            MontFp!("5324479202449903542726783395506214481928257762400643279780343368557297135718"),
 72            MontFp!(
 73                "16208900380737693084919495127334387981393726419856888799917914180988844123039"
 74            ),
 75        ),
 76        // Fp2::NONRESIDUE^((2*(q^4) - 2) / 3)
 77        Fq2::new(
 78            MontFp!(
 79                "21888242871839275220042445260109153167277707414472061641714758635765020556616"
 80            ),
 81            Fq::ZERO,
 82        ),
 83        // Fp2::NONRESIDUE^((2*(q^5) - 2) / 3)
 84        Fq2::new(
 85            MontFp!(
 86                "13981852324922362344252311234282257507216387789820983642040889267519694726527"
 87            ),
 88            MontFp!("7629828391165209371577384193250820201684255241773809077146787135900891633097"),
 89        ),
 90    ];
 91
 92    #[inline(always)]
 93    fn mul_fp2_by_nonresidue_in_place(fe: &mut Fq2) -> &mut Fq2 {
 94        // (c0+u*c1)*(9+u) = (9*c0-c1)+u*(9*c1+c0)
 95        let mut f = *fe;
 96        f.double_in_place().double_in_place().double_in_place();
 97        let mut c0 = fe.c1;
 98        Fq2Config::mul_fp_by_nonresidue_in_place(&mut c0);
 99        c0 += &f.c0;
100        c0 += &fe.c0;
101        let c1 = f.c1 + fe.c1 + fe.c0;
102        *fe = Fq2::new(c0, c1);
103        fe
104    }
105}