Trait snarkvm_wasm::Fp3Parameters [−][src]
Associated Types
type Fp: PrimeField + SquareRootField
[src]
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.
Provided methods
pub fn mul_fp_by_nonresidue(fe: &Self::Fp) -> Self::Fp
[src]
Implementors
impl Fp3Parameters for Fq3Parameters
[src]
type Fp = Fp768<FqParameters>
pub const FROBENIUS_COEFF_FP3_C1: [Fp768<FqParameters>; 3]
[src]
pub const FROBENIUS_COEFF_FP3_C2: [Fp768<FqParameters>; 3]
[src]
pub const NONRESIDUE: Fp768<FqParameters>
[src]
NONRESIDUE = -4
pub const QUADRATIC_NONRESIDUE_TO_T: (Fp768<FqParameters>, Fp768<FqParameters>, Fp768<FqParameters>)
[src]
pub const TWO_ADICITY: u32
[src]
pub const T_MINUS_ONE_DIV_TWO: &'static [u64]
[src]
pub fn mul_fp_by_nonresidue(
fe: &<Fq3Parameters as Fp3Parameters>::Fp
) -> <Fq3Parameters as Fp3Parameters>::Fp
[src]
fe: &<Fq3Parameters as Fp3Parameters>::Fp
) -> <Fq3Parameters as Fp3Parameters>::Fp