snarkvm_fields

Trait Fp2Parameters

Source
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§

Source

const FROBENIUS_COEFF_FP2_C1: [Self::Fp; 2]

Coefficients for the Frobenius automorphism.

Source

const NONRESIDUE: Self::Fp

Source

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

Required Associated Types§

Provided Methods§

Source

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.

Implementors§