Trait Fp4Config

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 Constants

const NONRESIDUE: QuadExtField<Fp2ConfigWrapper<Self::Fp2Config>>

This must equal (0, 1); see [DESD06, Section 5.1].

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

Required Associated Types

type Fp2Config: Fp2Config

Provided Methods

fn mul_fp2_by_nonresidue_in_place( fe: &mut QuadExtField<Fp2ConfigWrapper<Self::Fp2Config>>, ) -> &mut QuadExtField<Fp2ConfigWrapper<Self::Fp2Config>>

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors