22.5. Tétel
Az RSA algoritmus helyes működése
Tegyük fel, hogy teljesülnek az alábbi feltételek:
- Választunk két tetszőleges, egymástól különböző pozitív p és q prímszámot.
- Képezzük ezekből az m=pq modulust.
- Képezzük az Euler-féle \varphi-függvény értékét az m modulusra, azaz a 21.3. és a 21.5. Tételek alapján kiszámítjuk a \varphi(m)=(p-1)(q-1) egész számot.
- Választunk egy tetszőleges e egész számot, amely relatív prím \varphi(m)-hez.
- Keresünk egy olyan d egész számot, amelyre teljesül az ed\equiv 1\pmod{\varphi(m)} kongruencia.
Ekkor tetszőleges x egész szám esetén teljesül az alábbi kongruencia is:
x^{ed}\equiv x\pmod m
♣