حاسبة اختبار ميلر-رابين للأولية

حول هذه الأداة

يتحقق اختبار ميلر-رابين من الأولية بكتابة n − 1 على الصورة 2ˢ·d حيث d فردي، ثم اختبار ما إذا كان أساس الشاهد a يحقق aᵈ ≡ 1 (mod n) أو a^(2ʳ·d) ≡ −1 (mod n) لقيمة ما r < s. ويعطي شاهد واحد نتيجة احتمالية فقط، لكن الاختبار مقابل مجموعة صغيرة مُثبتة من أسس الشهود الثابتة (مثل 2 و3 و5 و7 و11 و13 و17 و19 و23 و29 و31 و37) يجعله حتميًا لكل عدد صحيح دون نحو 3.18 × 10²³ — وهو أبعد بكثير مما تحتاجه معظم التطبيقات.

يستخدم المتخصصون في التشفير ومطورو البرمجيات هذا النوع من الاختبارات بالضبط عند توليد مرشحات أولية كبيرة لمفاتيح RSA أو Diffie-Hellman، ويستخدمه طلاب علوم الحاسوب ليروا على أعداد حقيقية لماذا يتدرج ميلر-رابين أفضل بكثير من القسمة التجريبية في فحص ما إذا كان عدد صحيح كبير أوليًا.