Module traits

Source

Structs§

LFSRIter
PoseidonDefaultParametersEntry
An entry in the default Poseidon parameters
PoseidonGrainLFSR
PoseidonParameters
Parameters and RNG used

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.
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