use ark_ff::{ fields::fp6_2over3::{Fp6, Fp6Config}, AdditiveGroup, Field, MontFp, }; use crate::{Fq, Fq3, Fq3Config}; pub type Fq6 = Fp6; pub struct Fq6Config; impl Fp6Config for Fq6Config { type Fp3Config = Fq3Config; /// NONRESIDUE = (0, 1, 0) const NONRESIDUE: Fq3 = Fq3::new(Fq::ZERO, Fq::ONE, Fq::ZERO); const FROBENIUS_COEFF_FP6_C1: &'static [Fq] = &[ Fq::ONE, MontFp!("451452499708746243421442696394275804592767119751118962106882058158528025766103643615697202253207413006991058800455542766924935899310685166148099708594514571753800103096705086912881023032622324847956780035251378028187894066092550171"), MontFp!("451452499708746243421442696394275804592767119751118962106882058158528025766103643615697202253207413006991058800455542766924935899310685166148099708594514571753800103096705086912881023032622324847956780035251378028187894066092550170"), MontFp!("-1"), MontFp!("45145249970874624351989341074938425649635187579061891330552522940808608853609996870081473355016347159316471246898921838485114512270394210846704144343327596979902763990851861938135223607962336094530115195266656782121333243874349260"), MontFp!("45145249970874624351989341074938425649635187579061891330552522940808608853609996870081473355016347159316471246898921838485114512270394210846704144343327596979902763990851861938135223607962336094530115195266656782121333243874349261"), ]; }