Kalkulator Miller-Rabinovega testa praštevilskosti

O tem kalkulatorju

Miller-Rabinov test preverja praštevilskost tako, da n − 1 zapiše kot 2ˢ·d z lihim d, nato pa preveri, ali priča – osnova a – izpolnjuje aᵈ ≡ 1 (mod n) ali a^(2ʳ·d) ≡ −1 (mod n) za nek r < s. Ena sama priča da le verjetnostni rezultat, toda s preizkusom z majhnim, dokazano zadostnim naborom fiksnih osnov prič (na primer 2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37) postane test deterministični za vsa cela števila pod približno 3,18 × 10²³ – kar je daleč več, kot ga večina uporab kadar koli potrebuje.

Kriptografi in razvijalci programske opreme uporabljajo ravno tak test pri ustvarjanju velikih kandidatov za praštevila za ključe RSA ali Diffie-Hellman, študenti računalništva pa z njim na dejanskih številih vidijo, zakaj se Miller-Rabin pri preverjanju, ali je veliko celo število praštevilo, tako veliko bolje obnese kot poskusno deljenje.