Trait Fp2Parameters

pub trait Fp2Parameters:
    'static
    + Copy
    + Clone
    + Default
    + Debug
    + PartialEq
    + Eq
    + Hash
    + Serialize
    + for<'a> Deserialize<'a>
    + Send
    + Sync {
    type Fp: PrimeField;

    const FROBENIUS_COEFF_FP2_C1: [Self::Fp; 2];
    const NONRESIDUE: Self::Fp;
    const QUADRATIC_NONRESIDUE: (Self::Fp, Self::Fp);

    // Provided method
    fn mul_fp_by_nonresidue(fe: &Self::Fp) -> Self::Fp { ... }
}

Required Associated Constants

const FROBENIUS_COEFF_FP2_C1: [Self::Fp; 2]

Coefficients for the Frobenius automorphism.

const NONRESIDUE: Self::Fp

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

Required Associated Types

type Fp: PrimeField

Provided Methods

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

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementations on Foreign Types

impl Fp2Parameters for Fq2Parameters

const FROBENIUS_COEFF_FP2_C1: [Fp384<FqParameters>; 2]

Coefficients for the Frobenius automorphism.

const NONRESIDUE: Fp384<FqParameters>

NONRESIDUE = -5

const QUADRATIC_NONRESIDUE: (Fp384<FqParameters>, Fp384<FqParameters>)

QUADRATIC_NONRESIDUE = U

type Fp = Fp384<FqParameters>

fn mul_fp_by_nonresidue( fe: &<Fq2Parameters as Fp2Parameters>::Fp, ) -> <Fq2Parameters as Fp2Parameters>::Fp

Implementors