ark-curves-cherry-picked/mnt6_298/src/curves/mod.rs
mnt6_298/src/curves/mod.rsRaw
1use ark_ec::{
2 models::mnt6::{MNT6Parameters, MNT6},
3 short_weierstrass::SWCurveConfig,
4};
5use ark_ff::{biginteger::BigInteger320, 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<Parameters>;
21
22pub struct Parameters;
23
24impl MNT6Parameters for Parameters {
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::Parameters::COEFF_A);
28 const ATE_LOOP_COUNT: &'static [u64] = &[0xdc9a1b671660000, 0x46609756bec2a33f, 0x1eef55];
29 const ATE_IS_LOOP_COUNT_NEG: bool = true;
30 const FINAL_EXPONENT_LAST_CHUNK_1: BigInteger320 = BigInt::new([0x1, 0x0, 0x0, 0x0, 0x0]);
31 const FINAL_EXPONENT_LAST_CHUNK_W0_IS_NEG: bool = true;
32 const FINAL_EXPONENT_LAST_CHUNK_ABS_OF_W0: BigInteger320 =
33 BigInt::new([0xdc9a1b671660000, 0x46609756bec2a33f, 0x1eef55, 0x0, 0x0]);
34 type Fp = Fq;
35 type Fr = Fr;
36 type Fp3Config = Fq3Config;
37 type Fp6Config = Fq6Config;
38 type G1Parameters = self::g1::Parameters;
39 type G2Parameters = self::g2::Parameters;
40}