Crate snarkvm_fields

Modules

errors

fp6_3over2

traits

Macros

field

impl_add_sub_from_field_ref

Implements Add, Sub, AddAssign, and SubAssign on Self by deferring to an implementation on &Self

impl_mul_div_from_field_ref

Implements Mul, Div, MulAssign, and DivAssign on Self by deferring to an implementation on &Self

Structs

Fp2

Fp12

An element of Fp12, represented by c0 + c1 * v

Fp256

Fp384

LFSRIter

PoseidonDefaultParametersEntry

An entry in the default Poseidon parameters

PoseidonGrainLFSR

PoseidonParameters

Parameters and RNG used

Enums

ConstraintFieldError

FieldError

LegendreSymbol

Traits

FftField

The interface for fields that are able to be used in FFTs.

FftParameters

A trait that defines parameters for a field that can be used for FFTs.

Field

The interface for a generic field.

FieldParameters

A trait that defines parameters for a prime field.

Fp2Parameters

Fp12Parameters

Fp256Parameters

Fp384Parameters

One

Defines a multiplicative identity element for Self.

PoseidonDefaultField

A field with Poseidon parameters associated

PoseidonDefaultParameters

A trait for default Poseidon parameters associated with a prime field

PrimeField

The interface for a prime field.

SquareRootField

The interface for a field that supports an efficient square-root operation.

ToConstraintField

Types that can be converted to a vector of F elements. Useful for specifying how public inputs to a constraint system should be represented inside that constraint system.

Zero

Functions

batch_inversion

batch_inversion_and_mul