This trait represents an element of a field.
This represents an element of a prime field.
This trait represents a wrapper around a biginteger which can encode any element of a particular
prime field. It is a smart wrapper around a sequence of u64
limbs, least-significant digit
first.
An “engine” is a collection of types (fields, elliptic curve groups, etc.)
with well-defined relationships. Specific relationships (for example, a
pairing-friendly curve) can be defined in a subtrait.
This trait represents an element of a field that has a square root operation described for it.