Trait ark_ff::fields::models::fp4::Fp4Parameters

pub trait Fp4Parameters: 'static + Send + Sync {
    type Fp2Params: Fp2Parameters;

    const NONRESIDUE: Fp2<Self::Fp2Params>;
    const FROBENIUS_COEFF_FP4_C1: &'static [<Self::Fp2Params as Fp2Parameters>::Fp];
    fn mul_fp2_by_nonresidue(fe: &Fp2<Self::Fp2Params>) -> Fp2<Self::Fp2Params> { ... }
}

Associated Types

type Fp2Params: Fp2Parameters

Associated Constants

const NONRESIDUE: Fp2<Self::Fp2Params>

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

const FROBENIUS_COEFF_FP4_C1: &'static [<Self::Fp2Params as Fp2Parameters>::Fp]

Coefficients for the Frobenius automorphism. non_residue^((modulus^i-1)/4) for i=0,1,2,3

Provided methods

fn mul_fp2_by_nonresidue(fe: &Fp2<Self::Fp2Params>) -> Fp2<Self::Fp2Params>

Implementors