ark_test_curves

Trait 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 Constants§

Source

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

Source

const FROBENIUS_COEFF_FP6_C1: &'static [QuadExtField<Fp2ConfigWrapper<Self::Fp2Config>>]

Coefficients for the Frobenius automorphism.

Source

const FROBENIUS_COEFF_FP6_C2: &'static [QuadExtField<Fp2ConfigWrapper<Self::Fp2Config>>]

Provided Associated Constants§

Source

const SQRT_PRECOMP: Option<SqrtPrecomputation<CubicExtField<Fp6ConfigWrapper<Self>>>> = None

Determines the algorithm for computing square roots.

Required Associated Types§

Source

type Fp2Config: Fp2Config

Provided Methods§

Source

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

Source

fn mul_fp2_by_nonresidue( fe: QuadExtField<Fp2ConfigWrapper<Self::Fp2Config>>, ) -> 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§