Trait snarkvm_wasm::Fp2Parameters[−][src]

pub trait Fp2Parameters: 'static + Send + Sync + Serialize + for<'a> Deserialize<'a> {
    type Fp: PrimeField;

    const FROBENIUS_COEFF_FP2_C1: [Self::Fp; 2];
    const NONRESIDUE: Self::Fp;
    const QUADRATIC_NONRESIDUE: (Self::Fp, Self::Fp);
    fn mul_fp_by_nonresidue(fe: &Self::Fp) -> Self::Fp { ... }
}

Associated Types

`type Fp: PrimeField`[src]

Associated Constants

`const FROBENIUS_COEFF_FP2_C1: [Self::Fp; 2]`[src]

Coefficients for the Frobenius automorphism.

`const NONRESIDUE: Self::Fp`[src]

`const QUADRATIC_NONRESIDUE: (Self::Fp, Self::Fp)`[src]

Provided methods

`fn mul_fp_by_nonresidue(fe: &Self::Fp) -> Self::Fp`[src]

Implementors

`impl Fp2Parameters for Fq2Parameters`[src]

`pub const FROBENIUS_COEFF_FP2_C1: [Fp384<FqParameters>; 2]`[src]

Coefficients for the Frobenius automorphism.

`pub const NONRESIDUE: Fp384<FqParameters>`[src]

NONRESIDUE = -5

`pub const QUADRATIC_NONRESIDUE: (Fp384<FqParameters>, Fp384<FqParameters>)`[src]

QUADRATIC_NONRESIDUE = U

`type Fp = Fp384<FqParameters>`

`pub fn mul_fp_by_nonresidue( fe: &<Fq2Parameters as Fp2Parameters>::Fp ) -> <Fq2Parameters as Fp2Parameters>::Fp`[src]