Trait ark_ff::fields::models::fp12_2over3over2::Fp12Parameters

pub trait Fp12Parameters: 'static + Send + Sync + Copy {
    type Fp6Params: Fp6Parameters;

    const NONRESIDUE: Fp6<Self::Fp6Params>;
    const FROBENIUS_COEFF_FP12_C1: &'static [Fp2<<<Self as Fp12Parameters>::Fp6Params as Fp6Parameters>::Fp2Params>];
    fn mul_fp6_by_nonresidue(fe: &Fp6<Self::Fp6Params>) -> Fp6<Self::Fp6Params> { ... }
}

Associated Types

type Fp6Params: Fp6Parameters

Associated Constants

const NONRESIDUE: Fp6<Self::Fp6Params>

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

const FROBENIUS_COEFF_FP12_C1: &'static [Fp2<<<Self as Fp12Parameters>::Fp6Params as Fp6Parameters>::Fp2Params>]

Coefficients for the Frobenius automorphism.

Provided methods

fn mul_fp6_by_nonresidue(fe: &Fp6<Self::Fp6Params>) -> Fp6<Self::Fp6Params>

Multiply by quadratic nonresidue v.

Implementors