Trait ark_test_curves::fields::models::Fp6Config
source · pub trait Fp6Config: 'static + Send + Sync + Copy {
type Fp2Config: Fp2Config;
const NONRESIDUE: QuadExtField<Fp2ConfigWrapper<Self::Fp2Config>>;
const FROBENIUS_COEFF_FP6_C1: &'static [QuadExtField<Fp2ConfigWrapper<Self::Fp2Config>>];
const FROBENIUS_COEFF_FP6_C2: &'static [QuadExtField<Fp2ConfigWrapper<Self::Fp2Config>>];
const SQRT_PRECOMP: Option<SqrtPrecomputation<CubicExtField<Fp6ConfigWrapper<Self>>>> = None;
// Provided methods
fn mul_fp2_by_nonresidue_in_place(
fe: &mut QuadExtField<Fp2ConfigWrapper<Self::Fp2Config>>
) -> &mut QuadExtField<Fp2ConfigWrapper<Self::Fp2Config>> { ... }
fn mul_fp2_by_nonresidue(
fe: QuadExtField<Fp2ConfigWrapper<Self::Fp2Config>>
) -> QuadExtField<Fp2ConfigWrapper<Self::Fp2Config>> { ... }
}
Required Associated Types§
Required Associated Constants§
const NONRESIDUE: QuadExtField<Fp2ConfigWrapper<Self::Fp2Config>>
sourceconst FROBENIUS_COEFF_FP6_C1: &'static [QuadExtField<Fp2ConfigWrapper<Self::Fp2Config>>]
const FROBENIUS_COEFF_FP6_C1: &'static [QuadExtField<Fp2ConfigWrapper<Self::Fp2Config>>]
Coefficients for the Frobenius automorphism.
const FROBENIUS_COEFF_FP6_C2: &'static [QuadExtField<Fp2ConfigWrapper<Self::Fp2Config>>]
Provided Associated Constants§
sourceconst SQRT_PRECOMP: Option<SqrtPrecomputation<CubicExtField<Fp6ConfigWrapper<Self>>>> = None
const SQRT_PRECOMP: Option<SqrtPrecomputation<CubicExtField<Fp6ConfigWrapper<Self>>>> = None
Determines the algorithm for computing square roots.