Trait ark_test_curves::Fp4Config
source · pub trait Fp4Config: 'static + Send + Sync {
type Fp2Config: Fp2Config;
const NONRESIDUE: QuadExtField<Fp2ConfigWrapper<Self::Fp2Config>>;
const FROBENIUS_COEFF_FP4_C1: &'static [<Self::Fp2Config as Fp2Config>::Fp];
// Provided method
fn mul_fp2_by_nonresidue_in_place(
fe: &mut QuadExtField<Fp2ConfigWrapper<Self::Fp2Config>>
) -> &mut QuadExtField<Fp2ConfigWrapper<Self::Fp2Config>> { ... }
}
Required Associated Types§
Required Associated Constants§
sourceconst NONRESIDUE: QuadExtField<Fp2ConfigWrapper<Self::Fp2Config>>
const NONRESIDUE: QuadExtField<Fp2ConfigWrapper<Self::Fp2Config>>
This must equal (0, 1); see [DESD06, Section 5.1].
sourceconst FROBENIUS_COEFF_FP4_C1: &'static [<Self::Fp2Config as Fp2Config>::Fp]
const FROBENIUS_COEFF_FP4_C1: &'static [<Self::Fp2Config as Fp2Config>::Fp]
Coefficients for the Frobenius automorphism. non_residue^((modulus^i-1)/4) for i=0,1,2,3