Struct ark_mnt4_298::Fq2Parameters

pub struct Fq2Parameters;

Trait Implementations

impl Fp2Parameters for Fq2Parameters

const NONRESIDUE: Fq

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

const QUADRATIC_NONRESIDUE: (Self::Fp, Self::Fp)

The quadratic non-residue in F_p² that is used in the computation of square roots is (8, 1), the same as that in libff

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

Precomputed coefficients: [1, 475922286169261325753349249653048451545124879242694725395555128576210262817955800483758080]

type Fp = Fq

fn mul_fp_by_nonresidue(fe: &Self::Fp) -> Self::Fp

Return fe * Self::NONRESIDUE.

fn add_and_mul_fp_by_nonresidue(x: &Self::Fp, y: &Self::Fp) -> Self::Fp

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

fn add_and_mul_fp_by_nonresidue_plus_one(x: &Self::Fp, y: &Self::Fp) -> Self::Fp

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

fn sub_and_mul_fp_by_nonresidue(x: &Self::Fp, y: &Self::Fp) -> Self::Fp

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