The interface for fields that are able to be used in FFTs.
A trait that defines parameters for a field that can be used for FFTs.
The interface for a generic field.
A trait that defines parameters for a prime field.
Defines a multiplicative identity element for Self
.
A field with Poseidon parameters associated
A trait for default Poseidon parameters associated with a prime field
The interface for a prime field.
The interface for a field that supports an efficient square-root operation.
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.