Trait snarkvm_fields::PrimeField[−][src]

pub trait PrimeField: Field + FromStr {
    type Parameters: FieldParameters<BigInteger = Self::BigInteger>;
    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 { ... }
}

The interface for a prime field.

Associated Types

type Parameters: FieldParameters<BigInteger = Self::BigInteger>[src]

type BigInteger: BigInteger[src]

Loading content...

Required methods

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]

Returns the underlying representation of the prime field element.

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]

Returns the underlying raw representation of the prime field element.

fn multiplicative_generator() -> Self[src]

Returns the multiplicative generator of char() - 1 order.

fn root_of_unity() -> Self[src]

Returns the 2^s root of unity.

Loading content...

Provided methods

fn qnr_to_t() -> Self[src]

Return the a QNR^T

fn size_in_bits() -> usize[src]

Returns the field size in bits.

fn trace() -> Self::BigInteger[src]

Returns the trace.

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]

Returns the modulus minus one divided by two.

Loading content...

Implementors

impl<P: Fp256Parameters> PrimeField for Fp256<P>[src]

type BigInteger = BigInteger

type Parameters = P

impl<P: Fp320Parameters> PrimeField for Fp320<P>[src]

type BigInteger = BigInteger

type Parameters = P

impl<P: Fp384Parameters> PrimeField for Fp384<P>[src]

type BigInteger = BigInteger

type Parameters = P

impl<P: Fp768Parameters> PrimeField for Fp768<P>[src]

type BigInteger = BigInteger

type Parameters = P

impl<P: Fp832Parameters> PrimeField for Fp832<P>[src]

type BigInteger = BigInteger

type Parameters = P

Loading content...