Trait snarkvm_wasm::PrimeField [−][src]
pub trait PrimeField: Field + FromStr { type Parameters: FieldParameters; type BigInteger: BigInteger; fn from_repr(repr: Self::BigInteger) -> Option<Self>; fn into_repr(&self) -> Self::BigInteger; fn from_repr_raw(repr: Self::BigInteger) -> Self; fn into_repr_raw(&self) -> Self::BigInteger; fn multiplicative_generator() -> Self; fn root_of_unity() -> Self; fn qnr_to_t() -> Self { ... } fn size_in_bits() -> usize { ... } fn trace() -> Self::BigInteger { ... } fn trace_minus_one_div_two() -> Self::BigInteger { ... } fn modulus_minus_one_div_two() -> Self::BigInteger { ... } }
Expand description
The interface for a prime field.
Associated Types
type BigInteger: BigInteger
[src]Required methods
fn from_repr(repr: Self::BigInteger) -> Option<Self>
[src]
fn from_repr(repr: Self::BigInteger) -> Option<Self>
[src]Returns a prime field element from its underlying representation.
fn into_repr(&self) -> Self::BigInteger
[src]
fn into_repr(&self) -> Self::BigInteger
[src]Returns the underlying representation of the prime field element.
fn from_repr_raw(repr: Self::BigInteger) -> Self
[src]
fn from_repr_raw(repr: Self::BigInteger) -> Self
[src]Returns a prime field element from its underlying raw representation.
fn into_repr_raw(&self) -> Self::BigInteger
[src]
fn into_repr_raw(&self) -> Self::BigInteger
[src]Returns the underlying raw representation of the prime field element.
fn multiplicative_generator() -> Self
[src]
fn multiplicative_generator() -> Self
[src]Returns the multiplicative generator of char()
- 1 order.
fn root_of_unity() -> Self
[src]
fn root_of_unity() -> Self
[src]Returns the 2^s root of unity.
Provided methods
fn size_in_bits() -> usize
[src]
fn size_in_bits() -> usize
[src]Returns the field size in bits.
fn trace() -> Self::BigInteger
[src]
fn trace() -> Self::BigInteger
[src]Returns the trace.
fn trace_minus_one_div_two() -> Self::BigInteger
[src]
fn trace_minus_one_div_two() -> Self::BigInteger
[src]Returns the trace minus one divided by two.
fn modulus_minus_one_div_two() -> Self::BigInteger
[src]
fn modulus_minus_one_div_two() -> Self::BigInteger
[src]Returns the modulus minus one divided by two.
Implementors
type BigInteger = BigInteger256
type Parameters = P
type BigInteger = BigInteger320
type Parameters = P
type BigInteger = BigInteger384
type Parameters = P
type BigInteger = BigInteger768
type Parameters = P
type BigInteger = BigInteger832
type Parameters = P