Recovering Short Generators of Principal Ideals in Cyclotomic Rings - - PowerPoint PPT Presentation

recovering short generators of principal ideals in
SMART_READER_LITE
LIVE PREVIEW

Recovering Short Generators of Principal Ideals in Cyclotomic Rings - - PowerPoint PPT Presentation

Recovering Short Generators of Principal Ideals in Cyclotomic Rings L eo Ducas CWI, Amsterdam, The Netherlands Joint work with Ronald Cramer Chris Peikert Oded Regev Conference on Mathematics of Cryptography, August 2015, UC Irvine 1 1


slide-1
SLIDE 1

Recovering Short Generators of Principal Ideals in Cyclotomic Rings

L´ eo Ducas

CWI, Amsterdam, The Netherlands

Joint work with Ronald Cramer Chris Peikert Oded Regev Conference on Mathematics of Cryptography, August 2015, UC Irvine1

1Slides revised on Sept. 7, 2015. L´ eo Ducas (CWI, Amsterdam) Recovering Short Generators UC Irvine, August 2015 1 / 30

slide-2
SLIDE 2

Recovering Short Generators for Cryptanalysis

A few cryptosystems (Fully Homomorphic Encryption [Smart and Vercauteren, 2010] and Multilinear Maps [Garg et al., 2013, Langlois et al., 2014]) share this KeyGen: sk Choose a short g in some ring R as a private key pk Give a bad Z-basis B of the ideal (g) as a public key (e.g. HNF). Cryptanalysis in two steps (Key Recovery Attack)

L´ eo Ducas (CWI, Amsterdam) Recovering Short Generators UC Irvine, August 2015 2 / 30

slide-3
SLIDE 3

Recovering Short Generators for Cryptanalysis

A few cryptosystems (Fully Homomorphic Encryption [Smart and Vercauteren, 2010] and Multilinear Maps [Garg et al., 2013, Langlois et al., 2014]) share this KeyGen: sk Choose a short g in some ring R as a private key pk Give a bad Z-basis B of the ideal (g) as a public key (e.g. HNF). Cryptanalysis in two steps (Key Recovery Attack)

1 Principal Ideal Problem (PIP) ◮ Given a Z-basis B of a principal ideal I, ◮ Recover some generator h (i.e. I = (h)) L´ eo Ducas (CWI, Amsterdam) Recovering Short Generators UC Irvine, August 2015 2 / 30

slide-4
SLIDE 4

Recovering Short Generators for Cryptanalysis

A few cryptosystems (Fully Homomorphic Encryption [Smart and Vercauteren, 2010] and Multilinear Maps [Garg et al., 2013, Langlois et al., 2014]) share this KeyGen: sk Choose a short g in some ring R as a private key pk Give a bad Z-basis B of the ideal (g) as a public key (e.g. HNF). Cryptanalysis in two steps (Key Recovery Attack)

1 Principal Ideal Problem (PIP) ◮ Given a Z-basis B of a principal ideal I, ◮ Recover some generator h (i.e. I = (h)) 2 Short Generator Problem ◮ Given an arbitrary generator h ∈ R of I ◮ Recover g (or some g ′ equivalently short) L´ eo Ducas (CWI, Amsterdam) Recovering Short Generators UC Irvine, August 2015 2 / 30

slide-5
SLIDE 5

Cost of those two steps

1 Principal Ideal Problem (PIP) ◮ sub-exponential time (2 ˜

O(n2/3)) classical

algorithm [Biasse and Fieker, 2014, Biasse, 2014].

◮ progress toward quantum polynomial time algorithm

[Eisentr¨ ager et al., 2014, Biasse and Song, 2015b, Campbell et al., 2014, Biasse and Song, 2015a].

2 Short Generator Problem ◮ equivalent to the CVP in the log-unit lattice ◮ becomes a BDD problem in the crypto cases. ◮ claimed to be easy [Campbell et al., 2014] in the cyclotomic case

m = 2k

◮ confirmed by experiments [Schank, 2015]

This Work [Cramer et al., 2015]

We focus on step

2 , and prove it can be solved in classical polynomial

time for the aforementioned cryptanalytic instances, when the ring R is the ring of integers of the cyclotomic number field K = Q(ζm) for m = pk.

L´ eo Ducas (CWI, Amsterdam) Recovering Short Generators UC Irvine, August 2015 3 / 30

slide-6
SLIDE 6

Overview

1

Introduction

2

Preliminary

3

Geometry of Cyclotomic Units

4

Shortness of Log g

L´ eo Ducas (CWI, Amsterdam) Recovering Short Generators UC Irvine, August 2015 4 / 30

slide-7
SLIDE 7

The Logarithmic Embedding

Let K be a number field of degree n, σ1 . . . σn : K → C be its embeddings, and let R be its ring of integers. The logarithmic Embedding is defined as Log : K → Rn x → (log |σ1(x)|, . . . , log |σn(x)|) It induces

◮ a group morphism from (K \ {0}, ·) to (Rn, +) ◮ a monoid morphism from (R \ {0}, ·) to (Rn, +)

L´ eo Ducas (CWI, Amsterdam) Recovering Short Generators UC Irvine, August 2015 5 / 30

slide-8
SLIDE 8

The Unit Group

Let R× denotes the multiplicative group of units of R. Let Λ = Log R×. By Dirichlet Unit Theorem

◮ the kernel of Log is the cyclic group T of roots of unity of R ◮ Λ ⊂ Rn is an lattice of rank r + c − 1

(where K has r real embeddings and 2c complex embeddings)

L´ eo Ducas (CWI, Amsterdam) Recovering Short Generators UC Irvine, August 2015 6 / 30

slide-9
SLIDE 9

The Unit Group

Let R× denotes the multiplicative group of units of R. Let Λ = Log R×. By Dirichlet Unit Theorem

◮ the kernel of Log is the cyclic group T of roots of unity of R ◮ Λ ⊂ Rn is an lattice of rank r + c − 1

(where K has r real embeddings and 2c complex embeddings)

Reduction to CVP

Elements g, h ∈ R generate the same ideal if and only if h = g · u for some unit u ∈ R×. In particular Log g ∈ Log h + Λ. and g is the “smallest” generator iff Log u ∈ Λ is a vector “closest” to Log h.

L´ eo Ducas (CWI, Amsterdam) Recovering Short Generators UC Irvine, August 2015 6 / 30

slide-10
SLIDE 10

Example: Embedding Z[ √ 2] ֒ → R2

1 1

−1 1 2

p

2 1 +

p

2

◮ x-axis: a + b

√ 2 → a + b √ 2

◮ y-axis: a + b

√ 2 → a − b √ 2

L´ eo Ducas (CWI, Amsterdam) Recovering Short Generators UC Irvine, August 2015 7 / 30

slide-11
SLIDE 11

Example: Embedding Z[ √ 2] ֒ → R2

1 1

−1 1 2

p

2 1 +

p

2

◮ x-axis: a + b

√ 2 → a + b √ 2

◮ y-axis: a + b

√ 2 → a − b √ 2

L´ eo Ducas (CWI, Amsterdam) Recovering Short Generators UC Irvine, August 2015 7 / 30

slide-12
SLIDE 12

Example: Embedding Z[ √ 2] ֒ → R2

1 1

−1 1 2

p

2 1 +

p

2

◮ x-axis: a + b

√ 2 → a + b √ 2

◮ y-axis: a + b

√ 2 → a − b √ 2

◮ component-wise multiplication

L´ eo Ducas (CWI, Amsterdam) Recovering Short Generators UC Irvine, August 2015 7 / 30

slide-13
SLIDE 13

Example: Embedding Z[ √ 2] ֒ → R2

1 1

−1 1 2

p

2 1 +

p

2

◮ x-axis: a + b

√ 2 → a + b √ 2

◮ y-axis: a + b

√ 2 → a − b √ 2

◮ component-wise multiplication ◮ Symmetries induced by

◮ mult. by −1 ◮ conjugation

√ 2 → − √ 2

L´ eo Ducas (CWI, Amsterdam) Recovering Short Generators UC Irvine, August 2015 7 / 30

slide-14
SLIDE 14

Example: Embedding Z[ √ 2] ֒ → R2

1 1

−1 1 2

p

2 1 +

p

2

◮ x-axis: a + b

√ 2 → a + b √ 2

◮ y-axis: a + b

√ 2 → a − b √ 2

◮ component-wise multiplication ◮ Symmetries induced by

◮ mult. by −1 ◮ conjugation

√ 2 → − √ 2

“Orthogonal” elements Units (algebraic norm 1) “Isonorms” curves

L´ eo Ducas (CWI, Amsterdam) Recovering Short Generators UC Irvine, August 2015 7 / 30

slide-15
SLIDE 15

Example: Logarithmic Embedding Log Z[ √ 2]

({•}, +) is a sub-monoid of R2

1 1

L´ eo Ducas (CWI, Amsterdam) Recovering Short Generators UC Irvine, August 2015 8 / 30

slide-16
SLIDE 16

Example: Logarithmic Embedding Log Z[ √ 2]

Λ =({•}, +) ∩ is a lattice of R2, orthogonal to (1, 1)

1 1

L´ eo Ducas (CWI, Amsterdam) Recovering Short Generators UC Irvine, August 2015 8 / 30

slide-17
SLIDE 17

Example: Logarithmic Embedding Log Z[ √ 2]

{•} ∩ are shifted finite copies of Λ

1 1

L´ eo Ducas (CWI, Amsterdam) Recovering Short Generators UC Irvine, August 2015 8 / 30

slide-18
SLIDE 18

Example: Logarithmic Embedding Log Z[ √ 2]

Some {•} ∩ may be empty (e.g. no elements of Norm 3 in Z[ √ 2])

1 1

L´ eo Ducas (CWI, Amsterdam) Recovering Short Generators UC Irvine, August 2015 8 / 30

slide-19
SLIDE 19

Reduction modulo Λ = Log Z[ √ 2]×

The reduction modΛ for various fundamental domains.

1 1

L´ eo Ducas (CWI, Amsterdam) Recovering Short Generators UC Irvine, August 2015 9 / 30

slide-20
SLIDE 20

Reduction modulo Λ = Log Z[ √ 2]×

The reduction modΛ for various fundamental domains.

1 1

L´ eo Ducas (CWI, Amsterdam) Recovering Short Generators UC Irvine, August 2015 9 / 30

slide-21
SLIDE 21

Reduction modulo Λ = Log Z[ √ 2]×

The reduction modΛ for various fundamental domains.

1 1

L´ eo Ducas (CWI, Amsterdam) Recovering Short Generators UC Irvine, August 2015 9 / 30

slide-22
SLIDE 22

Reduction modulo Λ = Log Z[ √ 2]×

The reduction modΛ for various fundamental domains.

1 1

L´ eo Ducas (CWI, Amsterdam) Recovering Short Generators UC Irvine, August 2015 9 / 30

slide-23
SLIDE 23

Decoding with the RoundOff algorithm

The simplest algorithm [Babai, 1986] to reduce modulo a lattice

RoundOff(B, t), B a Z-basis of Λ

v = B · ⌊(B∨)⊤ · t⌉ e = t − v return (t, e) where t ∈ B Used as a decoding algorithm, its correctness is characterized by the error e and the dual basis B∨.

Fact(Correctness of RoundOff)

let t = v + e for some v ∈ Λ. If b∨

j , e ∈ [− 1 2, 1 2) for all j, then

RoundOff(B, t) = (v, e).

L´ eo Ducas (CWI, Amsterdam) Recovering Short Generators UC Irvine, August 2015 10 / 30

slide-24
SLIDE 24

RoundOff in pictures

t t RoundOff algorithm:

L´ eo Ducas (CWI, Amsterdam) Recovering Short Generators UC Irvine, August 2015 11 / 30

slide-25
SLIDE 25

RoundOff in pictures

t t × (B∨)t − → t′ RoundOff algorithm:

1 use basis B to switch to the lattice Zn (×(B∨)t)

t′ = (B∨)t · t;

L´ eo Ducas (CWI, Amsterdam) Recovering Short Generators UC Irvine, August 2015 11 / 30

slide-26
SLIDE 26

RoundOff in pictures

t t × (B∨)t − → t′ v′ RoundOff algorithm:

1 use basis B to switch to the lattice Zn (×(B∨)t) 2 Round each coordinate

t′ = (B∨)t · t; v′ = ⌊t′⌉;

L´ eo Ducas (CWI, Amsterdam) Recovering Short Generators UC Irvine, August 2015 11 / 30

slide-27
SLIDE 27

RoundOff in pictures

t v t v t v t v t v t v t v t v t v t v t v t v t v t v t v t v t v t v t v t v t v t v t v t v t v t v t v t v t v t v t v t v t v t v t v t v t v t v t v t v t v t v t v t v t v t v t v t v t v t v t v t v t v t v t v t v t v t v t v t v t v t v t v t v t v t v t v t v t v t v t v t v t v t v t v t v t v t v t v t v t v × (B∨)t − → ← − × B t′ v′ RoundOff algorithm:

1 use basis B to switch to the lattice Zn (×(B∨)t) 2 Round each coordinate 3 Switch back to the lattice L (×B)

t′ = (B∨)t · t; v′ = ⌊t′⌉; v = B · v′

L´ eo Ducas (CWI, Amsterdam) Recovering Short Generators UC Irvine, August 2015 11 / 30

slide-28
SLIDE 28

Recovering Short Generator: Proof Plan

Folklore strategy [Bernstein, 2014, Campbell et al., 2014] to recover a short generator g

1 Construct a basis B of the unit-log lattice Log R× ◮ For K = Q(ζm), m = pk, an (almost2) canonical basis is given by

bj = Log 1 − ζj 1 − ζ , j ∈ {2, . . . , m/2}, j co-prime with m

2 Prove that the basis is “good”, that is b∨

j are all small

3 Prove that e = Log g is small enough 2it only spans a super-lattice of finite index h+ which is conjectured to be small L´ eo Ducas (CWI, Amsterdam) Recovering Short Generators UC Irvine, August 2015 12 / 30

slide-29
SLIDE 29

Recovering Short Generator: Proof Plan

Folklore strategy [Bernstein, 2014, Campbell et al., 2014] to recover a short generator g

1 Construct a basis B of the unit-log lattice Log R× ◮ For K = Q(ζm), m = pk, an (almost2) canonical basis is given by

bj = Log 1 − ζj 1 − ζ , j ∈ {2, . . . , m/2}, j co-prime with m

2 Prove that the basis is “good”, that is b∨

j are all small

3 Prove that e = Log g is small enough

Technical contributions [CDPR15]

2

Estimate b∨

j precisely using analytic tools

[Washington, 1997, Littlewood, 1924]

3

Bound e using theory of sub-exponential random variables [Vershynin, 2012]

2it only spans a super-lattice of finite index h+ which is conjectured to be small L´ eo Ducas (CWI, Amsterdam) Recovering Short Generators UC Irvine, August 2015 12 / 30

slide-30
SLIDE 30

Overview

1

Introduction

2

Preliminary

3

Geometry of Cyclotomic Units

4

Shortness of Log g

L´ eo Ducas (CWI, Amsterdam) Recovering Short Generators UC Irvine, August 2015 13 / 30

slide-31
SLIDE 31

Cyclotomic units

We fix the number field K = Q(ζm) where m = pk for some prime p. Set zj = 1 − ζj and bj = zj/z1 for all j coprimes with m. The bj are units, and the group C generated by ζ, bj for j = 2, . . . m/2, j coprime with m is known as the group of cyclotomic units.

3One just need the index [R× : C] = h+(m) to be small. L´ eo Ducas (CWI, Amsterdam) Recovering Short Generators UC Irvine, August 2015 14 / 30

slide-32
SLIDE 32

Cyclotomic units

We fix the number field K = Q(ζm) where m = pk for some prime p. Set zj = 1 − ζj and bj = zj/z1 for all j coprimes with m. The bj are units, and the group C generated by ζ, bj for j = 2, . . . m/2, j coprime with m is known as the group of cyclotomic units.

Simplification 1 (Weber’s Class Number Problem)

We assume3 that R× = C. It is conjectured to be true for m = 2k.

3One just need the index [R× : C] = h+(m) to be small. L´ eo Ducas (CWI, Amsterdam) Recovering Short Generators UC Irvine, August 2015 14 / 30

slide-33
SLIDE 33

Cyclotomic units

We fix the number field K = Q(ζm) where m = pk for some prime p. Set zj = 1 − ζj and bj = zj/z1 for all j coprimes with m. The bj are units, and the group C generated by ζ, bj for j = 2, . . . m/2, j coprime with m is known as the group of cyclotomic units.

Simplification 1 (Weber’s Class Number Problem)

We assume3 that R× = C. It is conjectured to be true for m = 2k.

Simplification 2 (for this talk)

We study the dual matrix Z∨, where zj = Log zj. It can be proved to close to B∨ where bj = zj − z1.

3One just need the index [R× : C] = h+(m) to be small. L´ eo Ducas (CWI, Amsterdam) Recovering Short Generators UC Irvine, August 2015 14 / 30

slide-34
SLIDE 34

The matrix Z

The field K admits exactly ϕ(m)/2 pairs of conjugate complex embeddings σi = σ−i, where σi : ζ → ωi is defined for all i ∈ Z×

m.

where ω = exp(2ıπ/m) ∈ C is a primitive root of unity.

L´ eo Ducas (CWI, Amsterdam) Recovering Short Generators UC Irvine, August 2015 15 / 30

slide-35
SLIDE 35

The matrix Z

The field K admits exactly ϕ(m)/2 pairs of conjugate complex embeddings σi = σ−i, where σi : ζ → ωi is defined for all i ∈ Z×

m.

where ω = exp(2ıπ/m) ∈ C is a primitive root of unity. cyclicity.pdf

Figure : Na¨ ıve Indexing (i = 1, 3, 5, . . . )

L´ eo Ducas (CWI, Amsterdam) Recovering Short Generators UC Irvine, August 2015 15 / 30

slide-36
SLIDE 36

The matrix Z

The field K admits exactly ϕ(m)/2 pairs of conjugate complex embeddings σi = σ−i, where σi : ζ → ωi is defined for all i ∈ Z×

m.

where ω = exp(2ıπ/m) ∈ C is a primitive root of unity. cyclicity2.pdf

Figure : Multiplicative Indexing (i = 30, 31, 32, . . . )

L´ eo Ducas (CWI, Amsterdam) Recovering Short Generators UC Irvine, August 2015 15 / 30

slide-37
SLIDE 37

Dual of a Circulant Basis

Notice that Zij = log |σj(1 − ζi)| = log |1 − ωij|: the matrix Z is G-circulant for the cyclic group G = Z×

m/ ± 1.

L´ eo Ducas (CWI, Amsterdam) Recovering Short Generators UC Irvine, August 2015 16 / 30

slide-38
SLIDE 38

Dual of a Circulant Basis

Notice that Zij = log |σj(1 − ζi)| = log |1 − ωij|: the matrix Z is G-circulant for the cyclic group G = Z×

m/ ± 1.

Fact

If M is a non-singular, G-circulant matrix, then

◮ its eigenvalues are given by λχ = g∈G χ(g) · M1,g

where χ ∈ G is a character G → C

◮ All the vectors of M∨ have the same norm m∨ i 2 = χ∈ G |λχ|−2

Note: The characters of G can be extended to even Dirichlet characters mod m: χ : Z → C, by setting χ(a) = 0 if gcd(a, m) > 1.

L´ eo Ducas (CWI, Amsterdam) Recovering Short Generators UC Irvine, August 2015 16 / 30

slide-39
SLIDE 39

Computing the Eigenvalues

We wish to give a lower bound on |λχ| where λχ =

  • a∈G

χ(a) · log |1 − ωa|.

L´ eo Ducas (CWI, Amsterdam) Recovering Short Generators UC Irvine, August 2015 17 / 30

slide-40
SLIDE 40

Computing the Eigenvalues

We wish to give a lower bound on |λχ| where λχ =

  • a∈G

χ(a) · log |1 − ωa|.

Why not stop here ?

This formula is pretty easy to evaluate numerically: at this point we can already check RoundOff’s correctness numerically up to m = 106 or more.

L´ eo Ducas (CWI, Amsterdam) Recovering Short Generators UC Irvine, August 2015 17 / 30

slide-41
SLIDE 41

Computing the Eigenvalues

We wish to give a lower bound on |λχ| where λχ =

  • a∈G

χ(a) · log |1 − ωa|.

Why not stop here ?

This formula is pretty easy to evaluate numerically: at this point we can already check RoundOff’s correctness numerically up to m = 106 or more.

Something cute to be learned !

The equations looks not very algebraic (log ?), yet appears quite naturally... Surely mathematicians knows how to deal with this. Indeed, computation of the volume of that basis appears in [Washington, 1997].

L´ eo Ducas (CWI, Amsterdam) Recovering Short Generators UC Irvine, August 2015 17 / 30

slide-42
SLIDE 42

Computing the Eigenvalues

We wish to give a lower bound on |λχ| where λχ =

  • a∈G

χ(a) · log |1 − ωa|. We develop using the Taylor series log |1 − x| = −

  • k≥1

xk/k

L´ eo Ducas (CWI, Amsterdam) Recovering Short Generators UC Irvine, August 2015 17 / 30

slide-43
SLIDE 43

Computing the Eigenvalues

We wish to give a lower bound on |λχ| where λχ =

  • a∈G

χ(a) · log |1 − ωa|. We develop using the Taylor series log |1 − x| = −

  • k≥1

xk/k and obtain −λχ =

  • a∈G
  • k≥1

χ(a) · ωka k .

L´ eo Ducas (CWI, Amsterdam) Recovering Short Generators UC Irvine, August 2015 17 / 30

slide-44
SLIDE 44

Computing the Eigenvalues (continued)

We were trying to lower bound |λχ| where −λχ =

  • k≥1

1 k ·

  • a∈G

χ(a) · ωka.

L´ eo Ducas (CWI, Amsterdam) Recovering Short Generators UC Irvine, August 2015 18 / 30

slide-45
SLIDE 45

Computing the Eigenvalues (continued)

We were trying to lower bound |λχ| where −λχ =

  • k≥1

1 k ·

  • a∈G

χ(a) · ωka.

Fact (Separability of Gauss Sums)

If χ is a primitive Dirichlet character modm then

  • a∈Z×

m

χ(a) · ωka = χ(k) · G(χ) where |G(χ)| = √m.

L´ eo Ducas (CWI, Amsterdam) Recovering Short Generators UC Irvine, August 2015 18 / 30

slide-46
SLIDE 46

Computing the Eigenvalues (continued)

We were trying to lower bound |λχ| where −λχ =

  • k≥1

1 k ·

  • a∈G

χ(a) · ωka.

Fact (Separability of Gauss Sums)

If χ is a primitive Dirichlet character modm then

  • a∈Z×

m

χ(a) · ωka = χ(k) · G(χ) where |G(χ)| = √m. For this talk, let’s ignore non-primitive characters. We rewrite

  • λχ
  • =

m 2 ·

  • k≥1

χ(k) k

  • .

L´ eo Ducas (CWI, Amsterdam) Recovering Short Generators UC Irvine, August 2015 18 / 30

slide-47
SLIDE 47

The Analytical Hammer

We were trying to lower bound

  • λχ
  • = m

2 ·

  • k≥1

χ(k) k

  • .

One recognizes a Dirichlet L-series L(s, χ) = χ(k) ks .

L´ eo Ducas (CWI, Amsterdam) Recovering Short Generators UC Irvine, August 2015 19 / 30

slide-48
SLIDE 48

The Analytical Hammer

We were trying to lower bound

  • λχ
  • = m

2 ·

  • k≥1

χ(k) k

  • .

One recognizes a Dirichlet L-series L(s, χ) = χ(k) ks .

Theorem ([Littlewood, 1924, Youness et al., 2013])

Under the Generalized Riemann Hypothesis, for any primitive Dirichlet character χ mod m it holds that 1/ℓ(m) ≤ |L(1, χ)| ≤ ℓ(m) where ℓ(m) = C ln ln m for some universal constant C > 0.

L´ eo Ducas (CWI, Amsterdam) Recovering Short Generators UC Irvine, August 2015 19 / 30

slide-49
SLIDE 49

Geometric Conclusion

Theorem (Cramer, D. , Peikert, Regev)

Let m = pk, and B =

  • Log(bj))j∈G\{1} be the canonical basis of Log C.

Then, all the vectors of B∨ have the same norm and, under GRH, this norm is upper bounded as follows

  • b∨

j

  • 2 ≤ O
  • m−1 · log3 m
  • .

L´ eo Ducas (CWI, Amsterdam) Recovering Short Generators UC Irvine, August 2015 20 / 30

slide-50
SLIDE 50

Overview

1

Introduction

2

Preliminary

3

Geometry of Cyclotomic Units

4

Shortness of Log g

L´ eo Ducas (CWI, Amsterdam) Recovering Short Generators UC Irvine, August 2015 21 / 30

slide-51
SLIDE 51

Proof Plan (Reminder)

1 Construct a basis B of the unit-log lattice Log R× ◮ Choose the Canonical Cyclotomics Units

bj = Log 1 − ζj 1 − ζ

2 Prove that the basis is “good”, that is b∨

j are all small

◮ Proved

  • b∨

j

  • 2 ≤ O
  • m−1 · log3 m
  • 3 Prove that e = Log g is small enough

L´ eo Ducas (CWI, Amsterdam) Recovering Short Generators UC Irvine, August 2015 22 / 30

slide-52
SLIDE 52

Scaling Invariance

Lets assume the embeddings (σi(g)) are i.i.d. of distribution D. Log (s · Dn) ≃ (1, 1, . . . 1) · log s + Log Dn

L´ eo Ducas (CWI, Amsterdam) Recovering Short Generators UC Irvine, August 2015 23 / 30

slide-53
SLIDE 53

Heuristic argument

Using scaling, assume that E[Log Dm] = 0.

◮ Let e ← Log Dm (e = Log g) ◮ Each coordinate Log D of e are independents, centered, of variance V ◮ For any b, the variance of b, e is V · b ◮ By Markov Inequality, for a fixed i it should hold that

|b∨

i , e| ≤ 1/2

except with o(1) probability (recall we’ve proved that b∨

i = o(1))

L´ eo Ducas (CWI, Amsterdam) Recovering Short Generators UC Irvine, August 2015 24 / 30

slide-54
SLIDE 54

Conclusion from better tail bounds

The previous argument does not allows to conclude simultanously on all i’s. We fill this gap using stronger tail bounds, form the theory of sub-exponential random variables [Vershynin, 2012]

Theorem (Cramer, D. , Peikert, Regev)

If g follows a Continuous Normal Distribution, then for e = Log g, we have |b∨

i , e| ≤ 1/2 for all i’s except with negligible probability.

Corollary

If g follows a Discrete Normal Distribution of parameter σ ≥ poly(m), then for e = Log g, we have |b∨

i , e| ≤ 1/2 for all i’s except with probability

1/nΘ(1).

L´ eo Ducas (CWI, Amsterdam) Recovering Short Generators UC Irvine, August 2015 25 / 30

slide-55
SLIDE 55

Thanks

Figure : The Shintani Domain of Z[ζ7 + ¯ ζ7]. Credit: Paul Gunells http://people.math.umass.edu/~gunnells/pictures/pictures.html We thank Dan Bernstein, Jean-Franois Biasse, Sorina Ionica, Dimitar Jetchev, Paul Kirchner, Ren´ e Schoof, Dan Shepherd and Harold M. Stark for many insightful conversations related to this work.

L´ eo Ducas (CWI, Amsterdam) Recovering Short Generators UC Irvine, August 2015 26 / 30

slide-56
SLIDE 56

References I

Babai, L. (1986). On Lov´ asz’ lattice reduction and the nearest lattice point problem. Combinatorica, 6(1):1–13. Preliminary version in STACS 1985. Bernstein, D. (2014). A subfield-logarithm attack against ideal lattices. http://blog.cr.yp.to/20140213-ideal.html. Biasse, J.-F. (2014). Subexponential time relations in the class group of large degree number fields.

  • Adv. Math. Commun., 8(4):407–425.

Biasse, J.-F. and Fieker, C. (2014). Subexponential class group and unit group computation in large degree number fields. LMS Journal of Computation and Mathematics, 17:385–403. Biasse, J.-F. and Song, F. (2015a). A note on the quantum attacks against schemes relying on the hardness of finding a short generator of an ideal in Q(z 2ˆ n). http://cacr.uwaterloo.ca/techreports/2015/cacr2015-12.pdf. Technical Report.

L´ eo Ducas (CWI, Amsterdam) Recovering Short Generators UC Irvine, August 2015 27 / 30

slide-57
SLIDE 57

References II

Biasse, J.-F. and Song, F. (2015b). A polynomial time quantum algorithm for computing class groups and solving the principal ideal problem in arbitrary degree number fields. http://www.lix.polytechnique.fr/Labo/Jean-Francois.Biasse/. In preparation. Campbell, P., Groves, M., and Shepherd, D. (2014). Soliloquy: A cautionary tale. ETSI 2nd Quantum-Safe Crypto Workshop. Available at http://docbox.etsi.org/Workshop/2014/201410_CRYPTO/S07_Systems_ and_Attacks/S07_Groves_Annex.pdf. Cramer, R., Ducas, L., Peikert, C., and Regev, O. (2015). Recovering short generators of principal ideals in cyclotomic rings. Cryptology ePrint Archive, Report 2015/313. http://eprint.iacr.org/. Eisentr¨ ager, K., Hallgren, S., Kitaev, A., and Song, F. (2014). A quantum algorithm for computing the unit group of an arbitrary degree number field. In Proceedings of the 46th Annual ACM Symposium on Theory of Computing, pages 293–302. ACM.

L´ eo Ducas (CWI, Amsterdam) Recovering Short Generators UC Irvine, August 2015 28 / 30

slide-58
SLIDE 58

References III

Garg, S., Gentry, C., and Halevi, S. (2013). Candidate multilinear maps from ideal lattices. In EUROCRYPT, pages 1–17. Langlois, A., Stehl´ e, D., and Steinfeld, R. (2014). Gghlite: More efficient multilinear maps from ideal lattices. In Advances in Cryptology–EUROCRYPT 2014, pages 239–256. Springer. Littlewood, J. (1924). On the zeros of the riemann zeta-function. In Mathematical Proceedings of the Cambridge Philosophical Society, volume 22, pages 295–318. Cambridge Univ Press. Schank, J. (2015). LogCvp, Pari implementation of CVP in log Z[ζ2n]∗. https://github.com/jschanck-si/logcvp. Smart, N. P. and Vercauteren, F. (2010). Fully homomorphic encryption with relatively small key and ciphertext sizes. In Public Key Cryptography, pages 420–443.

L´ eo Ducas (CWI, Amsterdam) Recovering Short Generators UC Irvine, August 2015 29 / 30

slide-59
SLIDE 59

References IV

Vershynin, R. (2012). Compressed Sensing, Theory and Applications, chapter 5, pages 210–268. Cambridge University Press. Available at http://www-personal.umich.edu/~romanv/papers/non-asymptotic-rmt-plain.pdf. Washington, L. (1997). Introduction to Cyclotomic Fields. Graduate Texts in Mathematics. Springer New York. Youness, L., Xiannan, L., and Kannan, S. (2013). Conditional bounds for the least quadratic non-residue and related problems. http://arxiv.org/abs/1309.3595.

L´ eo Ducas (CWI, Amsterdam) Recovering Short Generators UC Irvine, August 2015 30 / 30