Trait snarkvm_circuit::PrimeField

pub trait PrimeField: FftField<FftParameters = Self::Parameters> + PoseidonDefaultField + FromStr<Err = FieldError> {
    type Parameters: FieldParameters
    where
        <Self::Parameters as FftParameters>::BigInteger == Self::BigInteger;
    type BigInteger: BigInteger;

    const SIZE_IN_BITS: usize = ;
    const SIZE_IN_DATA_BITS: usize = ;

    fn from_repr(repr: Self::BigInteger) -> Option<Self>;
    fn to_repr(&self) -> Self::BigInteger;
    fn to_repr_unchecked(&self) -> Self::BigInteger;

    fn size_in_bits() -> usize { ... }
    fn size_in_data_bits() -> usize { ... }
    fn modulus() -> Self::BigInteger { ... }
    fn modulus_minus_one_div_two() -> Self::BigInteger { ... }
    fn trace() -> Self::BigInteger { ... }
    fn trace_minus_one_div_two() -> Self::BigInteger { ... }
    fn from_bytes_be_mod_order(bytes: &[u8]) -> Self { ... }
    fn from_bytes_le_mod_order(bytes: &[u8]) -> Self { ... }
}

The interface for a prime field.

Required Associated Types

type Parameters: FieldParameters
where
    <Self::Parameters as FftParameters>::BigInteger == Self::BigInteger

type BigInteger: BigInteger

Provided Associated Constants

const SIZE_IN_BITS: usize =

Returns the field size in bits.

const SIZE_IN_DATA_BITS: usize =

Returns the field capacity for data bits.

Required Methods

fn from_repr(repr: Self::BigInteger) -> Option<Self>

Returns a prime field element from its underlying representation.

fn to_repr(&self) -> Self::BigInteger

Returns the underlying representation of the prime field element.

fn to_repr_unchecked(&self) -> Self::BigInteger

Returns the underlying raw representation of the prime field element.

Provided Methods

fn size_in_bits() -> usize

Returns the field size in bits.

fn size_in_data_bits() -> usize

Returns the capacity size for data bits.

fn modulus() -> Self::BigInteger

Returns the modulus.

fn modulus_minus_one_div_two() -> Self::BigInteger

Returns the modulus minus one divided by two.

fn trace() -> Self::BigInteger

Returns the trace.

fn trace_minus_one_div_two() -> Self::BigInteger

Returns the trace minus one divided by two.

fn from_bytes_be_mod_order(bytes: &[u8]) -> Self

Reads bytes in big-endian, and converts them to a field element. If the bytes are larger than the modulus, it will reduce them.

fn from_bytes_le_mod_order(bytes: &[u8]) -> Self

Reads bytes in little-endian, and converts them to a field element. If the bytes are larger than the modulus, it will reduce them.

Implementors

impl<P> PrimeField for Fp256<P> where
    P: Fp256Parameters, 

type BigInteger = BigInteger256

type Parameters = P

impl<P> PrimeField for Fp384<P> where
    P: Fp384Parameters, 

type BigInteger = BigInteger384

type Parameters = P