Struct ark_test_curves::Fp12ConfigWrapper
source · pub struct Fp12ConfigWrapper<P>(_)
where
P: Fp12Config;
Trait Implementations§
source§impl<P> QuadExtConfig for Fp12ConfigWrapper<P>where
P: Fp12Config,
impl<P> QuadExtConfig for Fp12ConfigWrapper<P>where P: Fp12Config,
§type BasePrimeField = <<<P as Fp12Config>::Fp6Config as Fp6Config>::Fp2Config as Fp2Config>::Fp
type BasePrimeField = <<<P as Fp12Config>::Fp6Config as Fp6Config>::Fp2Config as Fp2Config>::Fp
The prime field that this quadratic extension is eventually an extension of.
§type BaseField = CubicExtField<Fp6ConfigWrapper<<P as Fp12Config>::Fp6Config>>
type BaseField = CubicExtField<Fp6ConfigWrapper<<P as Fp12Config>::Fp6Config>>
The base field that this field is a quadratic extension of. Read more
§type FrobCoeff = QuadExtField<Fp2ConfigWrapper<<<P as Fp12Config>::Fp6Config as Fp6Config>::Fp2Config>>
type FrobCoeff = QuadExtField<Fp2ConfigWrapper<<<P as Fp12Config>::Fp6Config as Fp6Config>::Fp2Config>>
The type of the coefficients for an efficient implemntation of the
Frobenius endomorphism.
source§const DEGREE_OVER_BASE_PRIME_FIELD: usize = 12usize
const DEGREE_OVER_BASE_PRIME_FIELD: usize = 12usize
The degree of the extension over the base prime field.
source§const NONRESIDUE: <Fp12ConfigWrapper<P> as QuadExtConfig>::BaseField = P::NONRESIDUE
const NONRESIDUE: <Fp12ConfigWrapper<P> as QuadExtConfig>::BaseField = P::NONRESIDUE
The quadratic non-residue used to construct the extension.
source§const FROBENIUS_COEFF_C1: &'static [<Fp12ConfigWrapper<P> as QuadExtConfig>::FrobCoeff] = P::FROBENIUS_COEFF_FP12_C1
const FROBENIUS_COEFF_C1: &'static [<Fp12ConfigWrapper<P> as QuadExtConfig>::FrobCoeff] = P::FROBENIUS_COEFF_FP12_C1
Coefficients for the Frobenius automorphism.
source§fn mul_base_field_by_nonresidue_in_place(
fe: &mut <Fp12ConfigWrapper<P> as QuadExtConfig>::BaseField
) -> &mut <Fp12ConfigWrapper<P> as QuadExtConfig>::BaseField
fn mul_base_field_by_nonresidue_in_place( fe: &mut <Fp12ConfigWrapper<P> as QuadExtConfig>::BaseField ) -> &mut <Fp12ConfigWrapper<P> as QuadExtConfig>::BaseField
A specializable method for multiplying an element of the base field by
the quadratic non-residue. This is used in Karatsuba multiplication
and in complex squaring.
source§fn mul_base_field_by_frob_coeff(
fe: &mut <Fp12ConfigWrapper<P> as QuadExtConfig>::BaseField,
power: usize
)
fn mul_base_field_by_frob_coeff( fe: &mut <Fp12ConfigWrapper<P> as QuadExtConfig>::BaseField, power: usize )
A specializable method for multiplying an element of the base field by
the appropriate Frobenius coefficient.
source§fn mul_base_field_by_nonresidue_and_add(
y: &mut Self::BaseField,
x: &Self::BaseField
)
fn mul_base_field_by_nonresidue_and_add( y: &mut Self::BaseField, x: &Self::BaseField )
A specializable method for setting
y = x + NONRESIDUE * y
.
This allows for optimizations when the non-residue is
canonically negative in the field.source§fn mul_base_field_by_nonresidue_plus_one_and_add(
y: &mut Self::BaseField,
x: &Self::BaseField
)
fn mul_base_field_by_nonresidue_plus_one_and_add( y: &mut Self::BaseField, x: &Self::BaseField )
A specializable method for computing x + mul_base_field_by_nonresidue(y) + y
This allows for optimizations when the non-residue is not -1.
source§fn sub_and_mul_base_field_by_nonresidue(
y: &mut Self::BaseField,
x: &Self::BaseField
)
fn sub_and_mul_base_field_by_nonresidue( y: &mut Self::BaseField, x: &Self::BaseField )
A specializable method for computing x - mul_base_field_by_nonresidue(y)
This allows for optimizations when the non-residue is
canonically negative in the field.