Struct ark_bls12_381_ext::Fq2Config

pub struct Fq2Config;

Trait Implementations

impl Fp2Config for Fq2Config

const NONRESIDUE: Fp<MontBackend<FqConfig, 6>, 6> = _

NONRESIDUE = -1

const FROBENIUS_COEFF_FP2_C1: &'static [Fp<MontBackend<FqConfig, 6>, 6>] = _

Coefficients for the Frobenius automorphism.

type Fp = Fp<MontBackend<FqConfig, 6>, 6>

Base prime field underlying this extension.

fn mul_fp_by_nonresidue_in_place( fp: &mut <Fq2Config as Fp2Config>::Fp ) -> &mut <Fq2Config as Fp2Config>::Fp

Return fe * Self::NONRESIDUE. Intended for specialization when Self::NONRESIDUE has a special structure that can speed up multiplication

fn sub_and_mul_fp_by_nonresidue( y: &mut <Fq2Config as Fp2Config>::Fp, x: &<Fq2Config as Fp2Config>::Fp )

A specializable method for computing x - mul_fp_by_nonresidue(y) This allows for optimizations when the non-residue is canonically negative in the field.

fn mul_fp_by_nonresidue_plus_one_and_add( y: &mut <Fq2Config as Fp2Config>::Fp, x: &<Fq2Config as Fp2Config>::Fp )

A specializable method for computing x + mul_fp_by_nonresidue(y) + y This allows for optimizations when the non-residue is not -1.

fn mul_fp_by_nonresidue_and_add( y: &mut <Fq2Config as Fp2Config>::Fp, x: &<Fq2Config as Fp2Config>::Fp )

A specializable method for setting y = x + NONRESIDUE * y. This allows for optimizations when the non-residue is canonically negative in the field.