Skip to main content

Fp12Config

Trait Fp12Config 

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

    const NONRESIDUE: Fp6<Self::Fp6Config>;
    const FROBENIUS_COEFF_FP12_C1: &[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: &[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".

Implementors§