An Extended Quadratic Frobenius Primality Test with Average and Worst Case Error Estimates

We present an Extended Quadratic Frobenius Primality Test (EQFT), which is related to the Miller-Rabin test and to several other known probabilistic tests. EQFT takes time equivalent to about 2-3 Miller-Rabin tests, but has much smaller error probability, namely 256/331776t for t iterations of the test in the worst case. We also give bounds on the average-case behaviour of the test: consider the algorithm that repeatedly chooses random odd k bit numbers, subjects them to t iterations of our test and outputs the first one found that passes all tests. We obtain numeric upper bounds for the error probability of this algorithm as well as a general closed expression bounding the error. For instance, it is at most 2−155 for k = 500, t = 2. Compared to earlier similar results for the Miller-Rabin test, the results indicates that our test in the average case has the effect of 9 Miller-Rabin tests. We also give bounds for the error in case a prime is sought by incremental search from a ran...

• Type: Conference
• Year: 2003
• Where: FCT
• Authors: Ivan Damgård, Gudmund Skovbjerg Frandsen
• Keywords: Error Probability, FCT 2003, Frobenius Primality Test, Miller-rabin Tests