Trait Fp12Config

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 Constants

const NONRESIDUE: CubicExtField<Fp6ConfigWrapper<Self::Fp6Config>>

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

const FROBENIUS_COEFF_FP12_C1: &'static [QuadExtField<Fp2ConfigWrapper<<Self::Fp6Config as Fp6Config>::Fp2Config>>]

Coefficients for the Frobenius automorphism.

Required Associated Types

type Fp6Config: Fp6Config

Provided Methods

fn mul_fp6_by_nonresidue_in_place( fe: &mut CubicExtField<Fp6ConfigWrapper<Self::Fp6Config>>, ) -> &mut CubicExtField<Fp6ConfigWrapper<Self::Fp6Config>>

Multiply by quadratic nonresidue v.

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