Trait ark_test_curves::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 Types

type Fp6Config: 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.

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.

Implementors