A General Polynomial Selection Method and New Asymptotic Complexities for the Tower Number Field Sieve Algorithm

Size: px
Start display at page:

Download "A General Polynomial Selection Method and New Asymptotic Complexities for the Tower Number Field Sieve Algorithm"

Transcription

1 A General Polynomial Selection Method and New Asymptotic Complexities for the Tower Number Field Sieve Algorithm Palash Sarkar and Shashank Singh Indian Statistical Institute, Kolkata September 5, 2016 ECC2016

2 (Tower) Number Field Sieve Algorithm

3 Number Field Sieve Algorithm It is an index calculus algorithm to compute indices i.e., discrete logarithms in the finite fields. It consists of 4 main steps. Polynomial Selection Relation Collection Linear Algebra Individual discrete logarithm 1

4 NFS for Finite Fields F p n Field Representation: F p n = F p[x] ϕ(x) = F p(m) How is ϕ(x) chosen? Choose f(x), g(x) Z[x], s.t., f(x) mod p and g(x) mod p, have a common irreducible factor ϕ(x) of degree n over F p. Q(α) = Q[x] Q[x] f(x), Q(β) = g(x) 2

5 NFS for Finite Fields F p n Field Representation: x Z[x] F p n = F p[x] ϕ(x) = F p(m) How is ϕ(x) chosen? Choose f(x), g(x) Z[x], s.t., f(x) mod p and g(x) mod p, have a common irreducible factor ϕ(x) of degree n over F p. Q(α) = Q[x] Q[x] f(x), Q(β) = g(x) α Q(α) α m Commutative diagram ᾱ F p (m) x β m β Q(β) O f = Integer Ring of Q(α) O g = Integer Ring of Q(β) h f = Class number of Q(α) h g = Class number of Q(β) β 2

6 Relation Collection Phase -An Overview ζ(x) x Z[x] x β ζ(x) α ζ(α)o f = a e i i Q(α) Q(β) ζ(β)o g = b l i i ideal to elt α m ᾱ β β ideal to elt ζ(α) h f = u 1 b l i i F p (m) m ζ(β) hg = u 2 b l i i Since ζ(α) = ζ(β), we have a relation.

7 Relation Collection Phase -An Overview ζ(x) x Z[x] x β ζ(x) α ζ(α)o f = a e i i Q(α) Q(β) ζ(β)o g = b l i i ideal to elt α m ᾱ β β ideal to elt ζ(α) h f = u 1 b l i i F p (m) m ζ(β) hg = u 2 b l i i { } prime ideals in O f or O g, either having norm less than B F = Since ζ(α) = ζ(β), we have a relation. or lying above the prime factors of l(f) and l(g) res. 3

8 Why is Polynomial Selection Phase important? ζ(x) Z[x] Factorisation Res(f, ζ) ζ(α)o f = a e i i ζ(α) h f = u 1 b l i i 4

9 Why is Polynomial Selection Phase important? Complexity Res(f, ζ) Res(g, ζ) ( ) t 1E 2(deg f+deg g) f g t where t 1 = deg(ζ) and coefficient(ζ) [ E 2/t, E 2/t] ζ(x) Z[x] ζ(α)o f = a e i i ζ(α) h f = u 1 b l i i Factorisation Res(f, ζ) 4

10 Why is Polynomial Selection Phase important? Complexity Res(f, ζ) Res(g, ζ) ( ) t 1E 2(deg f+deg g) f g t where t 1 = deg(ζ) and coefficient(ζ) [ E 2/t, E 2/t] ζ(x) Z[x] ζ(α)o f = a e i i ζ(α) h f = u 1 b l i i Factorisation Res(f, ζ) Aim of the Polynomial Selection step is to choose f(x) and g(x) suitable for NFS algorithm such that their degree and the coefficient size are minimal. 4

11 Polynomial Selection Algorithms

12 Polynomial Selection Basic Idea: Choose f(x) randomly; having small integer coefficients and modulo p, an irreducible factor ϕ(x) of degree n. Construct g(x) from ϕ(x) and f(x). 5

13 Generalised Joux-Lercier [D. Matyukhin, Barbulescu et al.] Let ϕ(x) = x n + ϕ n 1 x n ϕ 1 x + ϕ 0 and r deg(ϕ). M ϕ,r = p p ϕ 0 ϕ 1 ϕ n ϕ 0 ϕ 1 ϕ n 1 1 px 0.. px n 1 ϕ(x). x r n ϕ(x) Apply the LLL algorithm to M ϕ,r and let the first row of the resulting LLL-reduced matrix be [g 0, g 1,..., g r 1, g r ]. Define g(x) = g 0 + g 1 x + + g r 1 x r 1 + g r x r. Notation: g = LLL (M ϕ,r ) and g = O ( p n/(r+1))

14 Generalised Joux-Lercier [D. Matyukhin, Barbulescu et al.] Let ϕ(x) = x n + ϕ n 1 x n ϕ 1 x + ϕ 0 and r deg(ϕ). M ϕ,r = p p ϕ 0 ϕ 1 ϕ n ϕ 0 ϕ 1 ϕ n 1 1 px 0.. px n 1 ϕ(x). x r n ϕ(x) Can we further reduce the size of g? Apply the LLL algorithm to M ϕ,r and let the first row of the resulting LLL-reduced matrix be [g 0, g 1,..., g r 1, g r ]. Define g(x) = g 0 + g 1 x + + g r 1 x r 1 + g r x r. Notation: g = LLL (M ϕ,r ) and g = O ( p n/(r+1))

15 Generalised Joux-Lercier [D. Matyukhin, Barbulescu et al.] Let ϕ(x) = x n + ϕ n 1 x n ϕ 1 x + ϕ 0 and r deg(ϕ). M ϕ,r = p p ϕ 0 ϕ 1 ϕ n ϕ 0 ϕ 1 ϕ n 1 1 px 0.. px n 1 ϕ(x). x r n ϕ(x) Can we further reduce the size of g? Apply the LLL algorithm to M ϕ,r and let the first row of the resulting LLL-reduced matrix be [g 0, g 1,..., g r 1, g r ]. Define g(x) = g 0 + g 1 x + + g r 1 x r 1 + g r x r. What if some coeff s of ϕ(x) are zero or small? Notation: g = LLL (M ϕ,r ) and g = O ( p n/(r+1))

16 Generalised Joux-Lercier [D. Matyukhin, Barbulescu et al.] Let ϕ(x) = x n + ϕ n 1 x n ϕ 1 x + ϕ 0 and r deg(ϕ). M ϕ,r = p p ϕ 0 ϕ 1 ϕ n ϕ 0 ϕ 1 ϕ n 1 1 px 0.. px n 1 ϕ(x). x r n ϕ(x) Can we further reduce the size of g? Apply the LLL algorithm to M ϕ,r and let the first row of the resulting LLL-reduced matrix be [g 0, g 1,..., g r 1, g r ]. Define g(x) = g 0 + g 1 x + + g r 1 x r 1 + g r x r. What if some coeff s of ϕ(x) are zero or small? Can we ignore the cols corres. to 0 coeff s? Notation: g = LLL (M ϕ,r ) and g = O ( p n/(r+1)) 6

17 Let ϕ(x) = ϕ 0 + ϕ 2 x 2 + ϕ 4 x x n. Take r = n. M ϕ,r = x 0 x 2 x 4... x n p p ϕ 0 ϕ 2 ϕ n 2 1 px 0 px 2. px n 2 ϕ(x) det (M ϕ,r ) = p n 2 and so g = O ( p n/2(n/2+1)) = O ( p n/(n+2))

18 Let Take r = n. M ϕ,r = ϕ(x) = ϕ 0 + ϕ 2 x 2 + ϕ 4 x x n. x 0 x 2 x 4... x n p p ϕ 0 ϕ 2 ϕ n 2 1 px 0 px 2. px n 2 ϕ(x) This can be done for every divisor d of n. i.e., ϕ(x) = ϕ 0 + ϕ d x d x n. It is hard to obtain ϕ(x) of this form. What if we start with a f(x) of this form and try to get a required ϕ(x)? det (M ϕ,r ) = p n 2 and so g = O ( p n/2(n/2+1)) = O ( p n/(n+2))

19 Let Take r = n. M ϕ,r = det (M ϕ,r ) = p n 2 f(x) = ϕ(x) = ϕ 0 + ϕ 2 x 2 + ϕ 4 x x n. x 0 x 2 x 4... x n p p ϕ 0 ϕ 2 ϕ n 2 1 px 0 px 2. px n 2 ϕ(x) This can be done for every divisor d of n. i.e., ϕ(x) = ϕ 0 + ϕ d x d x n. It is hard to obtain ϕ(x) of this form. What if we start with a f(x) of this form and try to get a required ϕ(x)? and so g = O ( p n/2(n/2+1)) = O ( p n/(n+2)) ( ) f 0 + f d x d f n x n + f n+d x n+d +... = A 1 (x d ) = (ϕ 0 + ϕ d x d x n ) f (x) 7

20 Polynomial Selection Method(A): Algorithm: A: A new method of polynomial selection. Input: p, n, d (a factor of n) and r n/d. Output: f(x), g(x) and ϕ(x). Let k = n/d; repeat Randomly choose a monic irr A 1 (x) with small coeff.: deg A 1 = r + 1; mod p, A 1 (x) has an irr factor A 2 (x) of deg k. Choose monic C 0 (x) and C 1 (x): deg C 0 = d and deg C 1 < d. Define f(x) = Res y (A 1 (y), C 0 (x) + y C 1 (x)) ; ϕ(x) = Res y (A 2 (y), C 0 (x) + y C 1 (x)) mod p; ψ(x) = LLL(M A2,r); g(x) = Res y (ψ(y), C 0 (x) + y C 1 (x)). until f(x) and g(x) are irr over Z and ϕ(x) is irr over F p.; return f(x), g(x) and ϕ(x).

21 Polynomial Selection Method(A): Algorithm: A: A new method of polynomial selection. Input: p, n, d (a factor of n) and r n/d. Output: f(x), g(x) and ϕ(x). Let k = n/d; repeat Randomly choose a monic irr A 1 (x) with small coeff.: deg A 1 = r + 1; mod p, A 1 (x) has an irr factor A 2 (x) of deg k. Choose monic C 0 (x) and C 1 (x): deg C 0 = d and deg C 1 < d. Define f(x) = Res y (A 1 (y), C 0 (x) + y C 1 (x)) ; ϕ(x) = Res y (A 2 (y), C 0 (x) + y C 1 (x)) mod p; ψ(x) = LLL(M A2,r); g(x) = Res y (ψ(y), C 0 (x) + y C 1 (x)). until f(x) and g(x) are irr over Z and ϕ(x) is irr over F p.; return f(x), g(x) and ϕ(x). 8

22 Polynomial Selection Method(A): Generalised Joux-Lercier d = 1 New Results 1 < d < n d = n Algorithm-A r > n d New Results d = n r = n d Generalisation Conjugation [Barbulescu et al.] 9

23 ( Complexity =L 1 Q, 2c ( 3 b) for boundary case i.e., p = 2 LQ, c ) 3 p

24 ( Complexity =L 1 Q, 2c ( 3 b) for boundary case i.e., p = 2 LQ, c ) 3 p Can we obtain this complexity of boudary case to the medium prime case? Yes, increase p. Tower NFS Algorithms 10

25 Tower Number Field Sieve Algorithm R := Z[z]/ h(z) R[x] K f R[x] f(x) mod ϕ(x) (mod p) Commutative diagram F p ηκ mod ϕ(x) (mod p) R[x] g(x) K g F p ηκ := (R/pR)[x] (ϕ(x)) h(z) Z[z] is a monic polynomial of deg η, irreducible mod p. Both f(x) and g(x) are irreducible over R. Over F p η, f(x) and g(x) have a common factor ϕ(x) of deg κ.

26 Tower Number Field Sieve Algorithm R := Z[z]/ h(z) R[x] K f K g K f R[x] f(x) mod ϕ(x) (mod p) Commutative diagram F p ηκ mod ϕ(x) (mod p) R[x] g(x) K g F p ηκ := (R/pR)[x] (ϕ(x)) K h Q Number Fields h(z) Z[z] is a monic polynomial of deg η, irreducible mod p. Both f(x) and g(x) are irreducible over R. Over F p η, f(x) and g(x) have a common factor ϕ(x) of deg κ. 11

27 Extended Tower Number Field Sieve [Kim and Barbulescu] Setting Field: F Q with Q = p n where n = ηκ such that gcd(η, κ) = 1. These choices of (η, κ), allow us to chose f(x) and g(x) in Z[x], not in R[x], without affecting the commutative diagram of TNFS. 12

28 Extended Tower Number Field Sieve [Kim and Barbulescu] Setting Field: F Q with Q = p n where n = ηκ such that gcd(η, κ) = 1. These choices of (η, κ), allow us to chose f(x) and g(x) in Z[x], not in R[x], without affecting the commutative diagram of TNFS. 12

29 Extended Tower Number Field Sieve [Kim and Barbulescu] Setting Field: F Q with Q = p n where n = ηκ such that gcd(η, κ) = 1. These choices of (η, κ), allow us to chose f(x) and g(x) in Z[x], not in R[x], without affecting the commutative diagram of TNFS. For details we refer to Taechan Kim and Razvan Barbulescu, Extended Tower Number Field Sieve : A New Complexity for Medium Prime Case. CRYPTO Palash Sarkar and Shashank Singh, Tower Number Field Sieve Variant of a Recent Polynomial Selection Method. Cryptology eprint Archive: Report 2016/

30 Extended Tower Number Field Sieve [Kim and Barbulescu] Setting Field: F Q with Q = p n where n = ηκ such that gcd(η, κ) = 1. These Howchoices restrictive of (η, is the κ), allow uswhat to chose if n f(x) is a composite and g(x) in Z[x], condition not ingcd(η, R[x], κ) without = 1? affecting the prime commutative power? diagram of TNFS. For details we refer to Taechan Kim and Razvan Barbulescu, Extended Tower Number Field Sieve : A New Complexity for Medium Prime Case. CRYPTO Palash Sarkar and Shashank Singh, Tower Number Field Sieve Variant of a Recent Polynomial Selection Method. Cryptology eprint Archive: Report 2016/401.

31 Extended Tower Number Field Sieve [Kim and Barbulescu] Setting Field: F Q with Q = p n where n = ηκ such that gcd(η, κ) = 1. These Howchoices restrictive of (η, is the κ), allow uswhat to chose if n f(x) is a composite and g(x) in Z[x], condition not ingcd(η, R[x], κ) without = 1? affecting the prime commutative power? diagram of TNFS. For details we refer to Taechan Palash Sarkar Kim andrazvan Shashank Barbulescu, Singh, A General ExtendedPolynomial Tower Number SelectionField Method Sieve and : ANew NewAsymptotic ComplexityComplexities for Medium for Prime the Case. TowerCRYPTO Number Field Sieve Algorithm. Cryptology eprint Palash Archive: Sarkar Report and2016/485. Shashank(accepted Singh, Tower at Asiacrypt Number 2016) Field Sieve Variant of a Recent Polynomial Selection Method. Cryptology eprint Archive: Report 2016/

32 A General Polynomial Selection Method R := Z[z]/ h(z) R[x] ζ(x) R[x], deg x (ζ) = t 1 K f R[x] f(x) mod ϕ(x) (mod p) Commutative diagram F p ηκ mod ϕ(x) (mod p) R[x] g(x) K g F p ηκ := (R/pR)[x] (ϕ(x)) Aim is to get f(x) (res. g(x)) of small degree and norm size i.e. f. f = max f i,j where f(x) = ξ 0 (z) + ξ 1 (z)x ξ r 1 (z)x r 1 + x r = f ij x i z j 13

33 A General Polynomial Selection Method R := Z[z]/ h(z) R[x] ζ(x) R[x], deg x (ζ) = t 1 K f R[x] f(x) mod ϕ(x) (mod p) Commutative diagram F p ηκ mod ϕ(x) (mod p) R[x] g(x) K g F p ηκ := (R/pR)[x] (ϕ(x)) Aim is to get f(x) (res. g(x)) of small degree and norm size i.e. f.(why?) f = max f i,j where f(x) = ξ 0 (z) + ξ 1 (z)x ξ r 1 (z)x r 1 + x r = f ij x i z j 13

34 GJL Matrix Basic idea remains same as that of Algorithm A. Crucial to algorithm A was the following matrix. GJL Matrix: p M A2,r = p a 0 a 1 a n a 0 a 1 a n 1 1 (r+1) (r+1) We extend the idea of the GJL to work for tower fields. In the TNFS set-up, Q = p n where n = ηκ. 14

35 GJL Matrix for TNFS Let ϕ(x) = (ϕ 00 + ϕ 01 z) + (ϕ 10 + ϕ 11 z)x x 2. Note that η = 2. Let λ = η. Take r = n. M ϕ,2 = p p p p 0 ϕ 00 ϕ 01 ϕ 10 ϕ 11 1

36 GJL Matrix for TNFS Let ϕ(x) = (ϕ 00 + ϕ 01 z) + (ϕ 10 + ϕ 11 z)x x 2. Note that η = 2. Let λ = η. Take r = n. M ϕ,2 = diag λk (p) p p p p 0 ϕ 00 ϕ 01 ϕ 10 ϕ 11 1

37 GJL Matrix for TNFS Let ϕ(x) = (ϕ 00 + ϕ 01 z) + (ϕ 10 + ϕ 11 z)x x 2. Note that η = 2. Let λ = η. Take r = n. M ϕ,2 = diag λk (p) p p p p 0 ϕ 00 ϕ 01 ϕ 10 ϕ 11 1 ϕ

38 GJL Matrix for TNFS Let ϕ(x) = (ϕ 00 + ϕ 01 z) + (ϕ 10 + ϕ 11 z)x x 2. Note that η = 2. Let λ = η. Take r = n. M ϕ,2 = diag λk (p) p p p p 0 ϕ 00 ϕ 01 ϕ 10 ϕ 11 1 ϕ [ = diag λk (p) 0 ϕ 1 ] 15

39 Let ϕ(x) = (ϕ 00 + ϕ 01 z) + (ϕ 10 + ϕ 11 z)x + x 2. Note that η = 2. Let λ = η. Take r = n + 1. p p p p ϕ 00 ϕ 01 ϕ 10 ϕ p ϕ 00 ϕ 01 ϕ 10 ϕ 11 1

40 Let ϕ(x) = (ϕ 00 + ϕ 01 z) + (ϕ 10 + ϕ 11 z)x + x 2. Note that η = 2. Let λ = η. Take r = n + 1. p p p p ϕ 00 ϕ 01 ϕ 10 ϕ p ϕ 00 ϕ 01 ϕ 10 ϕ 11 1

41 Let ϕ(x) = (ϕ 00 + ϕ 01 z) + (ϕ 10 + ϕ 11 z)x + x 2. Note that η = 2. Let λ = η. Take r = n + 1. p p p p ϕ 00 ϕ 01 ϕ 10 ϕ p ϕ 00 ϕ 01 ϕ 10 ϕ 11 1 = diag λk (p) ϕ 1 0 λ 1,1+λk diag λ 1 (p) shift λ (ϕ) 1 16

42 ϕ(x) =(ϕ 00 + ϕ 01 z + ϕ 02 z 2 ) + (ϕ 10 + ϕ 11 z + ϕ 12 z 2 )x + (ϕ 20 + ϕ 21 z + ϕ 22 z 2 )x 2 + x 3. p p p p p p p p p ϕ 00 ϕ 01 ϕ 02 ϕ 10 ϕ 11 ϕ 12 ϕ 20 ϕ 21 ϕ p p ϕ 00 ϕ 01 ϕ 02 ϕ 10 ϕ 11 ϕ 12 ϕ 20 ϕ 21 ϕ 22 1

43 ϕ(x) =(ϕ 00 + ϕ 01 z + ϕ 02 z 2 ) + (ϕ 10 + ϕ 11 z + ϕ 12 z 2 )x + (ϕ 20 + ϕ 21 z + ϕ 22 z 2 )x 2 + x 3. p p p p p p p p p ϕ 00 ϕ 01 ϕ 02 ϕ 10 ϕ 11 ϕ 12 ϕ 20 ϕ 21 ϕ p p ϕ 00 ϕ 01 ϕ 02 ϕ 10 ϕ 11 ϕ 12 ϕ 20 ϕ 21 ϕ

44 GJL Matrix for TNFS in general form Let ϕ(x) = x k + ϕ k 1 (z)x k ϕ 1 (z)x + ϕ 0 (z) R[x], where each ϕ i (z) = ϕ i,0 + ϕ i,1 z + + ϕ i,η 1 z η 1 is a polynomial of degree less than η with the coefficients ϕ i,j in Z. Let λ = η. Let ϕ = (ϕ 0,0,..., ϕ 0,λ 1,..., ϕ k 1,0,..., ϕ k 1,λ 1 ). M ϕ,r = diag λk (p) ϕ 1 0 λ 1,1+λk diag λ 1 (p) shift λ (ϕ) 1 0 λ 1,1+λ(k+1) diag λ 1 (p) shift 2λ (ϕ) λ 1,1+λ(r 1) diag λ 1 (p) shift (r k)λ (ϕ) 1 where, for a vector a, let shift i (a) be the vector (0,..., 0, a). }{{} i (rλ+1) (rλ+1) 18

45 ψ(x) = LLL(M ϕ,r ) Since the matrix has rλ + 1 rows, each entry of the first row of the matrix formed by applying LLL to M ϕ,r is at most p r(λ 1)+k rλ+1. So, each ψ i,j and also ψ r is at most this value. Consequently, ψ = p r(λ 1)+k rλ+1 = Q 1 n r(λ 1)+k rλ+1 = Q ε/n (1) where ε = r(λ 1) + k. (2) rλ + 1 Note that for k r, ε < 1. The quantity ε will be another parameter in the asymptotic analysis. 19

46 Algorithm 3: C: Polynomial selection for TNFS. Input: p, n = ηκ, d (a factor of κ), r κ/d and λ [1, η]. Output: f(x), g(x) and ϕ(x). Let k = κ/d, R = Z[z]/(h(z)), F p η = F p[z]/(h(z)); repeat Randomly choose a monic A 1(x) R[x] such that: deg A 1(x) = r + 1 A 1(x) is irreducible over Q[z]/(h(z)) and hence over R. A 1(x) has coefficient polynomials of size O(ln(p)). over F p η, A 1(x) has an irreducible factor A 2(x) of degree k such that all the coefficient polynomials of A 2(x) have degrees at most λ 1. Randomly choose monic C 0(x) and C 1(x) with small integer coeff s such that deg C 0(x) = d and deg C 1(x) < d. Define f(x) = Res y (A 1(y), C 0(x) + y C 1(x)) ; ϕ(x) = Res y (A 2(y), C 0(x) + y C 1(x)) mod p; ψ(x) = LLL(M A2,r); g(x) = Res y (ψ(y), C 0(x) + y C 1(x)). until f(x) and g(x) are irreducible over Q[z]/(h(z)) (and hence over R) and ϕ(x) is irreducible over F p η = F p[z]/(h(z)). return f(x), g(x) and ϕ(x). 20

47 Proposition The outputs f(x), g(x) and ϕ(x) of Algorithm C satisfy the following. 1. deg(f) = d(r + 1); deg(g) = rd and deg(ϕ) = κ; 2. over F p n, both f(x) and g(x) have ϕ(x) as a factor; 3. f = O(ln(p)) and g = O(Q ε/n ). Consequently, if φ is a sieving polynomial of degree (t 1), then N(φ, f) = E 2d(r+1)/t L Q (2/3, o(1)); N(φ, g) = E 2dr/t Q (t 1)ε/κ L Q (2/3, o(1)); N(φ, f) N(φ, g) = E (2d(2r+1))/t Q (t 1)ε/κ L Q (2/3, o(1)). 21

48 Polynomial Selection Method(C): Algorithm-A η = 1 λ = 1 New Results gcd(η, κ) 1 λ = η Algorithm-C gcd(η, κ) 1 1 < λ < η New Results η > 1 gcd(η, κ) = 1 λ = 1 Algorithm-B [extnfs]

49 Polynomial Selection Method(C): Algorithm-A η = 1 λ = 1 New Results gcd(η, κ) 1 λ = η Algorithm-C not practical gcd(η, κ) 1 1 < λ < η New Results η > 1 gcd(η, κ) = 1 λ = 1 Algorithm-B [extnfs] 22

50 Product of norms for various polynomial selection methods Figure 1: Polynomials for F p 8 23

51 Product of norms for various polynomial selection methods.. Figure 2: Polynomials for F p 9 24

52 Product of norms for various polynomial selection methods.. Figure 3: Polynomials for F p 12 25

53 Asymptotic Complexity Analysis Setting: For 1/3 < a 2/3, write p = L Q (a, c p ), where c p = 1 n ( ) 1 a ln Q ln ln Q Recall that n = ηκ, k = κ/d, r k, λ [1, η] and ε is given by ε = r(λ 1) + k. rλ + 1 (3) Let η can be written as ( ) ln Q 2/3 a η = c η. ln ln Q (4) Then κ = 1 ( ) ln Q 1/3 where c θ = c p c η. c θ ln ln Q 26

54 Asymptotic Complexity Analysis The size of the factor basis B. Cost of Linear Algebra B 2. Sieving polynomial ζ(x) of deg (t 1) and ζ = E 2/(tη) are considered. So the total number of polynomials sieved is E 2, which is the cost of relation collection step.

55 Asymptotic Complexity Analysis The size of the factor basis B. Cost of Linear Algebra B 2. Sieving polynomial ζ(x) of deg (t 1) and ζ = E 2/(tη) are considered. So the total number of polynomials sieved is E 2, which is the cost of relation collection step. Let π be the probability of getting a single relation. Requirements: Cost(L. A.)=Cost(R. C.) Sufficient Relations

56 Asymptotic Complexity Analysis The size of the factor basis B. Cost of Linear Algebra B 2. Sieving polynomial ζ(x) of deg (t 1) and ζ = E 2/(tη) are considered. So the total number of polynomials sieved is E 2, which is the cost of relation collection step. Let π be the probability of getting a single relation. Requirements: Cost(L. A.)=Cost(R. C.) Sufficient Relations E 2 π = B and B 2 = E 2 E = B = π 1

57 Asymptotic Complexity Analysis The size of the factor basis B. Cost of Linear Algebra B 2. Sieving polynomial ζ(x) of deg (t 1) and ζ = E 2/(tη) are considered. So the total number of polynomials sieved is E 2, which is the cost of relation collection step. Let π be the probability of getting a single relation. Requirements: Cost(L. A.)=Cost(R. C.) Sufficient Relations Compute π? E 2 π = B and B 2 = E 2 Let B = L Q (1/3, c b ) = E E = B = π 1

58 Computation of π π is Computed using Canfield-Erdös-Pomerance theorem. Canfield-Erdös-Pomerance (CEP) theorem Let π = Ψ(Γ, B) be the probability that a random positive integer which is at most Γ is B-smooth. Let Γ = L Q (z, γ) and B = L Q (b, c b ). Then π 1 = Ψ(Γ, B) 1 = L Q ( z b, (z b) γ c b ). (5) 28

59 Computation of π π is Computed using Canfield-Erdös-Pomerance theorem. Canfield-Erdös-Pomerance (CEP) theorem Let π = Ψ(Γ, B) be the probability that a random positive integer which is at most Γ is B-smooth. Let Γ = L Q (z, γ) and B = L Q (b, c b ). Then π 1 = Ψ(Γ, B) 1 = L Q ( z b, (z b) γ c b ). (5) We have Γ equal to, Γ = N(φ, f) N(φ, g) = E (2d(2r+1))/t Q (t 1)ε/κ L Q (2/3, o(1)). 28

60 Lemma Let n = ηκ and κ = kd for positive integers η, k and d. For a fixed t, using the expressions for p, E(= B) and η, we obtain the following. E 2 t d(2r+1) = L Q ( Q (t 1)ε 2/3, 2c b(2r+1) c θ kt ) ; κ = L Q (2/3, (t 1)c θ ε). (6) So, Γ = L Q ( 2 3, 2c b(2r + 1) c θ kt π 1 = L Q ( 1 3, 1 3 ( 2(2r + 1) c θ kt ) + (t 1)c θ ε + (t 1)c )) θε c b 29

61 Complexity From the condition π 1 = B, we get c b = 1 ( 2(2r + 1) 3 c θ kt + (t 1)c θε c b ). (7) Solving the quadratic for c b and choosing the positive root gives c b = 2(2r + 1) 6c θ kt + (2r ) (t 1)c θε. 3c θ kt 3 Complexity is given by Comp B 2 = L Q (1/3, 2c b ). 30

62 Minimise 2c b with respect to c θ 0 = c b c θ = 2(2r + 1) 6ktc 2 θ Solving we get ( (2r + 1 3c θ kt ) ) 2 1/2 ( 2(2r + (t 1)c θε + 1) 2 3 9k 2 t 2 c 3 + θ ( ) 2r c 3 3 θ = 8 3kt (t 1)ε. ) (t 1)ε 3 Taking cube roots on both sides gives the value of c θ. Substituting this value of c θ in the expression of c b, we get 2c b = = ( ) 64(2r + 1)(t 1)ε 1/3 (8) 9kt ( 64(2r + 1)(t 1) 9kt ) r(λ 1) + k 1/3. (9) rλ

63 Minimise 2c b with respect to c θ.. The expression on the right hand side of (8) clearly increases as t increases. So, to minimise 2c b, we should choose the minimum value of t which is t = 2. With t = 2, the right hand side of (8) becomes ( ) 32(2r + 1) r(λ 1) + k 1/3 (10) 9k rλ

64 Case λ = 1: The right hand side of (10) becomes ( ) 32(2r + 1) 9(r + 1) which takes the minimum value of (48/9) 1/3 for r = 1. This can arise in the following ways. η = 1, a = 2/3: This corresponds to the boundary case and the minimum complexity is L Q (1/3, (48/9) 1/3 ) [Algorithm A]. η > 1, 1/3 < a < 2/3: Here we require gcd(η, κ) = 1. Again, the min complexity is L Q (1/3, (48/9) 1/3 ). [extnfs-b]. Algorithm-A η = 1 λ = 1 Algorithm-C η > 1 (η, κ) = 1 λ = 1 Algorithm-B [extnfs-ss] 33

65 Case λ = η > 1: For fixed k, minimum of (10) is achieved for r = k. ( ) 32(2k + 1) η 1/3. (11) 9 kη + 1 Minimum of (11) is obtained at k = κ and thus the minimum value of 2c b in this case is ( ) 32(2κ + 1) η 1/3 = 9 κη + 1 ( ) 32(2n + η) 1/3. (12) 9(n + 1) 34

66 New complexity results Suppose that n can be written as n = η i for some prime η and some i > If η = 2, then the minimum possible value of 2c b for the case λ = η = 2 is (64/9) 1/ for all n = 2 i. In particular, this case covers n = 4, 8, If η = 3 and n = 9, then the minimum possible value of 2c b for the case λ = η = 3 is (112/15) 1/ If η = 5 and n = 25, then the minimum possible value of 2c b for the case λ = η = 5 is (880/117) 1/

67 Figure 4: Complexity plots for the medium prime case using the extnfs algorithm. 36

68 Complexity for the MexTNFS variant Figure 5: Complexity plots for the medium prime case using the MexTNFS algorithm. 37

69 Recent developments Jinhyuck Jeong and Taechan Kim, Extended Tower Number Field Sieve with Application to Finite Fields of Arbitrary Composite Extension Degree. Cryptology eprint Archive, Report 2016/526 Palash Sarkar and Shashank Singh, A Generalisation of the Conjugation Method for Polynomial Selection for the Extended Tower Number Field Sieve Algorithm. Cryptology eprint Archive, Report 2016/537 38

70 Algorithm 4: D: Polynomial selection for TNFS. Input: p, n = ηκ, d (such that d κ and gcd(η, d/κ) = 1), r κ/d Output: f(x), g(x) and ϕ(x). Let k = κ/d, R = Z[z]/(h(z)), F p η = F p[z]/(h(z)); repeat Randomly choose a monic A 1(x) Z[x] such that: deg A 1(x) = r + 1 A 1(x) is irreducible over Z. A 1(x) has coefficient polynomials of size O(ln(p)). over F p, A 1(x) has an irreducible factor A 2(x) of degree k such that A 2(x) is irr over F p η. Randomly choose monic C 0(x) and C 1(x) in R[x] such that C i is small for i = 0, 1; deg C 0(x) = d and deg C 1(x) < d. Define f(x) = Res y (A 1(y), C 0(x) + y C 1(x)) ; ϕ(x) = Res y (A 2(y), C 0(x) + y C 1(x)) mod p; ψ(x) = LLL(M A2,r); g(x) = Res y (ψ(y), C 0(x) + y C 1(x)). until f(x) and g(x) are irreducible over Q[z]/(h(z)) (and hence over R) and ϕ(x) is irreducible over F p η = F p[z]/(h(z)). return f(x), g(x) and ϕ(x). 39

71 Asymptotic Analysis 40

72 Asymptotic Analysis 40

Extended Tower Number Field Sieve with Application to Finite Fields of Arbitrary Composite Extension Degree

Extended Tower Number Field Sieve with Application to Finite Fields of Arbitrary Composite Extension Degree Extended Tower Number Field Sieve with Application to Finite Fields of Arbitrary Composite Extension Degree Taechan Kim 1 and Jinhyuck Jeong 2 1 NTT Secure Platform Laboratories, Japan taechan.kim@lab.ntt.co.jp

More information

Challenges with Assessing the Impact of NFS Advances on the Security of Pairing-based Cryptography

Challenges with Assessing the Impact of NFS Advances on the Security of Pairing-based Cryptography Challenges with Assessing the Impact of NFS Advances on the Security of Pairing-based Cryptography Alfred Menezes 1, Palash Sarkar 2, and Shashank Singh 3 1 Department of Combinatorics & Optimization,

More information

Extended Tower Number Field Sieve: A New Complexity for the Medium Prime Case

Extended Tower Number Field Sieve: A New Complexity for the Medium Prime Case Extended Tower Number Field Sieve: A New Complexity for the Medium Prime Case Taechan Kim 1 and Razvan Barbulescu 2 1 NTT Secure Platform Laboratories, Japan taechan.kim@lab.ntt.co.jp 2 CNRS, Univ Paris

More information

Improving NFS for the discrete logarithm problem in non-prime nite elds

Improving NFS for the discrete logarithm problem in non-prime nite elds Improving NFS for the discrete logarithm problem in non-prime nite elds Razvan Barbulescu, Pierrick Gaudry, Aurore Guillevic, Francois Morain Institut national de recherche en informatique et en automatique

More information

Computing Individual Discrete Logarithms Faster in GF(p n ) with the NFS-DL Algorithm

Computing Individual Discrete Logarithms Faster in GF(p n ) with the NFS-DL Algorithm Computing Individual Discrete Logarithms Faster in GF(p n ) with the NFS-DL Algorithm Aurore Guillevic 1,2 1 Inria Saclay, Palaiseau, France 2 École Polytechnique/LIX, Palaiseau, France guillevic@lixpolytechniquefr

More information

A brief overwiev of pairings

A brief overwiev of pairings Bordeaux November 22, 2016 A brief overwiev of pairings Razvan Barbulescu CNRS and IMJ-PRG R. Barbulescu Overview pairings 0 / 37 Plan of the lecture Pairings Pairing-friendly curves Progress of NFS attacks

More information

Improving NFS for the discrete logarithm problem in non-prime finite fields

Improving NFS for the discrete logarithm problem in non-prime finite fields Improving NFS for the discrete logarithm problem in non-prime finite fields Razvan Barbulescu, Pierrick Gaudry, Aurore Guillevic, François Morain To cite this version: Razvan Barbulescu, Pierrick Gaudry,

More information

Individual Discrete Logarithm in GF(p k ) (last step of the Number Field Sieve algorithm)

Individual Discrete Logarithm in GF(p k ) (last step of the Number Field Sieve algorithm) Individual Discrete Logarithm in GF(p k ) (last step of the Number Field Sieve algorithm) Aurore Guillevic INRIA Saclay / GRACE Team École Polytechnique / LIX ECC 2015, Sept. 28th Aurore Guillevic (INRIA/LIX)

More information

Solutions of exercise sheet 11

Solutions of exercise sheet 11 D-MATH Algebra I HS 14 Prof Emmanuel Kowalski Solutions of exercise sheet 11 The content of the marked exercises (*) should be known for the exam 1 For the following values of α C, find the minimal polynomial

More information

REMARKS ON THE NFS COMPLEXITY

REMARKS ON THE NFS COMPLEXITY REMARKS ON THE NFS COMPLEXITY PAVOL ZAJAC Abstract. In this contribution we investigate practical issues with implementing the NFS algorithm to solve the DLP arising in XTR-based cryptosystems. We can

More information

A quasi polynomial algorithm for discrete logarithm in small characteristic

A quasi polynomial algorithm for discrete logarithm in small characteristic CCA seminary January 10, 2014 A quasi polynomial algorithm for discrete logarithm in small characteristic Razvan Barbulescu 1 Pierrick Gaudry 2 Antoine Joux 3 Emmanuel Thomé 2 LIX, École Polytechnique

More information

D-MATH Algebra I HS17 Prof. Emmanuel Kowalski. Solution 12. Algebraic closure, splitting field

D-MATH Algebra I HS17 Prof. Emmanuel Kowalski. Solution 12. Algebraic closure, splitting field D-MATH Algebra I HS17 Prof. Emmanuel Kowalski Solution 1 Algebraic closure, splitting field 1. Let K be a field of characteristic and L/K a field extension of degree. Show that there exists α L such that

More information

Page Points Possible Points. Total 200

Page Points Possible Points. Total 200 Instructions: 1. The point value of each exercise occurs adjacent to the problem. 2. No books or notes or calculators are allowed. Page Points Possible Points 2 20 3 20 4 18 5 18 6 24 7 18 8 24 9 20 10

More information

Polynomials. Chapter 4

Polynomials. Chapter 4 Chapter 4 Polynomials In this Chapter we shall see that everything we did with integers in the last Chapter we can also do with polynomials. Fix a field F (e.g. F = Q, R, C or Z/(p) for a prime p). Notation

More information

Discrete logarithms: Recent progress (and open problems)

Discrete logarithms: Recent progress (and open problems) Discrete logarithms: Recent progress (and open problems) CryptoExperts Chaire de Cryptologie de la Fondation de l UPMC LIP6 February 25 th, 2014 Discrete logarithms Given a multiplicative group G with

More information

(January 14, 2009) q n 1 q d 1. D = q n = q + d

(January 14, 2009) q n 1 q d 1. D = q n = q + d (January 14, 2009) [10.1] Prove that a finite division ring D (a not-necessarily commutative ring with 1 in which any non-zero element has a multiplicative inverse) is commutative. (This is due to Wedderburn.)

More information

Integral Bases. 1. Resultants

Integral Bases. 1. Resultants . Resultants Integral Bases Suppose f and g are polynomials in one or more variables including x) with integer coefficients. Say f = A 0 x m + A x m + + A m, g = B 0 x n + B x n + + B n, with A 0,...,

More information

Homework 8 Solutions to Selected Problems

Homework 8 Solutions to Selected Problems Homework 8 Solutions to Selected Problems June 7, 01 1 Chapter 17, Problem Let f(x D[x] and suppose f(x is reducible in D[x]. That is, there exist polynomials g(x and h(x in D[x] such that g(x and h(x

More information

MATH 361: NUMBER THEORY TENTH LECTURE

MATH 361: NUMBER THEORY TENTH LECTURE MATH 361: NUMBER THEORY TENTH LECTURE The subject of this lecture is finite fields. 1. Root Fields Let k be any field, and let f(x) k[x] be irreducible and have positive degree. We want to construct a

More information

Algebra Homework, Edition 2 9 September 2010

Algebra Homework, Edition 2 9 September 2010 Algebra Homework, Edition 2 9 September 2010 Problem 6. (1) Let I and J be ideals of a commutative ring R with I + J = R. Prove that IJ = I J. (2) Let I, J, and K be ideals of a principal ideal domain.

More information

Math 547, Exam 2 Information.

Math 547, Exam 2 Information. Math 547, Exam 2 Information. 3/19/10, LC 303B, 10:10-11:00. Exam 2 will be based on: Homework and textbook sections covered by lectures 2/3-3/5. (see http://www.math.sc.edu/ boylan/sccourses/547sp10/547.html)

More information

The number field sieve in the medium prime case

The number field sieve in the medium prime case The number field sieve in the medium prime case Frederik Vercauteren ESAT/COSIC - K.U. Leuven Joint work with Antoine Joux, Reynald Lercier, Nigel Smart Finite Field DLOG Basis finite field is F p = {0,...,

More information

THE JOHNS HOPKINS UNIVERSITY Faculty of Arts and Sciences FINAL EXAM - SPRING SESSION ADVANCED ALGEBRA II.

THE JOHNS HOPKINS UNIVERSITY Faculty of Arts and Sciences FINAL EXAM - SPRING SESSION ADVANCED ALGEBRA II. THE JOHNS HOPKINS UNIVERSITY Faculty of Arts and Sciences FINAL EXAM - SPRING SESSION 2006 110.402 - ADVANCED ALGEBRA II. Examiner: Professor C. Consani Duration: 3 HOURS (9am-12:00pm), May 15, 2006. No

More information

RINGS: SUMMARY OF MATERIAL

RINGS: SUMMARY OF MATERIAL RINGS: SUMMARY OF MATERIAL BRIAN OSSERMAN This is a summary of terms used and main results proved in the subject of rings, from Chapters 11-13 of Artin. Definitions not included here may be considered

More information

MATH 431 PART 2: POLYNOMIAL RINGS AND FACTORIZATION

MATH 431 PART 2: POLYNOMIAL RINGS AND FACTORIZATION MATH 431 PART 2: POLYNOMIAL RINGS AND FACTORIZATION 1. Polynomial rings (review) Definition 1. A polynomial f(x) with coefficients in a ring R is n f(x) = a i x i = a 0 + a 1 x + a 2 x 2 + + a n x n i=0

More information

A construction of 3-dimensional lattice sieve for number field sieve over GF(p n )

A construction of 3-dimensional lattice sieve for number field sieve over GF(p n ) A construction of 3-dimensional lattice sieve for number field sieve over GF(p n ) Kenichiro Hayasaka 1, Kazumaro Aoki 2, Tetsutaro Kobayashi 2, and Tsuyoshi Takagi 3 Mitsubishi Electric, Japan NTT Secure

More information

The Number Field Sieve for Barreto-Naehrig Curves: Smoothness of Norms

The Number Field Sieve for Barreto-Naehrig Curves: Smoothness of Norms The Number Field Sieve for Barreto-Naehrig Curves: Smoothness of Norms by Michael Shantz A thesis presented to the University of Waterloo in fulfillment of the thesis requirement for the degree of Master

More information

Updating key size estimations for pairings

Updating key size estimations for pairings Updating key size estimations for pairings Razvan Barbulescu 1 and Sylvain Duquesne 2 1 IMJ-PRG, UMR CNRS 7586, Univ Paris 6, Univ Paris 7 razvan.barbulescu@imj-prg.fr 2 IRMAR, UMR CNRS 6625, Univ Rennes

More information

Polynomial Selection Using Lattices

Polynomial Selection Using Lattices Polynomial Selection Using Lattices Mathias Herrmann Alexander May Maike Ritzenhofen Horst Görtz Institute for IT-Security Faculty of Mathematics Ruhr-University Bochum Factoring 2009 September 12 th Intro

More information

A heuristic quasi-polynomial algorithm for discrete logarithm in small characteristic

A heuristic quasi-polynomial algorithm for discrete logarithm in small characteristic ECC, Chennai October 8, 2014 A heuristic quasi-polynomial algorithm for discrete logarithm in small characteristic Razvan Barbulescu 1 Pierrick Gaudry 2 Antoine Joux 3 Emmanuel Thomé 2 IMJ-PRG, Paris Loria,

More information

Computations/Applications

Computations/Applications Computations/Applications 1. Find the inverse of x + 1 in the ring F 5 [x]/(x 3 1). Solution: We use the Euclidean Algorithm: x 3 1 (x + 1)(x + 4x + 1) + 3 (x + 1) 3(x + ) + 0. Thus 3 (x 3 1) + (x + 1)(4x

More information

Lattice Reductions over Euclidean Rings with Applications to Cryptanalysis

Lattice Reductions over Euclidean Rings with Applications to Cryptanalysis IMACC 2017 December 12 14, 2017 Lattice Reductions over Euclidean Rings with Applications to Cryptanalysis Taechan Kim and Changmin Lee NTT Secure Platform Laboratories, Japan and Seoul National University,

More information

18. Cyclotomic polynomials II

18. Cyclotomic polynomials II 18. Cyclotomic polynomials II 18.1 Cyclotomic polynomials over Z 18.2 Worked examples Now that we have Gauss lemma in hand we can look at cyclotomic polynomials again, not as polynomials with coefficients

More information

1. Algebra 1.5. Polynomial Rings

1. Algebra 1.5. Polynomial Rings 1. ALGEBRA 19 1. Algebra 1.5. Polynomial Rings Lemma 1.5.1 Let R and S be rings with identity element. If R > 1 and S > 1, then R S contains zero divisors. Proof. The two elements (1, 0) and (0, 1) are

More information

Math 201C Homework. Edward Burkard. g 1 (u) v + f 2(u) g 2 (u) v2 + + f n(u) a 2,k u k v a 1,k u k v + k=0. k=0 d

Math 201C Homework. Edward Burkard. g 1 (u) v + f 2(u) g 2 (u) v2 + + f n(u) a 2,k u k v a 1,k u k v + k=0. k=0 d Math 201C Homework Edward Burkard 5.1. Field Extensions. 5. Fields and Galois Theory Exercise 5.1.7. If v is algebraic over K(u) for some u F and v is transcendental over K, then u is algebraic over K(v).

More information

Solutions of exercise sheet 6

Solutions of exercise sheet 6 D-MATH Algebra I HS 14 Prof. Emmanuel Kowalski Solutions of exercise sheet 6 1. (Irreducibility of the cyclotomic polynomial) Let n be a positive integer, and P Z[X] a monic irreducible factor of X n 1

More information

Public-key Cryptography: Theory and Practice

Public-key Cryptography: Theory and Practice Public-key Cryptography Theory and Practice Department of Computer Science and Engineering Indian Institute of Technology Kharagpur Chapter 2: Mathematical Concepts Divisibility Congruence Quadratic Residues

More information

ON THE USE OF THE LATTICE SIEVE IN THE 3D NFS

ON THE USE OF THE LATTICE SIEVE IN THE 3D NFS Tatra Mt Math Publ 45 (2010), 161 172 Ø Ñ Å Ø Ñ Ø Ð ÈÙ Ð Ø ÓÒ ON THE USE OF THE LATTICE SIEVE IN THE 3D NFS Pavol Zajac ABSTRACT An adaptation of the Number Field Sieve(NFS) algorithm to solve a discrete

More information

Polynomials over UFD s

Polynomials over UFD s Polynomials over UFD s Let R be a UFD and let K be the field of fractions of R. Our goal is to compare arithmetic in the rings R[x] and K[x]. We introduce the following notion. Definition 1. A non-constant

More information

Math 210B: Algebra, Homework 6

Math 210B: Algebra, Homework 6 Math 210B: Algebra, Homework 6 Ian Coley February 19, 2014 Problem 1. Let K/F be a field extension, α, β K. Show that if [F α) : F ] and [F β) : F ] are relatively prime, then [F α, β) : F ] = [F α) :

More information

Galois theory (Part II)( ) Example Sheet 1

Galois theory (Part II)( ) Example Sheet 1 Galois theory (Part II)(2015 2016) Example Sheet 1 c.birkar@dpmms.cam.ac.uk (1) Find the minimal polynomial of 2 + 3 over Q. (2) Let K L be a finite field extension such that [L : K] is prime. Show that

More information

AN INTRODUCTION TO GALOIS THEORY

AN INTRODUCTION TO GALOIS THEORY AN INTRODUCTION TO GALOIS THEORY STEVEN DALE CUTKOSKY In these notes we consider the problem of constructing the roots of a polynomial. Suppose that F is a subfield of the complex numbers, and f(x) is

More information

Math 121 Homework 2 Solutions

Math 121 Homework 2 Solutions Math 121 Homework 2 Solutions Problem 13.2 #16. Let K/F be an algebraic extension and let R be a ring contained in K that contains F. Prove that R is a subfield of K containing F. We will give two proofs.

More information

Sieve-based factoring algorithms

Sieve-based factoring algorithms Sieve-based factoring algorithms From bicycle chains to number fields Eran Tromer tromer@wisdom.weizmann.ac.il Weizmann Institute of Science Sieve-based factoring p.1/23 Factoring by square root extraction

More information

Polynomial Selection. Thorsten Kleinjung École Polytechnique Fédérale de Lausanne

Polynomial Selection. Thorsten Kleinjung École Polytechnique Fédérale de Lausanne Polynomial Selection Thorsten Kleinjung École Polytechnique Fédérale de Lausanne Contents Brief summary of polynomial selection (no root sieve) Motivation (lattice sieving, monic algebraic polynomial)

More information

2. THE EUCLIDEAN ALGORITHM More ring essentials

2. THE EUCLIDEAN ALGORITHM More ring essentials 2. THE EUCLIDEAN ALGORITHM More ring essentials In this chapter: rings R commutative with 1. An element b R divides a R, or b is a divisor of a, or a is divisible by b, or a is a multiple of b, if there

More information

Solving Discrete Logarithms on a 170-bit MNT Curve by Pairing Reduction

Solving Discrete Logarithms on a 170-bit MNT Curve by Pairing Reduction Solving Discrete Logarithms on a 170-bit MNT Curve by Pairing Reduction Aurore Guillevic and François Morain and Emmanuel Thomé University of Calgary, PIMS CNRS, LIX École Polytechnique, Inria, Loria SAC,

More information

Rings. EE 387, Notes 7, Handout #10

Rings. EE 387, Notes 7, Handout #10 Rings EE 387, Notes 7, Handout #10 Definition: A ring is a set R with binary operations, + and, that satisfy the following axioms: 1. (R, +) is a commutative group (five axioms) 2. Associative law for

More information

Math 120. Groups and Rings Midterm Exam (November 8, 2017) 2 Hours

Math 120. Groups and Rings Midterm Exam (November 8, 2017) 2 Hours Math 120. Groups and Rings Midterm Exam (November 8, 2017) 2 Hours Name: Please read the questions carefully. You will not be given partial credit on the basis of having misunderstood a question, and please

More information

Further linear algebra. Chapter II. Polynomials.

Further linear algebra. Chapter II. Polynomials. Further linear algebra. Chapter II. Polynomials. Andrei Yafaev 1 Definitions. In this chapter we consider a field k. Recall that examples of felds include Q, R, C, F p where p is prime. A polynomial is

More information

ARITHMETIC IN PURE CUBIC FIELDS AFTER DEDEKIND.

ARITHMETIC IN PURE CUBIC FIELDS AFTER DEDEKIND. ARITHMETIC IN PURE CUBIC FIELDS AFTER DEDEKIND. IAN KIMING We will study the rings of integers and the decomposition of primes in cubic number fields K of type K = Q( 3 d) where d Z. Cubic number fields

More information

M3P11/M4P11/M5P11. Galois Theory

M3P11/M4P11/M5P11. Galois Theory BSc and MSci EXAMINATIONS (MATHEMATICS) May-June 2014 This paper is also taken for the relevant examination for the Associateship of the Royal College of Science. M3P11/M4P11/M5P11 Galois Theory Date:

More information

Ph.D. Qualifying Examination in Algebra Department of Mathematics University of Louisville January 2018

Ph.D. Qualifying Examination in Algebra Department of Mathematics University of Louisville January 2018 Ph.D. Qualifying Examination in Algebra Department of Mathematics University of Louisville January 2018 Do 6 problems with at least 2 in each section. Group theory problems: (1) Suppose G is a group. The

More information

FIELD THEORY. Contents

FIELD THEORY. Contents FIELD THEORY MATH 552 Contents 1. Algebraic Extensions 1 1.1. Finite and Algebraic Extensions 1 1.2. Algebraic Closure 5 1.3. Splitting Fields 7 1.4. Separable Extensions 8 1.5. Inseparable Extensions

More information

Section IV.23. Factorizations of Polynomials over a Field

Section IV.23. Factorizations of Polynomials over a Field IV.23 Factorizations of Polynomials 1 Section IV.23. Factorizations of Polynomials over a Field Note. Our experience with classical algebra tells us that finding the zeros of a polynomial is equivalent

More information

Section III.6. Factorization in Polynomial Rings

Section III.6. Factorization in Polynomial Rings III.6. Factorization in Polynomial Rings 1 Section III.6. Factorization in Polynomial Rings Note. We push several of the results in Section III.3 (such as divisibility, irreducibility, and unique factorization)

More information

QUALIFYING EXAM IN ALGEBRA August 2011

QUALIFYING EXAM IN ALGEBRA August 2011 QUALIFYING EXAM IN ALGEBRA August 2011 1. There are 18 problems on the exam. Work and turn in 10 problems, in the following categories. I. Linear Algebra 1 problem II. Group Theory 3 problems III. Ring

More information

Lecture 7.5: Euclidean domains and algebraic integers

Lecture 7.5: Euclidean domains and algebraic integers Lecture 7.5: Euclidean domains and algebraic integers Matthew Macauley Department of Mathematical Sciences Clemson University http://www.math.clemson.edu/~macaule/ Math 4120, Modern Algebra M. Macauley

More information

Mathematical Olympiad Training Polynomials

Mathematical Olympiad Training Polynomials Mathematical Olympiad Training Polynomials Definition A polynomial over a ring R(Z, Q, R, C) in x is an expression of the form p(x) = a n x n + a n 1 x n 1 + + a 1 x + a 0, a i R, for 0 i n. If a n 0,

More information

MTH310 EXAM 2 REVIEW

MTH310 EXAM 2 REVIEW MTH310 EXAM 2 REVIEW SA LI 4.1 Polynomial Arithmetic and the Division Algorithm A. Polynomial Arithmetic *Polynomial Rings If R is a ring, then there exists a ring T containing an element x that is not

More information

Polynomial Rings. (Last Updated: December 8, 2017)

Polynomial Rings. (Last Updated: December 8, 2017) Polynomial Rings (Last Updated: December 8, 2017) These notes are derived primarily from Abstract Algebra, Theory and Applications by Thomas Judson (16ed). Most of this material is drawn from Chapters

More information

Finite Fields. Saravanan Vijayakumaran Department of Electrical Engineering Indian Institute of Technology Bombay

Finite Fields. Saravanan Vijayakumaran Department of Electrical Engineering Indian Institute of Technology Bombay 1 / 25 Finite Fields Saravanan Vijayakumaran sarva@ee.iitb.ac.in Department of Electrical Engineering Indian Institute of Technology Bombay September 25, 2014 2 / 25 Fields Definition A set F together

More information

Block Wiedemann likes Schirokauer maps

Block Wiedemann likes Schirokauer maps Block Wiedemann likes Schirokauer maps E. Thomé INRIA/CARAMEL, Nancy. /* EPI CARAMEL */ C,A, /* Cryptologie, Arithmétique : */ R,a, /* Matériel et Logiciel */ M,E, L,i= 5,e, d[5],q[999 ]={0};main(N ){for

More information

ALGEBRA PH.D. QUALIFYING EXAM September 27, 2008

ALGEBRA PH.D. QUALIFYING EXAM September 27, 2008 ALGEBRA PH.D. QUALIFYING EXAM September 27, 2008 A passing paper consists of four problems solved completely plus significant progress on two other problems; moreover, the set of problems solved completely

More information

Lecture 7: Polynomial rings

Lecture 7: Polynomial rings Lecture 7: Polynomial rings Rajat Mittal IIT Kanpur You have seen polynomials many a times till now. The purpose of this lecture is to give a formal treatment to constructing polynomials and the rules

More information

Ideal Lattices and NTRU

Ideal Lattices and NTRU Lattices and Homomorphic Encryption, Spring 2013 Instructors: Shai Halevi, Tal Malkin April 23-30, 2013 Ideal Lattices and NTRU Scribe: Kina Winoto 1 Algebraic Background (Reminders) Definition 1. A commutative

More information

Finite Fields: An introduction through exercises Jonathan Buss Spring 2014

Finite Fields: An introduction through exercises Jonathan Buss Spring 2014 Finite Fields: An introduction through exercises Jonathan Buss Spring 2014 A typical course in abstract algebra starts with groups, and then moves on to rings, vector spaces, fields, etc. This sequence

More information

Chapter 6. Approximation of algebraic numbers by rationals. 6.1 Liouville s Theorem and Roth s Theorem

Chapter 6. Approximation of algebraic numbers by rationals. 6.1 Liouville s Theorem and Roth s Theorem Chapter 6 Approximation of algebraic numbers by rationals Literature: W.M. Schmidt, Diophantine approximation, Lecture Notes in Mathematics 785, Springer Verlag 1980, Chap.II, 1,, Chap. IV, 1 L.J. Mordell,

More information

Practice problems for first midterm, Spring 98

Practice problems for first midterm, Spring 98 Practice problems for first midterm, Spring 98 midterm to be held Wednesday, February 25, 1998, in class Dave Bayer, Modern Algebra All rings are assumed to be commutative with identity, as in our text.

More information

CHAPTER 14. Ideals and Factor Rings

CHAPTER 14. Ideals and Factor Rings CHAPTER 14 Ideals and Factor Rings Ideals Definition (Ideal). A subring A of a ring R is called a (two-sided) ideal of R if for every r 2 R and every a 2 A, ra 2 A and ar 2 A. Note. (1) A absorbs elements

More information

HILBERT l-class FIELD TOWERS OF. Hwanyup Jung

HILBERT l-class FIELD TOWERS OF. Hwanyup Jung Korean J. Math. 20 (2012), No. 4, pp. 477 483 http://dx.doi.org/10.11568/kjm.2012.20.4.477 HILBERT l-class FIELD TOWERS OF IMAGINARY l-cyclic FUNCTION FIELDS Hwanyup Jung Abstract. In this paper we study

More information

D-MATH Algebra I HS18 Prof. Rahul Pandharipande. Solution 6. Unique Factorization Domains

D-MATH Algebra I HS18 Prof. Rahul Pandharipande. Solution 6. Unique Factorization Domains D-MATH Algebra I HS18 Prof. Rahul Pandharipande Solution 6 Unique Factorization Domains 1. Let R be a UFD. Let that a, b R be coprime elements (that is, gcd(a, b) R ) and c R. Suppose that a c and b c.

More information

Abstract Algebra, Second Edition, by John A. Beachy and William D. Blair. Corrections and clarifications

Abstract Algebra, Second Edition, by John A. Beachy and William D. Blair. Corrections and clarifications 1 Abstract Algebra, Second Edition, by John A. Beachy and William D. Blair Corrections and clarifications Note: Some corrections were made after the first printing of the text. page 9, line 8 For of the

More information

D-MATH Algebra I HS 2013 Prof. Brent Doran. Exercise 11. Rings: definitions, units, zero divisors, polynomial rings

D-MATH Algebra I HS 2013 Prof. Brent Doran. Exercise 11. Rings: definitions, units, zero divisors, polynomial rings D-MATH Algebra I HS 2013 Prof. Brent Doran Exercise 11 Rings: definitions, units, zero divisors, polynomial rings 1. Show that the matrices M(n n, C) form a noncommutative ring. What are the units of M(n

More information

Solutions for Problem Set 6

Solutions for Problem Set 6 Solutions for Problem Set 6 A: Find all subfields of Q(ζ 8 ). SOLUTION. All subfields of K must automatically contain Q. Thus, this problem concerns the intermediate fields for the extension K/Q. In a

More information

Part II Galois Theory

Part II Galois Theory Part II Galois Theory Theorems Based on lectures by C. Birkar Notes taken by Dexter Chua Michaelmas 2015 These notes are not endorsed by the lecturers, and I have modified them (often significantly) after

More information

1 2 3 style total. Circle the correct answer; no explanation is required. Each problem in this section counts 5 points.

1 2 3 style total. Circle the correct answer; no explanation is required. Each problem in this section counts 5 points. 1 2 3 style total Math 415 Examination 3 Please print your name: Answer Key 1 True/false Circle the correct answer; no explanation is required. Each problem in this section counts 5 points. 1. The rings

More information

Chapter 12. Algebraic numbers and algebraic integers Algebraic numbers

Chapter 12. Algebraic numbers and algebraic integers Algebraic numbers Chapter 12 Algebraic numbers and algebraic integers 12.1 Algebraic numbers Definition 12.1. A number α C is said to be algebraic if it satisfies a polynomial equation with rational coefficients a i Q.

More information

Group Theory. 1. Show that Φ maps a conjugacy class of G into a conjugacy class of G.

Group Theory. 1. Show that Φ maps a conjugacy class of G into a conjugacy class of G. Group Theory Jan 2012 #6 Prove that if G is a nonabelian group, then G/Z(G) is not cyclic. Aug 2011 #9 (Jan 2010 #5) Prove that any group of order p 2 is an abelian group. Jan 2012 #7 G is nonabelian nite

More information

DONG QUAN NGOC NGUYEN

DONG QUAN NGOC NGUYEN REPRESENTATION OF UNITS IN CYCLOTOMIC FUNCTION FIELDS DONG QUAN NGOC NGUYEN Contents 1 Introduction 1 2 Some basic notions 3 21 The Galois group Gal(K /k) 3 22 Representation of integers in O, and the

More information

NOTES ON FINITE FIELDS

NOTES ON FINITE FIELDS NOTES ON FINITE FIELDS AARON LANDESMAN CONTENTS 1. Introduction to finite fields 2 2. Definition and constructions of fields 3 2.1. The definition of a field 3 2.2. Constructing field extensions by adjoining

More information

Selecting polynomials for the Function Field Sieve

Selecting polynomials for the Function Field Sieve Selecting polynomials for the Function Field Sieve Razvan Barbulescu Université de Lorraine, CNRS, INRIA, France razvan.barbulescu@inria.fr Abstract The Function Field Sieve algorithm is dedicated to computing

More information

COUNTING SEPARABLE POLYNOMIALS IN Z/n[x]

COUNTING SEPARABLE POLYNOMIALS IN Z/n[x] COUNTING SEPARABLE POLYNOMIALS IN Z/n[x] JASON K.C. POLAK Abstract. For a commutative ring R, a polynomial f R[x] is called separable if R[x]/f is a separable R-algebra. We derive formulae for the number

More information

Lecture Prelude: Agarwal-Biswas Probabilistic Testing

Lecture Prelude: Agarwal-Biswas Probabilistic Testing 6.S897 Algebra and Computation March 19, 2012 Lecture 12 Lecturer: Madhu Sudan Scribe: Zeyuan Allen Zhu 1 Today s Problem: Primality Testing Given an n-bit integer N, output YES if n is prime and NO otherwise.

More information

FACTORIZATION OF IDEALS

FACTORIZATION OF IDEALS FACTORIZATION OF IDEALS 1. General strategy Recall the statement of unique factorization of ideals in Dedekind domains: Theorem 1.1. Let A be a Dedekind domain and I a nonzero ideal of A. Then there are

More information

22M: 121 Final Exam. Answer any three in this section. Each question is worth 10 points.

22M: 121 Final Exam. Answer any three in this section. Each question is worth 10 points. 22M: 121 Final Exam This is 2 hour exam. Begin each question on a new sheet of paper. All notations are standard and the ones used in class. Please write clearly and provide all details of your work. Good

More information

Factoring Algorithms Pollard s p 1 Method. This method discovers a prime factor p of an integer n whenever p 1 has only small prime factors.

Factoring Algorithms Pollard s p 1 Method. This method discovers a prime factor p of an integer n whenever p 1 has only small prime factors. Factoring Algorithms Pollard s p 1 Method This method discovers a prime factor p of an integer n whenever p 1 has only small prime factors. Input: n (to factor) and a limit B Output: a proper factor of

More information

The Number Field Sieve in the Medium Prime Case

The Number Field Sieve in the Medium Prime Case The Number Field Sieve in the Medium Prime Case Antoine Joux 1,3, Reynald Lercier 1,2, Nigel Smart 4, and Frederik Vercauteren 5 1 DGA 2 CELAR Route de Laillé, 35170 Bruz, France Reynald.Lercier@m4x.org

More information

88 CHAPTER 3. SYMMETRIES

88 CHAPTER 3. SYMMETRIES 88 CHAPTER 3 SYMMETRIES 31 Linear Algebra Start with a field F (this will be the field of scalars) Definition: A vector space over F is a set V with a vector addition and scalar multiplication ( scalars

More information

Polynomial Rings. i=0. i=0. n+m. i=0. k=0

Polynomial Rings. i=0. i=0. n+m. i=0. k=0 Polynomial Rings 1. Definitions and Basic Properties For convenience, the ring will always be a commutative ring with identity. Basic Properties The polynomial ring R[x] in the indeterminate x with coefficients

More information

Math 2070BC Term 2 Weeks 1 13 Lecture Notes

Math 2070BC Term 2 Weeks 1 13 Lecture Notes Math 2070BC 2017 18 Term 2 Weeks 1 13 Lecture Notes Keywords: group operation multiplication associative identity element inverse commutative abelian group Special Linear Group order infinite order cyclic

More information

Irreducible Polynomials over Finite Fields

Irreducible Polynomials over Finite Fields Chapter 4 Irreducible Polynomials over Finite Fields 4.1 Construction of Finite Fields As we will see, modular arithmetic aids in testing the irreducibility of polynomials and even in completely factoring

More information

CYCLOTOMIC POLYNOMIALS

CYCLOTOMIC POLYNOMIALS CYCLOTOMIC POLYNOMIALS 1. The Derivative and Repeated Factors The usual definition of derivative in calculus involves the nonalgebraic notion of limit that requires a field such as R or C (or others) where

More information

Maximal Class Numbers of CM Number Fields

Maximal Class Numbers of CM Number Fields Maximal Class Numbers of CM Number Fields R. C. Daileda R. Krishnamoorthy A. Malyshev Abstract Fix a totally real number field F of degree at least 2. Under the assumptions of the generalized Riemann hypothesis

More information

CONSTRUCTIBLE NUMBERS AND GALOIS THEORY

CONSTRUCTIBLE NUMBERS AND GALOIS THEORY CONSTRUCTIBLE NUMBERS AND GALOIS THEORY SVANTE JANSON Abstract. We correct some errors in Grillet [2], Section V.9. 1. Introduction The purpose of this note is to correct some errors in Grillet [2], Section

More information

Good algebraic reading. MPRI Cours III. Integer factorization NFS. A) Definitions and properties

Good algebraic reading. MPRI Cours III. Integer factorization NFS. A) Definitions and properties F. Morain École polytechnique MPRI cours -1 007-008 3/45 F. Morain École polytechnique MPRI cours -1 007-008 4/45 ECOLE POLYTECHNIQUE MPRI Cours -1 F. Morain III. Integer factorization NFS 007/10/01 I.

More information

Polynomial Rings. i=0

Polynomial Rings. i=0 Polynomial Rings 4-15-2018 If R is a ring, the ring of polynomials in x with coefficients in R is denoted R[x]. It consists of all formal sums a i x i. Here a i = 0 for all but finitely many values of

More information

Industrial Strength Factorization. Lawren Smithline Cornell University

Industrial Strength Factorization. Lawren Smithline Cornell University Industrial Strength Factorization Lawren Smithline Cornell University lawren@math.cornell.edu http://www.math.cornell.edu/~lawren Industrial Strength Factorization Given an integer N, determine the prime

More information

School of Mathematics and Statistics. MT5836 Galois Theory. Handout 0: Course Information

School of Mathematics and Statistics. MT5836 Galois Theory. Handout 0: Course Information MRQ 2017 School of Mathematics and Statistics MT5836 Galois Theory Handout 0: Course Information Lecturer: Martyn Quick, Room 326. Prerequisite: MT3505 (or MT4517) Rings & Fields Lectures: Tutorials: Mon

More information

CHAPTER I. Rings. Definition A ring R is a set with two binary operations, addition + and

CHAPTER I. Rings. Definition A ring R is a set with two binary operations, addition + and CHAPTER I Rings 1.1 Definitions and Examples Definition 1.1.1. A ring R is a set with two binary operations, addition + and multiplication satisfying the following conditions for all a, b, c in R : (i)

More information