Module const_monty_form 

Implements ConstMontyForms, supporting modular arithmetic with a constant modulus.

Modules

add 🔒

Additions between integers in Montgomery form with a constant modulus.

ct 🔒

Constant-time support: impls of Ct* traits and constant-time const fn operations.

invert 🔒

Multiplicative inverses of integers in Montgomery form with a constant modulus.

lincomb 🔒

Linear combinations of integers n Montgomery form with a constant modulus.

macros 🔒

Macros to remove the boilerplate code when dealing with constant moduli. ConstMontyForm/ConstMontyParams support macros.

mod_symbol 🔒

Modular symbol calculation for integers in Montgomery form with a constant modulus.

mul 🔒

Multiplications between integers in Montgomery form with a constant modulus.

neg 🔒

Negations of integers in Montgomery form with a constant modulus.

pow 🔒

Exponentiation of integers in Montgomery form with a constant modulus.

reduce 🔒

sqrt 🔒

sub 🔒

Subtractions between integers in Montgomery form with a constant modulus.

Structs

ConstMontyForm

An integer in Montgomery form modulo MOD, represented using LIMBS limbs. The modulus is constant, so it cannot be set at runtime.

Traits

ConstMontyParams

Trait representing a modulus and its associated constants for converting in and out of Montgomery form.

ConstPrimeMontyParams

Trait representing a prime modulus and its associated constants for converting in and out of Montgomery form.