Trait snarkvm_fields::Fp2Parameters

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

Loading content...

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)

Loading content...

Provided methods

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

Loading content...

Implementors

Loading content...