Trait CubicExtConfig

pub trait CubicExtConfig:
    Sized
    + 'static
    + Send
    + Sync {
    type BasePrimeField: PrimeField;
    type BaseField: Field<BasePrimeField = Self::BasePrimeField>;
    type FrobCoeff: Field;

    const SQRT_PRECOMP: Option<SqrtPrecomputation<CubicExtField<Self>>>;
    const DEGREE_OVER_BASE_PRIME_FIELD: usize;
    const NONRESIDUE: Self::BaseField;
    const FROBENIUS_COEFF_C1: &'static [Self::FrobCoeff];
    const FROBENIUS_COEFF_C2: &'static [Self::FrobCoeff];

    // Required method
    fn mul_base_field_by_frob_coeff(
        c1: &mut Self::BaseField,
        c2: &mut Self::BaseField,
        power: usize,
    );

    // Provided methods
    fn mul_base_field_by_nonresidue_in_place(
        fe: &mut Self::BaseField,
    ) -> &mut Self::BaseField { ... }
    fn mul_base_field_by_nonresidue(fe: Self::BaseField) -> Self::BaseField { ... }
}

Defines a Cubic extension field from a cubic non-residue.

Required Associated Constants

const SQRT_PRECOMP: Option<SqrtPrecomputation<CubicExtField<Self>>>

Determines the algorithm for computing square roots.

const DEGREE_OVER_BASE_PRIME_FIELD: usize

The degree of the extension over the base prime field.

const NONRESIDUE: Self::BaseField

The cubic non-residue used to construct the extension.

const FROBENIUS_COEFF_C1: &'static [Self::FrobCoeff]

Coefficients for the Frobenius automorphism.

const FROBENIUS_COEFF_C2: &'static [Self::FrobCoeff]

Required Associated Types

type BasePrimeField: PrimeField

The prime field that this cubic extension is eventually an extension of.

type BaseField: Field<BasePrimeField = Self::BasePrimeField>

The base field that this field is a cubic extension of.

Note: while for simple instances of cubic extensions such as Fp3 we might see BaseField == BasePrimeField, it won’t always hold true. E.g. for an extension tower: BasePrimeField == Fp, but BaseField == Fp2.

type FrobCoeff: Field

The type of the coefficients for an efficient implementation of the Frobenius endomorphism.

Required Methods

fn mul_base_field_by_frob_coeff( c1: &mut Self::BaseField, c2: &mut Self::BaseField, power: usize, )

A specializable method for multiplying an element of the base field by the appropriate Frobenius coefficient.

Provided Methods

fn mul_base_field_by_nonresidue_in_place( fe: &mut Self::BaseField, ) -> &mut Self::BaseField

A specializable method for multiplying an element of the base field by the quadratic non-residue. This is used in multiplication and squaring.

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.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

impl<P> CubicExtConfig for Fp3ConfigWrapper<P>

where P: Fp3Config,

const DEGREE_OVER_BASE_PRIME_FIELD: usize = 3usize

const NONRESIDUE: <Fp3ConfigWrapper<P> as CubicExtConfig>::BaseField = P::NONRESIDUE

const SQRT_PRECOMP: Option<SqrtPrecomputation<CubicExtField<Fp3ConfigWrapper<P>>>> = _

const FROBENIUS_COEFF_C1: &'static [<Fp3ConfigWrapper<P> as CubicExtConfig>::FrobCoeff] = P::FROBENIUS_COEFF_FP3_C1

const FROBENIUS_COEFF_C2: &'static [<Fp3ConfigWrapper<P> as CubicExtConfig>::FrobCoeff] = P::FROBENIUS_COEFF_FP3_C2

type BasePrimeField = <P as Fp3Config>::Fp

type BaseField = <P as Fp3Config>::Fp

type FrobCoeff = <P as Fp3Config>::Fp

impl<P> CubicExtConfig for Fp6ConfigWrapper<P>

where P: Fp6Config,

const SQRT_PRECOMP: Option<SqrtPrecomputation<CubicExtField<Fp6ConfigWrapper<P>>>> = P::SQRT_PRECOMP

const DEGREE_OVER_BASE_PRIME_FIELD: usize = 6usize

const NONRESIDUE: <Fp6ConfigWrapper<P> as CubicExtConfig>::BaseField = P::NONRESIDUE

const FROBENIUS_COEFF_C1: &'static [<Fp6ConfigWrapper<P> as CubicExtConfig>::FrobCoeff] = P::FROBENIUS_COEFF_FP6_C1

const FROBENIUS_COEFF_C2: &'static [<Fp6ConfigWrapper<P> as CubicExtConfig>::FrobCoeff] = P::FROBENIUS_COEFF_FP6_C2

type BasePrimeField = <<P as Fp6Config>::Fp2Config as Fp2Config>::Fp

type BaseField = QuadExtField<Fp2ConfigWrapper<<P as Fp6Config>::Fp2Config>>

type FrobCoeff = QuadExtField<Fp2ConfigWrapper<<P as Fp6Config>::Fp2Config>>