| File | Mode | Size |
|---|---|---|
| BarrettReduction | ||
| MontgomeryReduction | ||
| BYInv.v | -rw-r--r-- | 49.6 KB |
| BarrettReduction.v | -rw-r--r-- | 27.0 KB |
| BaseConversion.v | -rw-r--r-- | 16.6 KB |
| Core.v | -rw-r--r-- | 49.7 KB |
| FancyMontgomeryReduction.v | -rw-r--r-- | 5.7 KB |
| Freeze.v | -rw-r--r-- | 14.5 KB |
| ModOps.v | -rw-r--r-- | 9.3 KB |
| ModularArithmeticPre.v | -rw-r--r-- | 4.7 KB |
| ModularArithmeticTheorems.v | -rw-r--r-- | 14.2 KB |
| Partition.v | -rw-r--r-- | 5.2 KB |
| PrimeFieldTheorems.v | -rw-r--r-- | 13.0 KB |
| Primitives.v | -rw-r--r-- | 5.1 KB |
| Saturated.v | -rw-r--r-- | 49.5 KB |
| UniformWeight.v | -rw-r--r-- | 8.2 KB |
| WordByWordMontgomery.v | -rw-r--r-- | 63.3 KB |
