Struct ark_bls12_381::Fq2Parameters

pub struct Fq2Parameters;

Trait Implementations

impl Fp2Parameters for Fq2Parameters

const NONRESIDUE: Fq

NONRESIDUE = -1

const QUADRATIC_NONRESIDUE: (Fq, Fq)

QUADRATIC_NONRESIDUE = (U + 1)

const FROBENIUS_COEFF_FP2_C1: &'static [Fq]

Coefficients for the Frobenius automorphism.

type Fp = Fq

fn mul_fp_by_nonresidue(fp: &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.