use crate::{Fq, Fr}; use ark_ec::{ models::{ModelParameters, SWModelParameters}, short_weierstrass_jacobian::{GroupAffine, GroupProjective}, }; use ark_ff::field_new; pub type G2Affine = GroupAffine; pub type G2Projective = GroupProjective; #[derive(Clone, Default, PartialEq, Eq)] pub struct Parameters; impl ModelParameters for Parameters { type BaseField = Fq; type ScalarField = Fr; } impl SWModelParameters for Parameters { /// COEFF_A = 0 #[rustfmt::skip] const COEFF_A: Fq = field_new!(Fq, "0"); /// COEFF_B = 4 #[rustfmt::skip] const COEFF_B: Fq = field_new!(Fq, "4"); /// COFACTOR = /// 26642435879335816683987677701488073867751118270052650655942102502312977592501693353047140953112195348280268661194869 #[rustfmt::skip] const COFACTOR: &'static [u64] = &[ 0x3de5800000000075, 0x832ba4061000003b, 0xc61c554757551c0c, 0xc856a0853c9db94c, 0x2c77d5ac34cb12ef, 0xad1972339049ce76, ]; /// COFACTOR^(-1) mod r = /// 214911522365886453591244899095480747723790054550866810551297776298664428889000553861210287833206024638187939842124 #[rustfmt::skip] const COFACTOR_INV: Fr = field_new!(Fr, "214911522365886453591244899095480747723790054550866810551297776298664428889000553861210287833206024638187939842124"); /// AFFINE_GENERATOR_COEFFS = (G2_GENERATOR_X, G2_GENERATOR_Y) const AFFINE_GENERATOR_COEFFS: (Self::BaseField, Self::BaseField) = (G2_GENERATOR_X, G2_GENERATOR_Y); #[inline(always)] fn mul_by_a(_elem: &Self::BaseField) -> Self::BaseField { use ark_ff::Zero; Self::BaseField::zero() } } /// G2_GENERATOR_X = /// 6445332910596979336035888152774071626898886139774101364933948236926875073754470830732273879639675437155036544153105017729592600560631678554299562762294743927912429096636156401171909259073181112518725201388196280039960074422214428 #[rustfmt::skip] pub const G2_GENERATOR_X: Fq = field_new!(Fq, "6445332910596979336035888152774071626898886139774101364933948236926875073754470830732273879639675437155036544153105017729592600560631678554299562762294743927912429096636156401171909259073181112518725201388196280039960074422214428"); /// G2_GENERATOR_Y = /// 562923658089539719386922163444547387757586534741080263946953401595155211934630598999300396317104182598044793758153214972605680357108252243146746187917218885078195819486220416605630144001533548163105316661692978285266378674355041 #[rustfmt::skip] pub const G2_GENERATOR_Y: Fq = field_new!(Fq, "562923658089539719386922163444547387757586534741080263946953401595155211934630598999300396317104182598044793758153214972605680357108252243146746187917218885078195819486220416605630144001533548163105316661692978285266378674355041");