1use ark_ec::{
 2    models::mnt6::{MNT6Config, MNT6},
 3    short_weierstrass::SWCurveConfig,
 4};
 5use ark_ff::{biginteger::BigInteger320, AdditiveGroup, BigInt, Field, Fp3};
 6
 7use crate::{Fq, Fq3Config, Fq6Config, Fr};
 8
 9pub mod g1;
10pub mod g2;
11
12#[cfg(test)]
13mod tests;
14
15pub use self::{
16    g1::{G1Affine, G1Prepared, G1Projective},
17    g2::{G2Affine, G2Prepared, G2Projective},
18};
19
20pub type MNT6_298 = MNT6<Config>;
21
22pub struct Config;
23
24impl MNT6Config for Config {
25    const TWIST: Fp3<Self::Fp3Config> = Fp3::<Self::Fp3Config>::new(Fq::ZERO, Fq::ONE, Fq::ZERO);
26    const TWIST_COEFF_A: Fp3<Self::Fp3Config> =
27        Fp3::<Self::Fp3Config>::new(Fq::ZERO, Fq::ZERO, g1::Config::COEFF_A);
28
29    // https://github.com/o1-labs/snarky/blob/9c21ab2bb23874604640740d646a932e813432c3/snarkette/mnt4_80.ml#L88
30    const ATE_LOOP_COUNT: &'static [i8] = &[
31        1, 0, 0, 0, 0, -1, 0, 0, 0, -1, 0, 0, 0, -1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 0, 1, 0, -1,
32        0, 1, 0, -1, 0, 0, 0, 0, 0, 1, 0, 1, 0, -1, 0, 0, 0, -1, 0, -1, 0, -1, 0, 0, -1, 0, -1, 0,
33        0, 0, 0, 0, -1, 0, -1, 0, 0, 0, 0, 1, 0, 1, 0, 1, 0, 0, 1, 0, -1, 0, 1, 0, 0, 0, 0, 0, -1,
34        0, 0, 0, 1, 0, 0, -1, 0, 0, -1, 0, 0, 1, 0, 1, 0, -1, 0, 1, 0, 0, 0, 1, 0, 0, -1, 0, 0, -1,
35        0, -1, 0, 1, 0, 0, -1, 0, 0, 1, 0, -1, 0, -1, 0, 1, 0, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
36        0, 0, 0, 0, 0, 0,
37    ];
38    const ATE_IS_LOOP_COUNT_NEG: bool = true;
39    const FINAL_EXPONENT_LAST_CHUNK_1: BigInteger320 = BigInt::new([0x1, 0x0, 0x0, 0x0, 0x0]);
40    const FINAL_EXPONENT_LAST_CHUNK_W0_IS_NEG: bool = true;
41    const FINAL_EXPONENT_LAST_CHUNK_ABS_OF_W0: BigInteger320 =
42        BigInt::new([0xdc9a1b671660000, 0x46609756bec2a33f, 0x1eef55, 0x0, 0x0]);
43    type Fp = Fq;
44    type Fr = Fr;
45    type Fp3Config = Fq3Config;
46    type Fp6Config = Fq6Config;
47    type G1Config = self::g1::Config;
48    type G2Config = self::g2::Config;
49}