Cea mai simplă posibilitate este ca acele valori să fie incluse pentru a face implementarea cât mai simplă. Și anume, singura primitivă necesară pentru exponențiere este înmulțirea Montgomery.
Mecanismul de bază al înmulțirii Montgomery este reducerea modulară, care constă în principal din metoda diviziunii lui Hensel care păstrează doar restul. Dacă aveți un modul impar $n < 2^b$, și ceva valoare $x < n^2$, Reducerea Montgomery calculează
$$
\frac{x + n\left(xn' \bmod 2^b\right)}{2^b}\,,
$$
cu $n' = -n^{-1} \bmod 2^b$ (implementarea de mai sus folosește valoarea trunchiată $n' = -n^{-1} \bmod 2^{32}$, ceea ce este suficient pentru implementări pătratice simple.). Acest lucru asigură că a) rezultatul este $x2^{-b} \bmod n$, b) împărțirea la $2^b$ este banal, din moment ce $x + n\left(xn' \bmod 2^b\right)$ este un multiplu al $2^b$ prin proiectare și c) rezultatul este redus în dimensiune la cel mult 2n$.
La alcătuirea mai multor operații modulo $n$, cum ar fi într-o exponențiere, este convenabil să puneți operanzii în „forma Montgomery”, adică $x \mapsto x2^b \bmod n$. Acest lucru se datorează faptului că înmulțirea Montgomery va înmulți operanzii și îi va reduce folosind trucul de mai sus. Asa de,
$$
\text{MontMul}(x2^b, y2^b) = \frac{x2^b\cdot y2^b}{2^b} \bmod n = xy2^b \bmod n\,,
$$
păstrând astfel forma Montgomery pentru următoarea operațiune.
Există mai multe moduri de a converti argumentele în formă Montgomery. Una dintre ele este să calculezi $x\cdot 2^b \bmod n$ manual, folosind diviziunea lungă. Acest lucru este regretabil, deoarece va necesita un cod foarte complicat pentru a efectua respectiva împărțire. Alternativa este să folosiți înmulțirea Montgomery în sine pentru a calcula
$$
\text{MontMul}(x, 2^{2b}) = \frac{x\cdot 2^{2b}}{2^b} \bmod n = x2^b \bmod n\,.
$$
Totuși, acest lucru necesită precalculare $2^{2b} \bmod n$ undeva, care este exact ceea ce face formatul cheii publice de mai sus.
Pentru a converti o valoare $x2^b \bmod n$ înapoi la forma normală, este suficient să o înmulțim cu $1$ folosind înmulțirea Montgomery. Sau, alternativ, așa cum face această implementare, înmulțiți $x^22^b$ de $x$ a obtine $\frac{x^32^b}{2^b} \bmod n = x^3 \bmod n$.