Trait ark_ff::fields::models::fp2::Fp2Parameters

pub trait Fp2Parameters: 'static + Send + Sync {
    type Fp: PrimeField;

    const NONRESIDUE: Self::Fp;
    const QUADRATIC_NONRESIDUE: (Self::Fp, Self::Fp);
    const FROBENIUS_COEFF_FP2_C1: &'static [Self::Fp];
    fn mul_fp_by_nonresidue(fe: &Self::Fp) -> Self::Fp { ... }
    fn add_and_mul_fp_by_nonresidue(x: &Self::Fp, y: &Self::Fp) -> Self::Fp { ... }
    fn add_and_mul_fp_by_nonresidue_plus_one(
        x: &Self::Fp, 
        y: &Self::Fp
    ) -> Self::Fp { ... }
    fn sub_and_mul_fp_by_nonresidue(x: &Self::Fp, y: &Self::Fp) -> Self::Fp { ... }
}

Associated Types

type Fp: PrimeField

Associated Constants

const NONRESIDUE: Self::Fp

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

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

Coefficients for the Frobenius automorphism.

Provided methods

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.

Implementors