1use ark_ff::{fields::*, MontFp, QuadExt};
 2
 3use crate::*;
 4
 5pub type Fq2 = Fp2<Fq2Config>;
 6
 7pub struct Fq2Config;
 8
 9impl Fp2Config for Fq2Config {
10    type Fp = Fq;
11
12    /// NONRESIDUE = -5
13    const NONRESIDUE: Fq = MontFp!(Fq, "-5");
14
15    /// QUADRATIC_NONRESIDUE = U
16    const QUADRATIC_NONRESIDUE: Fq2 = QuadExt!(FQ_ZERO, FQ_ONE);
17
18    /// Coefficients for the Frobenius automorphism.
19    const FROBENIUS_COEFF_FP2_C1: &'static [Fq] = &[
20        // NONRESIDUE**(((q^0) - 1) / 2)
21        FQ_ONE,
22        // NONRESIDUE**(((q^1) - 1) / 2)
23        MontFp!(Fq, "-1"),
24    ];
25
26    #[inline(always)]
27    fn mul_fp_by_nonresidue(fe: &Self::Fp) -> Self::Fp {
28        let original = fe;
29        let mut fe = -fe.double();
30        fe.double_in_place();
31        fe - original
32    }
33}
34
35pub const FQ2_ZERO: Fq2 = QuadExt!(FQ_ZERO, FQ_ZERO);
36pub const FQ2_ONE: Fq2 = QuadExt!(FQ_ONE, FQ_ZERO);