Struct ark_test_curves::Fp3ConfigWrapper
source · pub struct Fp3ConfigWrapper<P>(_)
where
P: Fp3Config;
Expand description
Wrapper for Fp3Config
, allowing combination of the Fp3Config
and CubicExtConfig
traits.
Trait Implementations§
source§impl<P> CubicExtConfig for Fp3ConfigWrapper<P>where
P: Fp3Config,
impl<P> CubicExtConfig for Fp3ConfigWrapper<P>where P: Fp3Config,
§type BasePrimeField = <P as Fp3Config>::Fp
type BasePrimeField = <P as Fp3Config>::Fp
The prime field that this cubic extension is eventually an extension of.
§type BaseField = <P as Fp3Config>::Fp
type BaseField = <P as Fp3Config>::Fp
The base field that this field is a cubic extension of. Read more
§type FrobCoeff = <P as Fp3Config>::Fp
type FrobCoeff = <P as Fp3Config>::Fp
The type of the coefficients for an efficient implementation of the
Frobenius endomorphism.
source§const DEGREE_OVER_BASE_PRIME_FIELD: usize = 3usize
const DEGREE_OVER_BASE_PRIME_FIELD: usize = 3usize
The degree of the extension over the base prime field.
source§const NONRESIDUE: <Fp3ConfigWrapper<P> as CubicExtConfig>::BaseField = P::NONRESIDUE
const NONRESIDUE: <Fp3ConfigWrapper<P> as CubicExtConfig>::BaseField = P::NONRESIDUE
The cubic non-residue used to construct the extension.
source§const SQRT_PRECOMP: Option<SqrtPrecomputation<CubicExtField<Fp3ConfigWrapper<P>>>> = Some(SqrtPrecomputation::TonelliShanks{
two_adicity: P::TWO_ADICITY,
quadratic_nonresidue_to_trace: P::QUADRATIC_NONRESIDUE_TO_T,
trace_of_modulus_minus_one_div_two: P::TRACE_MINUS_ONE_DIV_TWO,})
const SQRT_PRECOMP: Option<SqrtPrecomputation<CubicExtField<Fp3ConfigWrapper<P>>>> = Some(SqrtPrecomputation::TonelliShanks{ two_adicity: P::TWO_ADICITY, quadratic_nonresidue_to_trace: P::QUADRATIC_NONRESIDUE_TO_T, trace_of_modulus_minus_one_div_two: P::TRACE_MINUS_ONE_DIV_TWO,})
Determines the algorithm for computing square roots.
source§const FROBENIUS_COEFF_C1: &'static [<Fp3ConfigWrapper<P> as CubicExtConfig>::FrobCoeff] = P::FROBENIUS_COEFF_FP3_C1
const FROBENIUS_COEFF_C1: &'static [<Fp3ConfigWrapper<P> as CubicExtConfig>::FrobCoeff] = P::FROBENIUS_COEFF_FP3_C1
Coefficients for the Frobenius automorphism.
const FROBENIUS_COEFF_C2: &'static [<Fp3ConfigWrapper<P> as CubicExtConfig>::FrobCoeff] = P::FROBENIUS_COEFF_FP3_C2
source§fn mul_base_field_by_nonresidue_in_place(
fe: &mut <Fp3ConfigWrapper<P> as CubicExtConfig>::BaseField
) -> &mut <Fp3ConfigWrapper<P> as CubicExtConfig>::BaseField
fn mul_base_field_by_nonresidue_in_place( fe: &mut <Fp3ConfigWrapper<P> as CubicExtConfig>::BaseField ) -> &mut <Fp3ConfigWrapper<P> as CubicExtConfig>::BaseField
A specializable method for multiplying an element of the base field by
the quadratic non-residue. This is used in multiplication and squaring.
source§fn mul_base_field_by_frob_coeff(
c1: &mut <Fp3ConfigWrapper<P> as CubicExtConfig>::BaseField,
c2: &mut <Fp3ConfigWrapper<P> as CubicExtConfig>::BaseField,
power: usize
)
fn mul_base_field_by_frob_coeff( c1: &mut <Fp3ConfigWrapper<P> as CubicExtConfig>::BaseField, c2: &mut <Fp3ConfigWrapper<P> as CubicExtConfig>::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(fe: Self::BaseField) -> Self::BaseField
fn mul_base_field_by_nonresidue(fe: Self::BaseField) -> Self::BaseField
A defaulted method for multiplying an element of the base field by
the quadratic non-residue. This is used in multiplication and squaring.