Trait snarkvm_wasm::Fp3Parameters[−][src]

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

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

Associated Types

type Fp: PrimeField + SquareRootField[src]

Loading content...

Associated Constants

pub const NONRESIDUE: Self::Fp[src]

pub const FROBENIUS_COEFF_FP3_C1: [Self::Fp; 3][src]

pub const FROBENIUS_COEFF_FP3_C2: [Self::Fp; 3][src]

pub const TWO_ADICITY: u32[src]

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

pub const T_MINUS_ONE_DIV_TWO: &'static [u64][src]

pub const QUADRATIC_NONRESIDUE_TO_T: (Self::Fp, Self::Fp, Self::Fp)[src]

t-th power of a quadratic nonresidue in Fp3.

Loading content...

Provided methods

pub fn mul_fp_by_nonresidue(fe: &Self::Fp) -> Self::Fp[src]

Loading content...

Implementors

Loading content...