Trait snarkvm_fields::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 Types

type Fp: PrimeField

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)

Provided Methods

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

Object Safety

This trait is not object safe.

Implementors