Category
Level
Miller–Rabin is a fast primality test that uses modular exponentiation to detect compositeness with very high reliability.