Struct ark_test_curves::fields::models::fp6_2over3::Fp6ConfigWrapper
source · pub struct Fp6ConfigWrapper<P>(_)
where
P: Fp6Config;
Trait Implementations§
source§impl<P> QuadExtConfig for Fp6ConfigWrapper<P>where
P: Fp6Config,
impl<P> QuadExtConfig for Fp6ConfigWrapper<P>where P: Fp6Config,
§type BasePrimeField = <<P as Fp6Config>::Fp3Config as Fp3Config>::Fp
type BasePrimeField = <<P as Fp6Config>::Fp3Config as Fp3Config>::Fp
The prime field that this quadratic extension is eventually an extension of.
§type BaseField = CubicExtField<Fp3ConfigWrapper<<P as Fp6Config>::Fp3Config>>
type BaseField = CubicExtField<Fp3ConfigWrapper<<P as Fp6Config>::Fp3Config>>
The base field that this field is a quadratic extension of. Read more
§type FrobCoeff = <Fp6ConfigWrapper<P> as QuadExtConfig>::BasePrimeField
type FrobCoeff = <Fp6ConfigWrapper<P> as QuadExtConfig>::BasePrimeField
The type of the coefficients for an efficient implemntation of the
Frobenius endomorphism.
source§const DEGREE_OVER_BASE_PRIME_FIELD: usize = 6usize
const DEGREE_OVER_BASE_PRIME_FIELD: usize = 6usize
The degree of the extension over the base prime field.
source§const NONRESIDUE: <Fp6ConfigWrapper<P> as QuadExtConfig>::BaseField = P::NONRESIDUE
const NONRESIDUE: <Fp6ConfigWrapper<P> as QuadExtConfig>::BaseField = P::NONRESIDUE
The quadratic non-residue used to construct the extension.
source§const FROBENIUS_COEFF_C1: &'static [<Fp6ConfigWrapper<P> as QuadExtConfig>::FrobCoeff] = P::FROBENIUS_COEFF_FP6_C1
const FROBENIUS_COEFF_C1: &'static [<Fp6ConfigWrapper<P> as QuadExtConfig>::FrobCoeff] = P::FROBENIUS_COEFF_FP6_C1
Coefficients for the Frobenius automorphism.
source§fn mul_base_field_by_nonresidue_in_place(
fe: &mut <Fp6ConfigWrapper<P> as QuadExtConfig>::BaseField
) -> &mut <Fp6ConfigWrapper<P> as QuadExtConfig>::BaseField
fn mul_base_field_by_nonresidue_in_place( fe: &mut <Fp6ConfigWrapper<P> as QuadExtConfig>::BaseField ) -> &mut <Fp6ConfigWrapper<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 <Fp6ConfigWrapper<P> as QuadExtConfig>::BaseField,
power: usize
)
fn mul_base_field_by_frob_coeff( fe: &mut <Fp6ConfigWrapper<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.