Trait snarkvm_wasm::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]
const TWO_ADICITY: u32
[src]p^3 - 1 = 2^s * t, where t is odd.
Provided methods
fn mul_fp_by_nonresidue(fe: &Self::Fp) -> Self::Fp
[src]Implementors
NONRESIDUE = -4
type Fp = Fp768<FqParameters>
pub const QUADRATIC_NONRESIDUE_TO_T: (Fp768<FqParameters>, Fp768<FqParameters>, Fp768<FqParameters>)
[src]pub fn mul_fp_by_nonresidue(
fe: &<Fq3Parameters as Fp3Parameters>::Fp
) -> <Fq3Parameters as Fp3Parameters>::Fp
[src]