Trait snarkvm_wasm::Fp2Parameters[−][src]

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

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

Associated Types

type Fp: PrimeField[src]

Loading content...

Associated Constants

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

Coefficients for the Frobenius automorphism.

pub const NONRESIDUE: Self::Fp[src]

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

Loading content...

Provided methods

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

Loading content...

Implementors

impl Fp2Parameters for Fq2Parameters[src]

type Fp = Fp384<FqParameters>

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

Loading content...