Trait ark_test_curves::Fp12Config
source · pub trait Fp12Config: 'static + Send + Sync + Copy {
type Fp6Config: Fp6Config;
const NONRESIDUE: CubicExtField<Fp6ConfigWrapper<Self::Fp6Config>>;
const FROBENIUS_COEFF_FP12_C1: &'static [QuadExtField<Fp2ConfigWrapper<<Self::Fp6Config as Fp6Config>::Fp2Config>>];
// Provided method
fn mul_fp6_by_nonresidue_in_place(
fe: &mut CubicExtField<Fp6ConfigWrapper<Self::Fp6Config>>
) -> &mut CubicExtField<Fp6ConfigWrapper<Self::Fp6Config>> { ... }
}
Required Associated Types§
Required Associated Constants§
sourceconst NONRESIDUE: CubicExtField<Fp6ConfigWrapper<Self::Fp6Config>>
const NONRESIDUE: CubicExtField<Fp6ConfigWrapper<Self::Fp6Config>>
This must equal (0, 1, 0); see [DESD06, Section 6.1].
sourceconst FROBENIUS_COEFF_FP12_C1: &'static [QuadExtField<Fp2ConfigWrapper<<Self::Fp6Config as Fp6Config>::Fp2Config>>]
const FROBENIUS_COEFF_FP12_C1: &'static [QuadExtField<Fp2ConfigWrapper<<Self::Fp6Config as Fp6Config>::Fp2Config>>]
Coefficients for the Frobenius automorphism.
Provided Methods§
sourcefn mul_fp6_by_nonresidue_in_place(
fe: &mut CubicExtField<Fp6ConfigWrapper<Self::Fp6Config>>
) -> &mut CubicExtField<Fp6ConfigWrapper<Self::Fp6Config>>
fn mul_fp6_by_nonresidue_in_place( fe: &mut CubicExtField<Fp6ConfigWrapper<Self::Fp6Config>> ) -> &mut CubicExtField<Fp6ConfigWrapper<Self::Fp6Config>>
Multiply by quadratic nonresidue v.