Trait ark_ff::fields::models::fp6_3over2::Fp6Config

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 Types

type Fp2Config: Fp2Config

Required Associated Constants

const NONRESIDUE: Fp2<Self::Fp2Config>

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

Coefficients for the Frobenius automorphism.

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

Provided Associated Constants

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

Determines the algorithm for computing square roots.

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>

Implementors