Year: 2024
Type: article
Abstract: Reliable probabilistic primality tests are fundamental in public-key cryptography. In adversarial scenarios, a composite with a high probability of passing a specific primality test could be chosen. In such cases, we need worst-case error estimates of the test. However, in many scenarios, the numbers are randomly chosen and thus have a significantly smaller error probability. We are hence interested in average-case error estimates. In this paper we establish such bounds for the strong Lucas primality test, as there exist only worst-case, but no average-case error bounds. This allows us to use this test with more confidence. Let us examine an algorithm that draws odd k-bit integers uniformly and independently, runs t independent iterations of the strong Lucas test with randomly chosen parameters, and outputs the first number that passes all t consecutive rounds. We attain numerical upper bounds on the probability that a composite is returned. Moreover, we examine a slight modification of this algorithm that only considers integers that are not divisible by small primes, yielding improved bounds. In addition, we classify the numbers that contribute most to our estimate.
Source: Designs Codes and Cryptography
Authors: Semira Einsele, Kenneth Paterson
Institutions: Freie Universität Berlin, ETH Zurich
Language: English
Subfield: Algebra and Number Theory
Field: Mathematics
Domain: Physical Sciences
Open Access status: hybrid
Estimated APC paid: $3,090
Awards: Verbundprojekt: 6G Research and Innovation Cluster (6G-RIC) Offene und sichere 6G-Technologien: Weltmarktchance für Deutschland - 6G-RIC -, Teilvorhaben: Innovative Sicherheitsmechanismen und KI für 6G, G2295054390, Verbundprojekt: 6G Research and Innovation Cluster (6G-RIC) Offene und sichere 6G-Technologien: Weltmarktchance für Deutschland - 6G-RIC, Teilvorhaben: Koordination, Gesamtarchitektur und Infrastruktur
OpenAlex ID: W4390975310