ark_ff::fields::models::fp12_2over3over2

Trait Fp12Config

Source
pub trait Fp12Config:
    'static
    + Send
    + Sync
    + Copy {
    type Fp6Config: Fp6Config;

    const NONRESIDUE: Fp6<Self::Fp6Config>;
    const FROBENIUS_COEFF_FP12_C1: &'static [Fp2<<<Self as Fp12Config>::Fp6Config as Fp6Config>::Fp2Config>];

    // Provided method
    fn mul_fp6_by_nonresidue_in_place(
        fe: &mut Fp6<Self::Fp6Config>,
    ) -> &mut Fp6<Self::Fp6Config> { ... }
}

Required Associated Constants§

Source

const NONRESIDUE: Fp6<Self::Fp6Config>

This must equal (0, 1, 0); see [DESD06, Section 6.1].

Source

const FROBENIUS_COEFF_FP12_C1: &'static [Fp2<<<Self as Fp12Config>::Fp6Config as Fp6Config>::Fp2Config>]

Coefficients for the Frobenius automorphism.

Required Associated Types§

Provided Methods§

Source

fn mul_fp6_by_nonresidue_in_place( fe: &mut Fp6<Self::Fp6Config>, ) -> &mut Fp6<Self::Fp6Config>

Multiply by quadratic nonresidue v.

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§