ark_ff::fields::models::fp6_3over2

Trait Fp6Config

Source
pub trait Fp6Config:
    'static
    + Send
    + Sync
    + Copy {
    type Fp2Config: Fp2Config;

    const NONRESIDUE: Fp2<Self::Fp2Config>;
    const FROBENIUS_COEFF_FP6_C1: &'static [Fp2<Self::Fp2Config>];
    const FROBENIUS_COEFF_FP6_C2: &'static [Fp2<Self::Fp2Config>];
    const SQRT_PRECOMP: Option<SqrtPrecomputation<Fp6<Self>>> = None;

    // Provided methods
    fn mul_fp2_by_nonresidue_in_place(
        fe: &mut Fp2<Self::Fp2Config>,
    ) -> &mut Fp2<Self::Fp2Config> { ... }
    fn mul_fp2_by_nonresidue(fe: Fp2<Self::Fp2Config>) -> Fp2<Self::Fp2Config> { ... }
}

Required Associated Constants§

Source

const NONRESIDUE: Fp2<Self::Fp2Config>

Source

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

Coefficients for the Frobenius automorphism.

Source

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

Provided Associated Constants§

Source

const SQRT_PRECOMP: Option<SqrtPrecomputation<Fp6<Self>>> = None

Determines the algorithm for computing square roots.

Required Associated Types§

Provided Methods§

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§