Crate p3_monty_31

Modules

• dft
  An implementation of the FFT for MontyField31

Structs

• GenericPoseidon2LinearLayersMonty31
  An implementation of the the matrix multiplications in the internal and external layers of Poseidon2.
• MdsMatrixMontyField31
• MontyField31
• PackedMontyField31Neon
  Vectorized NEON implementation of MontyField31 arithmetic.
• Poseidon2ExternalLayerMonty31
  The external layers of the Poseidon2 permutation for Monty31 fields.
• Poseidon2InternalLayerMonty31
  The internal layers of the Poseidon2 permutation for Monty31 fields.

Traits

• BarrettParameters
  BarrettParameters contains constants needed for the Barrett reduction used in the MDS code.
• BinomialExtensionData
  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.
• FieldParameters
  FieldParameters contains constants and methods needed to imply AbstractField, Field and PrimeField32 for MontyField31.
• InternalLayerBaseParameters
  Trait which handles the Poseidon2 internal layers.
• InternalLayerParameters
• MDSUtils
  A collection of circulant MDS matrices saved using their left most column.
• MontyParameters
  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.
• MontyParametersNeon
• PackedMontyParameters
  PackedMontyParameters contains constants needed for MONTY operations for packings of Monty31 fields.
• TwoAdicData
  TwoAdicData contains constants needed to imply TwoAdicField for Monty31 fields.