Modules§
- dft
- An implementation of the FFT for
MontyField31
Structs§
- Generic
Poseidon2 Linear Layers Monty31 - An implementation of the matrix multiplications in the internal and external layers of Poseidon2.
- MdsMatrix
Monty Field31 - Monty
Field31 - Packed
Monty Field31 Neon - Vectorized NEON implementation of
MontyField31arithmetic. - Poseidon2
External Layer Monty31 - The external layers of the Poseidon2 permutation for Monty31 fields.
- Poseidon2
Internal Layer Monty31 - The internal layers of the Poseidon2 permutation for Monty31 fields.
Traits§
- Barrett
Parameters - BarrettParameters contains constants needed for the Barrett reduction used in the MDS code.
- Binomial
Extension Data - TODO: This should be deleted long term once we have improved our API for defining extension fields. This allows us to implement Binomial Extensions over Monty31 fields.
- Field
Parameters - FieldParameters contains constants and methods needed to imply FieldAlgebra, Field and PrimeField32 for MontyField31.
- Internal
Layer Base Parameters - Trait which handles the Poseidon2 internal layers.
- Internal
Layer Parameters - MDSUtils
- A collection of circulant MDS matrices saved using their left most column.
- Monty
Parameters - MontyParameters contains the prime P along with constants needed to convert elements into and out of MONTY form. The MONTY constant is assumed to be a power of 2.
- Monty
Parameters Neon - Packed
Monty Parameters - PackedMontyParameters contains constants needed for MONTY operations for packings of Monty31 fields.
- TwoAdic
Data - TwoAdicData contains constants needed to imply TwoAdicField for Monty31 fields.