Struct ark_mnt4_298::Fq2Config

pub struct Fq2Config;

Trait Implementations

impl Fp2Config for Fq2Config

const NONRESIDUE: Fq = _

The quadratic non-residue (17) used to construct the extension is the same as that used in libff.

const FROBENIUS_COEFF_FP2_C1: &'static [Self::Fp] = _

Precomputed coefficients: [1, 475922286169261325753349249653048451545124879242694725395555128576210262817955800483758080]

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

Base prime field underlying this extension.

fn mul_fp_by_nonresidue_in_place(fe: &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 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.

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 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.