Trait ark_ff::fields::models::fp3::Fp3Parameters

pub trait Fp3Parameters: 'static + Send + Sync {
    type Fp: PrimeField + SquareRootField;

    const NONRESIDUE: Self::Fp;
    const FROBENIUS_COEFF_FP3_C1: &'static [Self::Fp];
    const FROBENIUS_COEFF_FP3_C2: &'static [Self::Fp];
    const TWO_ADICITY: u32;
    const T_MINUS_ONE_DIV_TWO: &'static [u64];
    const QUADRATIC_NONRESIDUE_TO_T: (Self::Fp, Self::Fp, Self::Fp);
    fn mul_fp_by_nonresidue(fe: &Self::Fp) -> Self::Fp { ... }
}

Associated Types

type Fp: PrimeField + SquareRootField

Associated Constants

const NONRESIDUE: Self::Fp

const FROBENIUS_COEFF_FP3_C1: &'static [Self::Fp]

const FROBENIUS_COEFF_FP3_C2: &'static [Self::Fp]

const TWO_ADICITY: u32

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

const T_MINUS_ONE_DIV_TWO: &'static [u64]

const QUADRATIC_NONRESIDUE_TO_T: (Self::Fp, Self::Fp, Self::Fp)

t-th power of a quadratic nonresidue in Fp3.

Provided methods

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

Implementors