DOCSLIB.ORG

Degree in Mathematics

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Degree in Mathematics Degree in Mathematics Title: Homomorphic cryptosystems for electronic voting Author: Enric Cusell Advisor: Javier Herranz Department: Applied Mathematics IV Academic year: 2013/2014 Universitat Polit`ecnicade Catalunya Facultat de Matem`atiquesi Estad´ıstica Bachelor’s degree thesis Homomorphic cryptosystems for electronic voting Enric Cusell Advisor: Javier Herranz Applied Mathematics IV Abstract This bachelor's degree thesis deals with homomorphic public-key cryptogra- phy, or in other words cryptosystems with special addition properties. Such cryptosystems are widely used in real life situations, for instance to make electronic voting secure. Therefore, this thesis will walk you through how Mathematics can lie behind day to day life. In Chapter 1 we introduce a few basic algebra results and other key concepts that will be used later. In Chapters 2 and 3 we describe and discuss the algorithms and properties of the two cryptosystems which are considered to be the best ones for e-voting: Paillier and Joye-Libert. We have imple- mented the two schemes from scratch. We conclude the thesis in Chapter 4, by comparing running times of the two above-mentioned cryptosystems, in simulations of real-life e-voting systems, with up to tens of thousands of voters, and dierent levels of security. Through these simulations, we discern the situations where each of the two cryptosystems is preferable. vi To my love Carla for supporting my particularities for six years. To my parents for the energy that made me stronger. To the future that awaits me. ii Contents 1 Introduction 1 1.1 Prime numbers . .1 1.1.1 Fermat numbers . .1 1.1.2 Carmichael numbers . .2 1.2 Modular arithmetic on Zn ..........................2 1.2.1 Quadratic residues . .2 1.2.2 n-th power residues . .3 1.2.3 Legendre symbol . .3 1.2.4 Jacobi symbol . .4 1.3 Mathematical results . .4 1.3.1 Fermat's little theorem . .4 1.3.2 Prime number theorem . .5 1.4 Computational results . .6 1.4.1 Eratosthenes sieve . .6 1.4.2 Modular exponentiation . .7 1.4.3 Primality tests . .9 1.4.3.1 Fermat . .9 1.4.3.2 Solovay-Strassen . 10 1.4.3.3 Miller-Rabin . 10 1.4.4 Random prime generation . 13 1.5 Public key cryptography . 13 1.5.1 Description . 13 1.5.2 Examples . 14 1.6 Additive Homomorphic encryption . 15 iii CONTENTS 1.6.1 Paillier . 16 1.6.2 Goldwasser-Micali . 16 1.7 Notation . 17 2 Paillier cryptosystem 19 2.1 Background . 19 2.2 Algorithm . 20 2.2.1 Key generation . 20 2.2.2 Encryption . 21 2.2.3 Decryption . 21 2.3 Cryptosystem analysis . 22 2.3.1 Optimizations . 22 2.3.1.1 Key generation . 22 2.3.1.2 Encryption . 22 2.3.1.3 Decryption . 22 2.3.2 Properties . 22 2.3.2.1 Additive Homomorphism . 22 2.3.2.2 Self-Blinding . 23 2.4 Implementation and performance . 23 2.4.1 Complexity . 23 2.4.2 Running time . 24 2.4.3 Code . 25 3 Joye-Libert cryptosystem 29 3.1 Background . 29 3.2 Algorithm . 30 3.2.1 Key generation . 30 3.2.2 Encryption . 30 3.2.3 Decryption . 30 3.3 Cryptosystem analysis . 31 3.3.1 Optimizations . 31 3.3.1.1 Key generation . 31 3.3.1.2 Encryption . 31 3.3.1.3 Decryption . 31 iv CONTENTS 3.3.2 Properties . 32 3.3.2.1 Additive Homomorphism . 32 3.3.2.2 Self-Blinding . 32 3.4 Implementation and performance . 32 3.4.1 Complexity . 32 3.4.2 Running time . 33 3.4.3 Code . 34 4 Electronic voting 39 4.1 Problem context . 39 4.2 Cryptosystem comparison . 39 4.2.1 256 bits . 40 4.2.2 512 bits . 41 4.2.3 1024 bits . 42 5 Conclusions 45 Bibliography 47 v CONTENTS vi Chapter 1 Introduction 1.1 Prime numbers + A prime number is a number x 2 Z which can only be divided with zero remainder by 1 and itself. Theorem 1. (Fundamental theorem of arithmetic) Every integer greater than 1 is either a prime or can be factorized as the product of prime numbers. To represent the factorization of an integer number, repeated primes are grouped and written in increasing order with their respective exponents, as shown: k α1 α2 αk Y αi x = p1 p2 ··· pk = pi i=1 Theorem 2. (Euclid's theorem) There are innitely many primes. Euclid's theorem has many dierent approaches to prove it, but there's one worth mentioning because of its simplicity: Euclid's proof. Lets assume there's a nite number of primes n: p1; p2; ··· ; pn. Then consider x = p1p2 ··· pn +1. The number x is not divisible by any of the pi8i 2 [1; n], so x is a prime number larger than all the others, which is clearly a contradiction. (1) 1.1.1 Fermat numbers A Fermat number is a positive integer which can be written as: (2n) Fn = 2 + 1 1 1. INTRODUCTION The only known Fermat primes are (2) F0 = 3 F1 = 5 F2 = 17 F3 = 257 F4 = 65537 If there's a larger fermat prime number or if they are all composites, has been an unsolved mystery for 170 years. There are many interesting properties related with Fermat numbers, but for this matter it's only worth mentioning that some fermat numbers turn out to report as primes on many probabilistic primality tests (false positives pseudoprimes). 1.1.2 Carmichael numbers A Carmichael number is a positive integer which satises the congruence bn ≡ b (mod n) Theorem 3. (Korselt) A positive composite integer n is a Carmichael number , n is square-free (not divisible by squares greater than 1), and for all prime divisors p of n, p − 1jn − 1. It's possible to generate Carmichael numbers which are strong pseudoprimes to several bases, so the Miller Rabin Primality test may fail. (3, Constructing Carmichael Numbers which are Strong Pseudoprimes to Several Bases). The following sections will talk about Miller-Rabin and why it is important to be able to check whether a number is prime or not with a reasonable level of condence. 1.2 Modular arithmetic on Zn 1.2.1 Quadratic residues An integer q is a quadratic residue modulo n if there's a number for which its square is equal to q modulo n. (4) 9x x2 ≡ q (mod n) 2 1.2 Modular arithmetic on Zn (5, Hardy and Wright) uses the notation q R n and q N n to indicate that q is a quadratic residue or non-residue respectively, and that's the notation that will be used in this work. 1.2.2 n-th power residues The n-th power residues are a generalisation of quadratic residues to arbitrary n-th exponents. An integer q is an n-th power residue modulo m if and only if: 9x j xn ≡ q (mod m) The set of n-th power residues modulo M will be noted as ∗ n n ∗ (ZM ) = fx jx 2 ZM g If the relation n has no solution in ∗ then is called a th-power non-residue a = x ZM a n modulo M. 1.2.3 Legendre symbol Denition 1. (Legendre symbol) Let p be an odd prime number. The Legendre symbol is dened as: 8 if and >1; a R p a 6≡ 0 (mod p) a <> = −1 if a N p p > :>0 if a ≡ 0 (mod p) Multiplicative property ab a b In general, if is an odd prime the follow- p = p p p ing equality known as Euler's criterion holds a = a(p−1)=2(modp) p Denition 2. (Generalized Legendre symbol) For any integers a,k and prime p such that kjp − 1 and (a; p) = 1, the generalized Legendre symbol (GLS) is dened by a p−1 = a k p k p 3 1. INTRODUCTION 1.2.4 Jacobi symbol The Jacobi symbol is a generalization of the Legendre symbol for non prime numbers, which comes very naturally. Let a be an integer and n be a positive integer with prime decomposition n = α1 α2 αk . The Jacobi symbol for and is dened as: p1 p2 ··· pk a n a a α1 a α2 a αk = ··· n p1 p2 pk where a is the Legendre symbol, dened for an odd prime number . p p If n is prime, the Legendre and Jacobi symbols are the same. If n is composite and the Jacobi symbol a , then , and if then a , but if a it's ( m ) = −1 a N n a R n ( n ) = 1 ( n ) = 1 not know whether a R n or a N n. This is one of the interesting properties that will be used on later sections. The Solovay-Strassen primality test uses the fact that the value for the Euler cri- terion formula may not even be -1 or 1 if the modulo is composite. This primal- ity test will be discussed more deeply in further sections. For instance we can see 5 but (21−1)=2 21 = 1 5 ≡ 16 (mod 21) Denition 3. (Generalized Jacobi symbol) For any integers a,k, n where n = pq with two primes p and q, kjp − 1, kjq − 1 and gcd(a; n) = 1, the generalized Jacobi symbol (GJS) is dened by a a a = n k p k q k 1.3 Mathematical results 1.3.1 Fermat's little theorem Theorem 4. (Fermat's little theorem) Let p be a prime number.
Load more

Recommended publications
  • Lecture 9: Arithmetics II 1 Greatest Common Divisor
    DD2458, Problem Solving and Programming Under Pressure Lecture 9: Arithmetics II Date: 2008-11-10 Scribe(s): Marcus Forsell Stahre and David Schlyter Lecturer: Douglas Wikström This lecture is a continuation of the previous one, and covers modular arithmetic and topics from a branch of number theory known as elementary number theory. Also, some abstract algebra will be discussed. 1 Greatest Common Divisor Definition 1.1 If an integer d divides another integer n with no remainder, d is said to be a divisor of n. That is, there exists an integer a such that a · d = n. The notation for this is d | n. Definition 1.2 A common divisor of two non-zero integers m and n is a positive integer d, such that d | m and d | n. Definition 1.3 The Greatest Common Divisor (GCD) of two positive integers m and n is a common divisor d such that every other common divisor d0 | d. The notation for this is GCD(m, n) = d. That is, the GCD of two numbers is the greatest number that is a divisor of both of them. To get an intuition of what GCD is, let’s have a look at this example. Example Calculate GCD(9, 6). Say we have 9 black and 6 white blocks. We want to put the blocks in boxes, but every box has to be the same size, and can only hold blocks of the same color. Also, all the boxes must be full and as large as possible . Let’s for example say we choose a box of size 2: As we can see, the last box of black bricks is not full.
    [Show full text]
  • An Analysis of Primality Testing and Its Use in Cryptographic Applications
    An Analysis of Primality Testing and Its Use in Cryptographic Applications Jake Massimo Thesis submitted to the University of London for the degree of Doctor of Philosophy Information Security Group Department of Information Security Royal Holloway, University of London 2020 Declaration These doctoral studies were conducted under the supervision of Prof. Kenneth G. Paterson. The work presented in this thesis is the result of original research carried out by myself, in collaboration with others, whilst enrolled in the Department of Mathe- matics as a candidate for the degree of Doctor of Philosophy. This work has not been submitted for any other degree or award in any other university or educational establishment. Jake Massimo April, 2020 2 Abstract Due to their fundamental utility within cryptography, prime numbers must be easy to both recognise and generate. For this, we depend upon primality testing. Both used as a tool to validate prime parameters, or as part of the algorithm used to generate random prime numbers, primality tests are found near universally within a cryptographer's tool-kit. In this thesis, we study in depth primality tests and their use in cryptographic applications. We first provide a systematic analysis of the implementation landscape of primality testing within cryptographic libraries and mathematical software. We then demon- strate how these tests perform under adversarial conditions, where the numbers being tested are not generated randomly, but instead by a possibly malicious party. We show that many of the libraries studied provide primality tests that are not pre- pared for testing on adversarial input, and therefore can declare composite numbers as being prime with a high probability.
    [Show full text]
  • Enclave Security and Address-Based Side Channels
    Graz University of Technology Faculty of Computer Science Institute of Applied Information Processing and Communications IAIK Enclave Security and Address-based Side Channels Assessors: A PhD Thesis Presented to the Prof. Stefan Mangard Faculty of Computer Science in Prof. Thomas Eisenbarth Fulfillment of the Requirements for the PhD Degree by June 2020 Samuel Weiser Samuel Weiser Enclave Security and Address-based Side Channels DOCTORAL THESIS to achieve the university degree of Doctor of Technical Sciences; Dr. techn. submitted to Graz University of Technology Assessors Prof. Stefan Mangard Institute of Applied Information Processing and Communications Graz University of Technology Prof. Thomas Eisenbarth Institute for IT Security Universit¨atzu L¨ubeck Graz, June 2020 SSS AFFIDAVIT I declare that I have authored this thesis independently, that I have not used other than the declared sources/resources, and that I have explicitly indicated all material which has been quoted either literally or by content from the sources used. The text document uploaded to TUGRAZonline is identical to the present doctoral thesis. Date, Signature SSS Prologue Everyone has the right to life, liberty and security of person. Universal Declaration of Human Rights, Article 3 Our life turned digital, and so did we. Not long ago, the globalized commu- nication that we enjoy today on an everyday basis was the privilege of a few. Nowadays, artificial intelligence in the cloud, smartified handhelds, low-power Internet-of-Things gadgets, and self-maneuvering objects in the physical world are promising us unthinkable freedom in shaping our personal lives as well as society as a whole. Sadly, our collective excitement about the \new", the \better", the \more", the \instant", has overruled our sense of security and privacy.
    [Show full text]
  • Independence of the Miller-Rabin and Lucas Probable Prime Tests
    Independence of the Miller-Rabin and Lucas Probable Prime Tests Alec Leng Mentor: David Corwin March 30, 2017 1 Abstract In the modern age, public-key cryptography has become a vital component for se- cure online communication. To implement these cryptosystems, rapid primality test- ing is necessary in order to generate keys. In particular, probabilistic tests are used for their speed, despite the potential for pseudoprimes. So, we examine the commonly used Miller-Rabin and Lucas tests, showing that numbers with many nonwitnesses are usually Carmichael or Lucas-Carmichael numbers in a specific form. We then use these categorizations, through a generalization of Korselt’s criterion, to prove that there are no numbers with many nonwitnesses for both tests, affirming the two tests’ relative independence. As Carmichael and Lucas-Carmichael numbers are in general more difficult for the two tests to deal with, we next search for numbers which are both Carmichael and Lucas-Carmichael numbers, experimentally finding none less than 1016. We thus conjecture that there are no such composites and, using multi- variate calculus with symmetric polynomials, begin developing techniques to prove this. 2 1 Introduction In the current information age, cryptographic systems to protect data have become a funda- mental necessity. With the quantity of data distributed over the internet, the importance of encryption for protecting individual privacy has greatly risen. Indeed, according to [EMC16], cryptography is allows for authentication and protection in online commerce, even when working with vital financial information (e.g. in online banking and shopping). Now that more and more transactions are done through the internet, rather than in person, the importance of secure encryption schemes is only growing.
    [Show full text]
  • Improving the Speed and Accuracy of the Miller-Rabin Primality Test
    Improving the Speed and Accuracy of the Miller-Rabin Primality Test Shyam Narayanan Mentor: David Corwin MIT PRIMES-USA Abstract Currently, even the fastest deterministic primality tests run slowly, with the Agrawal- Kayal-Saxena (AKS) Primality Test runtime O~(log6(n)), and probabilistic primality tests such as the Fermat and Miller-Rabin Primality Tests are still prone to false re- sults. In this paper, we discuss the accuracy of the Miller-Rabin Primality Test and the number of nonwitnesses for a composite odd integer n. We also extend the Miller- '(n) Rabin Theorem by determining when the number of nonwitnesses N(n) equals 4 5 and by proving that for all n, if N(n) > · '(n) then n must be of one of these 3 32 forms: n = (2x + 1)(4x + 1), where x is an integer, n = (2x + 1)(6x + 1), where x is an integer, n is a Carmichael number of the form pqr, where p, q, r are distinct primes congruent to 3 (mod 4). We then find witnesses to certain forms of composite numbers with high rates of nonwitnesses and find that Jacobi nonresidues and 2 are both valuable bases for the Miller-Rabin test. Finally, we investigate the frequency of strong pseudoprimes further and analyze common patterns using MATLAB. This work is expected to result in a faster and better primality test for large integers. 1 1 Introduction Data is growing at an astoundingly rapid rate, and better information security is re- quired to protect increasing quantities of data. Improved data protection requires more sophisticated cryptographic methods.
    [Show full text]
  • Factoring & Primality
    Factoring & Primality Lecturer: Dimitris Papadopoulos In this lecture we will discuss the problem of integer factorization and primality testing, two problems that have been the focus of a great amount of research over the years. These prob- lems started receiving attention in the mathematics community far before the appearance of computer science, however the emergence of the latter has given them additional importance. Gauss himself wrote in 1801 \The problem of distinguishing prime numbers from composite numbers, and of resolving the latter into their prime factors, is known to be one of the most important and useful in arithmetic. The dignity of the science itself seems to require that every possible means be explored for the solution of a problem so elegant and so celebrated." 1 Factorization Problems The following result is known as the Fundamental Theorem of Arithmetic: Theorem 1 Every n 2 Z with n 6= 0 can be written as: r Y ei n = ± pi i=1 where pi are distinct prime numbers and ei are positive integers. Moreover, this representa- tion is unique (except for term re-ordering). This celebrated result (already known at Euclid's time) unfortunately does not tell us any- thing about computing the primes pi or the powers ei except for their existence. This naturally leads to the following problem statement known as the integer factorization problem: Problem 1 Given n 2 Z with n 6= 0, compute primes pi and positive integers ei for i = Qr ei 1; :::; r s.t. i=1 pi = n. Clearly, if n is a prime number then the factorization described above is trivial.
    [Show full text]
  • On El-Gamal and Fermat's Primality Test
    On El-Gamal and Fermat’s Primality Test IRVAN JAHJA / 13509099 Program Studi Teknik Informatika Sekolah Teknik Elektro dan Informatika Institut Teknologi Bandung, Jl. Ganesha 10 Bandung 40132, Indonesia [email protected] May 6, 2012 Abstract Gamal reacts with non prime p, and then discuss the case with Carmichael Numbers. The paper then closes We discuss the feasibility of using the simple Fermat’s with a possible way to take advantage of the behavior Primality Test to generate prime required as a key to the of El-Gamal with composite p. public key El-Gamal cryptosystem. This option is ap- Throughout this paper, pseudocodes in Python-like pealing due to the simplicity of Fermat’s Primality Test, languages will be presented as to make things less ab- but is marred with the existance of Carmichael Num- stract. bers. 2 Background Theory 1 Introduction 2.1 Fermat Primality Testing 1.1 Background Fermat Primality Testing is one of the fastest primality El-Gamal is one of the most used public key cryptosys- testing algorithm. Interested readers are referred to the tem. This accounts to its simplicity of implementation book by Cormen et. al [20], and we will only give a as well for being one of the earliest relatively secure brief explanation in this section. public key cryptosystem to be published. For instance, The Fermat’s Primality Testing is based on the Fer- GNU Privacy Guard software and recent versions of mat’s Little Theorem: PGP are major user of this system. If p is prime and 1 ≤ p < p, then ap−1 ≡ 1 (mod p).
    [Show full text]
  • RSA and Public Key Cryptography
    RSA and Public Key Cryptography Chester Rebeiro IIT Madras CR STINSON : chapter 5, 6 Ciphers • Symmetric Algorithms – EncrypAon and DecrypAon use the same key – i.e. KE = KD – Examples: • Block Ciphers : DES, AES, PRESENT, etc. • Stream Ciphers : A5, Grain, etc. • Asymmetric Algorithms – EncrypAon and DecrypAon keys are different – KE ≠ KD – Examples: • RSA • ECC CR 2 Asymmetric Key Algorithms KE KD untrusted communicaon link Alice E D Bob #%AR3Xf34^$ “APack at Dawn!!” Plaintext encrypAon (ciphertext) decrypon “APack at Dawn!!” The Key K is a secret Encrypon Key KE not same as decryp<on key KD Advantage : No need of secure KE known as Bob’s public key; K is Bob’s private key key exchange between Alice and D Bob Asymmetric key algorithms based on trapdoor one-way func<ons CR 3 One Way Func<ons • Easy to compute in one direcAon • Once done, it is difficult to inverse Press to lock Once locked it is (can be easily done) difficult to unlock without a key CR 4 Trapdoor One Way Func<on • One way funcAon with a trapdoor • Trapdoor is a special funcAon that if possessed can be used to easily invert the one way trapdoor Locked (difficult to unlock) Easily Unlocked CR 5 Public Key Cryptography (An Anology) • Alice puts message into box and locks it • Only Bob, who has the key to the lock can open it and read the message CR 6 Mathema<cal Trapdoor One way funcons • Examples – Integer Factorizaon (in NP, maybe NP-complete) • Given P, Q are two primes • and N = P * Q – It is easy to compute N – However given N it is difficult to factorize into P and Q •
    [Show full text]
  • The Miller-Rabin Randomized Primality Test
    Introduction to Algorithms (CS 482) Cornell University Instructor: Bobby Kleinberg Lecture Notes, 5 May 2010 The Miller-Rabin Randomized Primality Test 1 Introduction Primality testing is an important algorithmic problem. In addition to being a fun- damental mathematical question, the problem of how to determine whether a given number is prime has tremendous practical importance. Every time someone uses the RSA public-key cryptosystem, they need to generate a private key consisting of two large prime numbers and a public key consisting of their product. To do this, one needs to be able to check rapidly whether a number is prime. The simplestp algorithm to test whether n is prime is trial division:p for k = 2; 3;:::; b nc test whether n ≡ 0 (mod k). This runs in time O( n log2(n)), but this running time is exponential in the input size since the input represents n as a binary number with dlog2(n)e digits. (A good public key these days relies on using prime numbers with at least 2250 binary digits; testing whether such a number is prime using trial division would require at least 2125 operations.) In 1980, Michael Rabin discovered a randomized polynomial-time algorithm to test whether a number is prime. It is called the Miller-Rabin primality test because it is closely related to a deterministic algorithm studied by Gary Miller in 1976. This is still the most practical known primality testing algorithm, and is widely used in software libraries that rely on RSA encryption, e.g. OpenSSL. 2 Randomized algorithms What does it mean to say that there is a randomized polynomial-time algorithm to solve a problem? Here are some definitions to make this notion precise.
    [Show full text]
  • Improved Error Bounds for the Fermat Primality Test on Random Inputs
    IMPROVED ERROR BOUNDS FOR THE FERMAT PRIMALITY TEST ON RANDOM INPUTS JARED D. LICHTMAN AND CARL POMERANCE Abstract. We investigate the probability that a random odd composite num- ber passes a random Fermat primality test, improving on earlier estimates in moderate ranges. For example, with random numbers to 2200, our results improve on prior estimates by close to 3 orders of magnitude. 1. Introduction Part of the basic landscape in elementary number theory is the Fermat congru- ence: If n is a prime and 1 ≤ b ≤ n − 1, then (1.1) bn−1 ≡ 1 (mod n): It is attractive in its simplicity and ease of verification: using fast arithmetic sub- routines, (1.1) may be checked in (log n)2+o(1) bit operations. Further, its converse (apparently) seldom lies. In practice, if one has a large random number n that sat- isfies (1.1) for a random choice for b, then almost certainly n is prime. To be sure, there are infinitely many composites (the Carmichael numbers) that satisfy (1.1) for all b coprime to n, see [1]. And in [2] it is shown that there are infinitely many Carmichael numbers n such that (1.1) holds for (1−o(1))n choices for b in [1; n−1]. (Specifically, for each fixed k there are infinitely many Carmichael numbers n such that the probability a random b in [1; n − 1] has (b; n) > 1 is less than 1= logk n.) However, Carmichael numbers are rare, and if a number n is chosen at random, it is unlikely to be one.
    [Show full text]
  • Average Case Error Estimates of the Strong Lucas Probable Prime Test
    Average Case Error Estimates of the Strong Lucas Probable Prime Test Master Thesis Semira Einsele Monday 27th July, 2020 Advisors: Prof. Dr. Kenneth Paterson Prof. Dr. Ozlem¨ Imamoglu Department of Mathematics, ETH Z¨urich Abstract Generating and testing large prime numbers is crucial in many public- key cryptography algorithms. A common choice of a probabilistic pri- mality test is the strong Lucas probable prime test which is based on the Lucas sequences. Throughout this work, we estimate bounds for average error behaviour of this test. To do so, let us consider a procedure that draws k-bit odd integers in- dependently from the uniform distribution, subjects each number to t independent iterations of the strong Lucas probable prime test with randomly chosen bases, and outputs the first number that passes all t tests. Let qk,t denote the probability that this procedurep returns a com- 2 2.3− k posite number. We show that qk,1 < log(k)k 4 for k ≥ 2. We see that slightly modifying the procedure, using trial division by the first l odd primes, gives remarkable improvements in this error analysis. Let qk,l,t denote the probability that the now modified procedurep returns a 2 1.87727− k composite number. We show that qk,128,1 < k 4 for k ≥ 2. We also give general bounds for both qk,t and qk,l,t when t ≥ 2, k ≥ 21 and l 2 N. In addition, we treat the numbers, that add the most to our probability estimate differently in the analysis, and give improved bounds for large t.
    [Show full text]
  • PRIMALITY TESTING a Journey from Fermat to AKS
    PRIMALITY TESTING A Journey from Fermat to AKS Shreejit Bandyopadhyay Mathematics and Computer Science Chennai Mathematical Institute Abstract We discuss the Fermat, Miller-Rabin, Solovay-Strassen and the AKS tests for primality testing. We also speak about the probabilistic or de- terministic nature of these tests and their time-complexities. 1 Introduction We all know what a prime number is { it's a natural number p 6= 1 for which the only divisors are 1 and p. This essentially means that for a prime number p, gcd(a; p)=1 8a 2 N and1 ≤ a ≤ (p − 1). So the value of Euler's totient function for a prime p, φ(p) equals (p − 1) as all the (p − 1) values of a in (1,2,...p − 1) satisfy gcd(a; p)=1. A primality test, the topic of this paper, is simply an algo- rithm that tests, either probabilistically or deterministically, whether or not a given input number is prime. A general primality test does not provide us with a prime factorisation of a number not found to be prime, but simply labels it as composite. In cryptography, for example, we often need the generation of large primes and one technique for this is to pick a random number of requisite size and detrmine if it's prime. The larger the number, the greater will be the time required to test this and this is what prompts us to search for efficient primality tests that are polynomial in complexity. Note that the desired complexity is logarithmic in the number itself and hence polynomial in its bit{size as a num- ber n requires O(log n) bits for its binary representation.
    [Show full text]