Trait ark_ff::fields::models::fp2::Fp2Parameters [−][src]
Associated Types
type Fp: PrimeField
[src]
Associated Constants
const NONRESIDUE: Self::Fp
[src]
const QUADRATIC_NONRESIDUE: (Self::Fp, Self::Fp)
[src]
const FROBENIUS_COEFF_FP2_C1: &'static [Self::Fp]
[src]
Coefficients for the Frobenius automorphism.
Provided methods
fn mul_fp_by_nonresidue(fe: &Self::Fp) -> Self::Fp
[src]
Return fe * Self::NONRESIDUE
.
fn add_and_mul_fp_by_nonresidue(x: &Self::Fp, y: &Self::Fp) -> Self::Fp
[src]
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
[src]
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
[src]
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.