CYG Chapter 6 Number-Theoretic Reference Problems
Questions about the lecture 'Cryptography' of the RWTH Aachen Chapter 6 Number-Theoretic Reference Problems
Questions about the lecture 'Cryptography' of the RWTH Aachen Chapter 6 Number-Theoretic Reference Problems
Set of flashcards Details
Flashcards | 60 |
---|---|
Language | English |
Category | Computer Science |
Level | University |
Created / Updated | 21.03.2017 / 23.08.2017 |
Weblink |
https://card2brain.ch/box/20170321_cyg_chapter_6_numbertheoretic_reference_problems
|
Embed |
<iframe src="https://card2brain.ch/box/20170321_cyg_chapter_6_numbertheoretic_reference_problems/embed" width="780" height="150" scrolling="no" frameborder="0"></iframe>
|
What is the characteristic?
[motivation.number]
Basics about number theory // Useful for cryptography
What are the characteristics of ring of equivalence classes Zn?
[Zn.number, 5]
1. Zn = Z/nZ
2. Equivalence relation s~t or s equiv t (mod n) ↔ n|(s-t)
3. (Zn,+,*) forms a commutative ring
4. Multiplicative group
5. Euler phi-function
What is the definition?
[multiplicativegroup.Zn.number]
Zn* := {a in Zn| gcd(a,n)=1}
What holds?
[multiplicativegroup.Zn.number]
If Zn* is multiplicative abelian group then gcd(a,n)=1 iff ex inverse s of a with a*s equiv 1 (mod n)
What is the definition?
[eulerphifunction.Zn.number]
Phi(n) = |Zn*|
What is the characteristic?
[eulerphifunction.Zn.number]
Phi(p)=p-1 for any prime p
What is the definition?
[theorem62.Zn.number, 2]
1. If a in Zn* then aphi(n) equiv 1 (mod n)
2. If p is prime and (a,p)=1 then ap-1 equiv 1 (mod p) // Fermat’s little theorem
What are the characteristics?
[notation.Zn.number, 2]
1. (a,n) for gcd(a,n)
2. If (a,n)=1 then a and n are called relatively prime or coprime
What is the idea?
[primalitytesting.number]
Test if a given number 2<=n in N is prime
What is the definition?
[composite.primalitytesting.number]
If p not prime then we call n composite
List them!
[primalitytesting.number, 4]
1. FTP
2. Miller-Rabin
3. Deterministic
4. Finding large prime numbers
What is the characteristic?
[FTP.primalitytesting.number]
Use Fermat’s little theorem for a probabilistic primality test
What are the characteristics?
[carmichaelnumbers.FTP.primalitytesting.number, 3]
1. n is composite but an-1 equiv 1 (mod n) for all a in Zn*
2. 561,1105, 1729, 2465, 2821, 6601, 29341, 172081, 278545…
3. Infinitely many proved by Alford et al.
What holds?
[FTP.primalitytesting.number, 3]
1. P(FPT states “n composite” | n composite) >= 1/2
2. P(FPT states “n prime” | n composite) <= 1/2
3. P(FPT states “n prime” | n prime) = 1
What are the steps?
[FTP.primalitytesting.number, 3]
1. Select a in {2,…,n-1} random
2. If an-1 equiv 1 (mod n) then n prime otherwise n composite
3. If sufficiently many a indicate a composite p then high success probability can be achieved by independent repetition of the test
What is the characteristic?
[lemma.FTP.primalitytesting.number]
Consider cardinality of the set of all a indicating composite p
What is the definition?
[lemma.FTP.primalitytesting.number]
If n is composite and a in Zn/Zn* then an-1 notequiv 1 (mod n)
What is the proof?
[lemma.FTP.primalitytesting.number, 3]
1. Suppose an-1 equiv 1 (mod n)
2. a-1 = an-2 exists
3. a in Zn* // Contradiction to assumption that a in Zn/Zn*
What is the definition?
[proposition63.FTP.primalitytesting.number]
If n composite, odd, no Carmichael number then |{a in Zn\{0}| an-1 notequiv 1 (mod n)}| >= n/2
What is the proof?
[proposition63 .FTP.primalitytesting.number, 6]
1. Consider set Kn-1 := {a in Zn| an-1 equiv 1 (mod n)}
2. Kn-1 subseteq Zn* as all a in Kn-1 have multiplicative inverses
3. Futhermore Kn-1 is a subgroup of Zn*
4. It holds that |Kn-1| divides |Zn*| // Lagrange’s theorem
5. |Kn-1|<=1/2|Zn*|<=(n-2)/2
6. |Zn\{0}\Kn-1|>=n-1-(n-2)/2 = n/2
What holds for Kn-1 as subgroup of Zn*?
[proof.proposition63 .FTP.primalitytesting.number, 5]
1. Closed under multiplication
2. Multiplication is associative
3. 1 in Kn-1
4. Inverse of a is an-2 in Kn-1 as (an-2)n-1 = (an-1)n-2 equiv 1 (mod n)
5. a in Zn* with a notin Kn-1 // a is not a Carmichael number
List them?
[tools.strongwitness.MRPT.primalitytesting.number, 2]
1. n = 1+q*2k with q odd // Any odd n has unique representation
2. a in [2,n-1] or in W(n)
What holds?
[strongwitness.MRPT.primalitytesting.number, 2]
( i) aq notequiv 1 (mod n)
(ii) aq*2^i notequiv -1 (mod n) for all I in [0,k-1]
What is the definition?
[proposition65.strongwitness.MRPT.primalitytesting.number]
If a in W(n) then n is composite
What is the proof?
[proposition65.strongwitness.MRPT.primalitytesting.number, 9]
1. Suppose a in W(n) and n prime
2. an-1 = aq*2^k equiv 1 (mod n) // By theorem 6.2
3. Consider successive squares
4. aq notequiv 1 (mod n),…, aq*2^k equiv 1 (mod n)
5. Let j be the maximal number for which b=aq*2^j notequiv 1 (mod n) holds
6. b notequiv 1 (mod n) but b² equiv 1 (mod n)
7. Because n prime we know that Zn is a field and hence b=1 or b=-1
8. Because b notequiv 1 (mod n) we know b=-1
9. b=-1 is a contradiction to the definition of the strong witness
What is the definition?
[theorem66.strongwitness.MRPT.primalitytesting.number]
|{a| a in [2,n-1] and a notin W(n)}| <= n/4
What holds?
[MRPT.primalitytesting.number, 3]
1. P(MRPT states “n composite” | n composite) >= 3/4
2. P(MRPT states “n prime” | n composite) <= (1/4)M // For M many independently different a
3. P(MRPT states “n prime” | n prime) = 1
What are the steps?
[MRPT.primalitytesting.number, 3+3]
1. Compute n = 1+q2^k with q odd
2. Choose a in [2,n-1] uniformly distributed at random
3. Compute y = aq mod n
4. If (y=1 or n-1) then return “n prime”
5. If for any I in [1,k] y² mod n is n-1 then return “n prime”
6. Otherwise return “n composite”
What are the characteristics?
[deterministic.primalitytesting.number, 3]
1. Since August 6, 2002
2. Polynomial time deterministic algorithm
3. Much slower than MRPT // That is why MRPT is still used in most applications
What is the characteristic?
[large.primalitytesting.number]
Presented algorithms can be used to find large prime numbers
What are the steps?
[large.primalitytesting.number, 2]
1. Choose large, odd n in N
2. Iterate over n←n+2 until a prim number is found
What is an alternative description?
[theorem67.large.primalitytesting.number]
Prime Number Theorem
What is the definition?
[theorem67.large.primalitytesting.number]
|{p|p<=n, p prime}| ~ n/ln(n) // Reasonable period of time
What would be an example?
[large.primalitytesting.number]
For n=2512 we get 2/ln(2512)~1/177.4
What are the characteristics?
[problem.factorization.number, 2+2]
1. Detecting whether n is prime or composite is computationally “easy”
2. Much harder is prime factorization for given integer
3. “Trial-division” // Naive algorithm and much too inefficient
4. Advanced algorithms as the quadratic sieve and the number field sieve are based on proposition 6.8
What is the definition?
[proposition68.factorization.number]
If x notequiv +-y (mod n) and x² equiv y² (mod n) then gcd(x-y, n) is a nontrivial factor of n
What is the proof?
[proposition68.factorization.number, 4]
1. x² equiv y² (mod n) with n|x²-y²
2. n|(x-y)(x+y)
3. But by assumption n!|(x+-y)
4. Hence factor s of n must be “shared” between (x-y) and (x+y)
What are the characteristics?
[algorithm.factorization.number, 3]
1. Find x and y fulfilling the conditions of proposition 6.8
2. p is smallest prime factor of n
3. Can be considered as a one-way function
What are the characteristics?
[oneway.algorithm.factorization.number, 2]
1. Computing n is easy
2. Factorization into p and q is computationally infeasible
List them!
[algorithm.factorization.number]
1. Quadratic Sieve
2. Elliptic Curve Factoring
3. Number Field Sieve