Struct ark_bls12_381::fq2::Fq2Config

pub struct Fq2Config;

Trait Implementations

impl Fp2Config for Fq2Config

const NONRESIDUE: Fq = _

NONRESIDUE = -1

const FROBENIUS_COEFF_FP2_C1: &'static [Fq] = _

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 Self::Fp) -> &mut Self::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 Self::Fp, x: &Self::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 Self::Fp, x: &Self::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 Self::Fp, x: &Self::Fp)

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