Struct ark_mnt4_298::Fq2Config
source · pub struct Fq2Config;
Trait Implementations§
source§impl Fp2Config for Fq2Config
impl Fp2Config for Fq2Config
source§const NONRESIDUE: Fq = _
const NONRESIDUE: Fq = _
The quadratic non-residue (17) used to construct the extension is
the same as that used in libff
.
source§const FROBENIUS_COEFF_FP2_C1: &'static [Self::Fp] = _
const FROBENIUS_COEFF_FP2_C1: &'static [Self::Fp] = _
Precomputed coefficients:
[1, 475922286169261325753349249653048451545124879242694725395555128576210262817955800483758080]
§type Fp = Fp<MontBackend<FqConfig, 5>, 5>
type Fp = Fp<MontBackend<FqConfig, 5>, 5>
Base prime field underlying this extension.
source§fn mul_fp_by_nonresidue_in_place(fe: &mut Self::Fp) -> &mut Self::Fp
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 multiplicationsource§fn mul_fp_by_nonresidue_and_add(y: &mut Self::Fp, x: &Self::Fp)
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.source§fn mul_fp_by_nonresidue_plus_one_and_add(y: &mut Self::Fp, x: &Self::Fp)
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.
source§fn sub_and_mul_fp_by_nonresidue(y: &mut Self::Fp, x: &Self::Fp)
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.