1use ark_ec::{
  2    mnt6,
  3    mnt6::MNT6Parameters,
  4    models::{ModelParameters, SWModelParameters},
  5};
  6use ark_ff::field_new;
  7
  8use crate::{g1, Fq, Fq3, Fr, FQ_ZERO};
  9
 10pub type G2Affine = mnt6::G2Affine<crate::Parameters>;
 11pub type G2Projective = mnt6::G2Projective<crate::Parameters>;
 12pub type G2Prepared = mnt6::G2Prepared<crate::Parameters>;
 13
 14#[derive(Clone, Default, PartialEq, Eq)]
 15pub struct Parameters;
 16
 17impl ModelParameters for Parameters {
 18    type BaseField = Fq3;
 19    type ScalarField = Fr;
 20
 21    /// COFACTOR =
 22    /// 1755483545388786116744270475466687259186947712032004459714210070280389500116987496124098574823389466285978151140155508638765729019174599527183600372094760023144398285325863550664578643924584541949466179502227232245309952839189635010671372908411609248348904807785904229403747495114436660255866932060472369629692502198423138429922875792635236729929780298333055698257230963645509826963717287902205842627121011526048163097042046361575549171961352924692480000
 23    #[rustfmt::skip]
 24    const COFACTOR: &'static [u64] = &[
 25        17839255819456086016,
 26        500623104730997740,
 27        2110252009236161768,
 28        1500878543414750896,
 29        12839751506594314239,
 30        8978537329634833065,
 31        13830010955957826199,
 32        7626514311663165506,
 33        14876243211944528805,
 34        2316601947950921451,
 35        2601177562497904269,
 36        18300670698693155036,
 37        17321427554953155530,
 38        12586270719596716948,
 39        807965545138267130,
 40        13086323046094411844,
 41        16597411233431396880,
 42        5578519820383338987,
 43        16478065054289650824,
 44        12110148809888520863,
 45        5901144846689643164,
 46        3407195776166256068,
 47        14663852814447346059,
 48        13435169368,
 49    ];
 50
 51    /// COFACTOR^(-1) mod r =
 52    /// 6983081827986492233724035798540106188028451653325658178630583820170892135428517795509815627298389820236345161981341515817589065927929152555581161598204976128690232061758269440757592419606754539638220064054062394397574161203200
 53    #[rustfmt::skip]
 54    const COFACTOR_INV: Fr = field_new!(Fr, "6983081827986492233724035798540106188028451653325658178630583820170892135428517795509815627298389820236345161981341515817589065927929152555581161598204976128690232061758269440757592419606754539638220064054062394397574161203200");
 55}
 56
 57/// MUL_BY_A_C0 = NONRESIDUE * COEFF_A
 58///             = 11 * 11
 59///             = 121
 60#[rustfmt::skip]
 61pub const MUL_BY_A_C0: Fq = field_new!(Fq, "121");
 62
 63/// MUL_BY_A_C1 = NONRESIDUE * COEFF_A
 64///             = 11 * 11
 65///             = 121
 66#[rustfmt::skip]
 67pub const MUL_BY_A_C1: Fq = field_new!(Fq, "121");
 68
 69/// MUL_BY_A_C2 = COEFF_A
 70pub const MUL_BY_A_C2: Fq = g1::Parameters::COEFF_A;
 71
 72impl SWModelParameters for Parameters {
 73    const COEFF_A: Fq3 = crate::Parameters::TWIST_COEFF_A;
 74    // B coefficient of MNT6-753 G2 =
 75    // ```
 76    // mnt6753_twist_coeff_b = mnt6753_Fq3(mnt6753_G1::coeff_b * mnt6753_Fq3::non_residue,
 77    //                                  mnt6753_Fq::zero(), mnt6753_Fq::zero());
 78    // non_residue = mnt6753_Fq3::non_residue = mnt6753_Fq("11");
 79    //  = (G1_B_COEFF * NON_RESIDUE, ZERO, ZERO);
 80    //  =
 81    //  (2189526091197672465268098090392210500740714959757583916377481826443393499947557697773546040576162515434508768057245887856591913752342600919117433675080691499697020523783784738694360040853591723916201150207746019687604267190251,
 82    //  0, 0)
 83    // ```
 84    #[rustfmt::skip]
 85    const COEFF_B: Fq3 = field_new!(
 86        Fq3,
 87        field_new!(Fq, "2189526091197672465268098090392210500740714959757583916377481826443393499947557697773546040576162515434508768057245887856591913752342600919117433675080691499697020523783784738694360040853591723916201150207746019687604267190251"),
 88        FQ_ZERO,
 89        FQ_ZERO,
 90    );
 91
 92    /// AFFINE_GENERATOR_COEFFS = (G2_GENERATOR_X, G2_GENERATOR_Y)
 93    const AFFINE_GENERATOR_COEFFS: (Self::BaseField, Self::BaseField) =
 94        (G2_GENERATOR_X, G2_GENERATOR_Y);
 95
 96    #[inline(always)]
 97    fn mul_by_a(elt: &Fq3) -> Fq3 {
 98        field_new!(
 99            Fq3,
100            MUL_BY_A_C0 * &elt.c1,
101            MUL_BY_A_C1 * &elt.c2,
102            MUL_BY_A_C2 * &elt.c0,
103        )
104    }
105}
106
107const G2_GENERATOR_X: Fq3 =
108    field_new!(Fq3, G2_GENERATOR_X_C0, G2_GENERATOR_X_C1, G2_GENERATOR_X_C2);
109const G2_GENERATOR_Y: Fq3 =
110    field_new!(Fq3, G2_GENERATOR_Y_C0, G2_GENERATOR_Y_C1, G2_GENERATOR_Y_C2);
111
112// Generator of G2
113// These are three Fq elements each because X and Y (and Z) are elements of Fq^3
114// X = 27250797394340459586637772414334383652934225310678303542554641987990991970766156209996739240400887081904395745019996048910447071686918567661896491214767494514394154061111870331668445455228882471000120574964265209669155206168252,
115// 35762481056967998715733586393399457882827322353696313323665483142561285210083843314423554450886956650265947502285422529615273790981238406393402603210224104850580302463396274854098657541573494421834514772635884262388058080180368,
116// 36955296703808958167583270646821654948157955258947892285629161090141878438357164213613114995903637211606408001037026832604054121847388692538440756596264746452765613740820430501353237866984394057660379098674983614861254438847846,
117// Y = 2540920530670785421282147216459500299597350984927286541981768941513322907384197363939300669100157141915897390694710534916701460991329498878429407641200901974650893207493883271892985923686300670742888673128384350189165542294615,
118// 7768974215205248225654340523113146529854477025417883273460270519532499370133542215655437897583245920162220909271982265882784840026754554720358946490360213245668334549692889019612343620295335698052097726325099648573158597797497,
119// 21014872727619291834131369222699267167761185012487859171850226473555446863681002782100371394603357586906967186931035615146288030444598977758226767063525819170917389755555854704165900869058188909090444447822088242504281789869689,
120pub const G2_GENERATOR_X_C0: Fq = field_new!(Fq, "27250797394340459586637772414334383652934225310678303542554641987990991970766156209996739240400887081904395745019996048910447071686918567661896491214767494514394154061111870331668445455228882471000120574964265209669155206168252");
121pub const G2_GENERATOR_X_C1: Fq = field_new!(Fq, "35762481056967998715733586393399457882827322353696313323665483142561285210083843314423554450886956650265947502285422529615273790981238406393402603210224104850580302463396274854098657541573494421834514772635884262388058080180368");
122pub const G2_GENERATOR_X_C2: Fq = field_new!(Fq, "36955296703808958167583270646821654948157955258947892285629161090141878438357164213613114995903637211606408001037026832604054121847388692538440756596264746452765613740820430501353237866984394057660379098674983614861254438847846");
123
124pub const G2_GENERATOR_Y_C0: Fq = field_new!(Fq, "2540920530670785421282147216459500299597350984927286541981768941513322907384197363939300669100157141915897390694710534916701460991329498878429407641200901974650893207493883271892985923686300670742888673128384350189165542294615");
125pub const G2_GENERATOR_Y_C1: Fq = field_new!(Fq, "7768974215205248225654340523113146529854477025417883273460270519532499370133542215655437897583245920162220909271982265882784840026754554720358946490360213245668334549692889019612343620295335698052097726325099648573158597797497");
126pub const G2_GENERATOR_Y_C2: Fq = field_new!(Fq, "21014872727619291834131369222699267167761185012487859171850226473555446863681002782100371394603357586906967186931035615146288030444598977758226767063525819170917389755555854704165900869058188909090444447822088242504281789869689");