Trait snarkvm_fields::Fp3Parameters [−][src]
pub trait Fp3Parameters: 'static + Send + Sync { type Fp: PrimeField + SquareRootField; const NONRESIDUE: Self::Fp; const FROBENIUS_COEFF_FP3_C1: [Self::Fp; 3]; const FROBENIUS_COEFF_FP3_C2: [Self::Fp; 3]; 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
[src]
Associated Constants
const NONRESIDUE: Self::Fp
[src]
const FROBENIUS_COEFF_FP3_C1: [Self::Fp; 3]
[src]
const FROBENIUS_COEFF_FP3_C2: [Self::Fp; 3]
[src]
const TWO_ADICITY: u32
[src]
Expand description
p^3 - 1 = 2^s * t, where t is odd.
const T_MINUS_ONE_DIV_TWO: &'static [u64]
[src]
const QUADRATIC_NONRESIDUE_TO_T: (Self::Fp, Self::Fp, Self::Fp)
[src]
Expand description
t-th power of a quadratic nonresidue in Fp3.