1use ark_ec::{
  2    mnt6,
  3    mnt6::MNT6Parameters,
  4    models::{short_weierstrass::SWCurveConfig, CurveConfig},
  5};
  6use ark_ff::{Field, MontFp};
  7
  8use crate::{g1, Fq, Fq3, Fr};
  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 CurveConfig 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    const COFACTOR_INV: Fr = MontFp!("6983081827986492233724035798540106188028451653325658178630583820170892135428517795509815627298389820236345161981341515817589065927929152555581161598204976128690232061758269440757592419606754539638220064054062394397574161203200");
 54}
 55
 56/// MUL_BY_A_C0 = NONRESIDUE * COEFF_A
 57///             = 11 * 11
 58///             = 121
 59pub const MUL_BY_A_C0: Fq = MontFp!("121");
 60
 61/// MUL_BY_A_C1 = NONRESIDUE * COEFF_A
 62///             = 11 * 11
 63///             = 121
 64pub const MUL_BY_A_C1: Fq = MontFp!("121");
 65
 66/// MUL_BY_A_C2 = COEFF_A
 67pub const MUL_BY_A_C2: Fq = g1::Parameters::COEFF_A;
 68
 69impl SWCurveConfig for Parameters {
 70    const COEFF_A: Fq3 = crate::Parameters::TWIST_COEFF_A;
 71    // B coefficient of MNT6-753 G2 =
 72    // ```
 73    // mnt6753_twist_coeff_b = mnt6753_Fq3(mnt6753_G1::coeff_b * mnt6753_Fq3::non_residue,
 74    //                                  mnt6753_Fq::zero(), mnt6753_Fq::zero());
 75    // non_residue = mnt6753_Fq3::non_residue = mnt6753_Fq("11");
 76    //  = (G1_B_COEFF * NON_RESIDUE, ZERO, ZERO);
 77    //  =
 78    //  (2189526091197672465268098090392210500740714959757583916377481826443393499947557697773546040576162515434508768057245887856591913752342600919117433675080691499697020523783784738694360040853591723916201150207746019687604267190251,
 79    //  0, 0)
 80    // ```
 81    const COEFF_B: Fq3 = Fq3::new(
 82        MontFp!("2189526091197672465268098090392210500740714959757583916377481826443393499947557697773546040576162515434508768057245887856591913752342600919117433675080691499697020523783784738694360040853591723916201150207746019687604267190251"),
 83        Fq::ZERO,
 84        Fq::ZERO,
 85    );
 86
 87    /// AFFINE_GENERATOR_COEFFS = (G2_GENERATOR_X, G2_GENERATOR_Y)
 88    const GENERATOR: G2Affine = G2Affine::new_unchecked(G2_GENERATOR_X, G2_GENERATOR_Y);
 89
 90    #[inline(always)]
 91    fn mul_by_a(elt: Fq3) -> Fq3 {
 92        Fq3::new(
 93            MUL_BY_A_C0 * &elt.c1,
 94            MUL_BY_A_C1 * &elt.c2,
 95            MUL_BY_A_C2 * &elt.c0,
 96        )
 97    }
 98}
 99
100const G2_GENERATOR_X: Fq3 = Fq3::new(G2_GENERATOR_X_C0, G2_GENERATOR_X_C1, G2_GENERATOR_X_C2);
101const G2_GENERATOR_Y: Fq3 = Fq3::new(G2_GENERATOR_Y_C0, G2_GENERATOR_Y_C1, G2_GENERATOR_Y_C2);
102
103// Generator of G2
104// These are three Fq elements each because X and Y (and Z) are elements of Fq^3
105// X = 27250797394340459586637772414334383652934225310678303542554641987990991970766156209996739240400887081904395745019996048910447071686918567661896491214767494514394154061111870331668445455228882471000120574964265209669155206168252,
106// 35762481056967998715733586393399457882827322353696313323665483142561285210083843314423554450886956650265947502285422529615273790981238406393402603210224104850580302463396274854098657541573494421834514772635884262388058080180368,
107// 36955296703808958167583270646821654948157955258947892285629161090141878438357164213613114995903637211606408001037026832604054121847388692538440756596264746452765613740820430501353237866984394057660379098674983614861254438847846,
108// Y = 2540920530670785421282147216459500299597350984927286541981768941513322907384197363939300669100157141915897390694710534916701460991329498878429407641200901974650893207493883271892985923686300670742888673128384350189165542294615,
109// 7768974215205248225654340523113146529854477025417883273460270519532499370133542215655437897583245920162220909271982265882784840026754554720358946490360213245668334549692889019612343620295335698052097726325099648573158597797497,
110// 21014872727619291834131369222699267167761185012487859171850226473555446863681002782100371394603357586906967186931035615146288030444598977758226767063525819170917389755555854704165900869058188909090444447822088242504281789869689,
111pub const G2_GENERATOR_X_C0: Fq = MontFp!("27250797394340459586637772414334383652934225310678303542554641987990991970766156209996739240400887081904395745019996048910447071686918567661896491214767494514394154061111870331668445455228882471000120574964265209669155206168252");
112pub const G2_GENERATOR_X_C1: Fq = MontFp!("35762481056967998715733586393399457882827322353696313323665483142561285210083843314423554450886956650265947502285422529615273790981238406393402603210224104850580302463396274854098657541573494421834514772635884262388058080180368");
113pub const G2_GENERATOR_X_C2: Fq = MontFp!("36955296703808958167583270646821654948157955258947892285629161090141878438357164213613114995903637211606408001037026832604054121847388692538440756596264746452765613740820430501353237866984394057660379098674983614861254438847846");
114
115pub const G2_GENERATOR_Y_C0: Fq = MontFp!("2540920530670785421282147216459500299597350984927286541981768941513322907384197363939300669100157141915897390694710534916701460991329498878429407641200901974650893207493883271892985923686300670742888673128384350189165542294615");
116pub const G2_GENERATOR_Y_C1: Fq = MontFp!("7768974215205248225654340523113146529854477025417883273460270519532499370133542215655437897583245920162220909271982265882784840026754554720358946490360213245668334549692889019612343620295335698052097726325099648573158597797497");
117pub const G2_GENERATOR_Y_C2: Fq = MontFp!("21014872727619291834131369222699267167761185012487859171850226473555446863681002782100371394603357586906967186931035615146288030444598977758226767063525819170917389755555854704165900869058188909090444447822088242504281789869689");