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 { ... }
}
Expand description

The interface for a prime field.

Associated Types

Required methods

Returns a prime field element from its underlying representation.

Returns the underlying representation of the prime field element.

Returns a prime field element from its underlying raw representation.

Returns the underlying raw representation of the prime field element.

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

Returns the 2^s root of unity.

Provided methods

Return the a QNR^T

Returns the field size in bits.

Returns the trace.

Returns the trace minus one divided by two.

Returns the modulus minus one divided by two.

Implementors