Crate snarkvm_fields[][src]

Modules

fp6_2over3
fp6_3over2
tests_field

Macros

field

Structs

Fp2
Fp3
Fp12

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

Fp256
Fp320
Fp384
Fp768
Fp832

Enums

ConstraintFieldError
FieldError
LegendreSymbol

Traits

Field

The interface for a generic field.

FieldParameters

A trait that defines parameters for a prime field.

Fp2Parameters
Fp3Parameters
Fp12Parameters
Fp256Parameters
Fp320Parameters
Fp384Parameters
Fp768Parameters
Fp832Parameters
One
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