Struct ark_mnt6_753::fq3::Fq3Config

pub struct Fq3Config;

Trait Implementations

impl Fp3Config for Fq3Config

const QUADRATIC_NONRESIDUE_TO_T: Fq3 = _

(11^T, 0, 0)

type Fp = Fp<MontBackend<FrConfig, 12>, 12>

Base prime field underlying this extension.

const NONRESIDUE: Fq = _

Cubic non-residue in Self::Fp used to construct the extension field. That is, NONRESIDUE is such that the cubic polynomial f(X) = X^3 - Self::NONRESIDUE in Fp[X] is irreducible in Self::Fp.

const TWO_ADICITY: u32 = 30u32

p^3 - 1 = 2^s * t, where t is odd.

const TRACE_MINUS_ONE_DIV_TWO: &'static [u64] = _

const FROBENIUS_COEFF_FP3_C1: &'static [Fq] = _

const FROBENIUS_COEFF_FP3_C2: &'static [Fq] = _

fn mul_fp_by_nonresidue_in_place(fe: &mut Self::Fp) -> &mut Self::Fp

Return fe * Self::NONRESIDUE. The default implementation can be specialized if Self::NONRESIDUE has a special structure that can speed up multiplication