Module-LWE vs. Ring-LWE? Amit Deo Royal Holloway, University of - - PowerPoint PPT Presentation

module lwe vs ring lwe
SMART_READER_LITE
LIVE PREVIEW

Module-LWE vs. Ring-LWE? Amit Deo Royal Holloway, University of - - PowerPoint PPT Presentation

Module-LWE vs. Ring-LWE? Amit Deo Royal Holloway, University of London 15 January, 2018 1/56 Main Aim of the Talk 1. Discuss popular variants of the LWE problem 2. Present a collection of reductions between the variants 3. Explicitly state


slide-1
SLIDE 1

1/56

Module-LWE vs. Ring-LWE?

Amit Deo

Royal Holloway, University of London

15 January, 2018

slide-2
SLIDE 2

2/56

Main Aim of the Talk

  • 1. Discuss popular variants of the LWE problem
  • 2. Present a collection of reductions between the variants
  • 3. Explicitly state parameter expansions in the reductions
slide-3
SLIDE 3

3/56

Outline

  • 1. Definitions
  • 2. Motivation for Ring/Module-LWE
  • 3. Normal Form Secrets
  • 4. “BLPRS13” Style Reductions
  • 5. “Structure-Building” Reduction
slide-4
SLIDE 4

4/56

Section 1 Definitions

slide-5
SLIDE 5

5/56

Notation

Vectors x ∈ Zn

q: ◮ Entries integers modulo q, i.e. Zq ◮ Dimension n, i.e. x = (x0, . . . , xn−1)

Ring elements r ∈ Rq = Zq[X]/(X n + 1):

◮ Coefficients integers modulo q ◮ Degree at most n − 1 i.e.

r = r0 + r1 · X + · · · + rn−1 · X n−1 ∈ Zq[X]/(X n + 1)

◮ Coefficient Embedding r = (r0, . . . , rn−1) ∈ Zn q

slide-6
SLIDE 6

6/56

Notation

Module elements m ∈ Rd

q : ◮ A d-tuple of ring elements m = (m0, . . . , md−1) ◮ Multiplication: m · n := m0n0 + · · · + md−1 · nd−1

Terminology:

◮ q is a “modulus” ◮ n is a “(ring) dimension” ◮ d is a “module rank” ◮ m is the number of samples

slide-7
SLIDE 7

7/56

Notation: Distributions

◮ U(X) - uniform distribution over set X

slide-8
SLIDE 8

7/56

Notation: Distributions

◮ U(X) - uniform distribution over set X ◮ χσ - discrete gaussian over the integers, s.d. σ ◮ DΛ,σ - discrete gaussian over lattice Λ, s.d. σ ◮ DΛ,r - discrete ellipsoidal gaussian with s.d.’s ri ∈ R

slide-9
SLIDE 9

7/56

Notation: Distributions

◮ U(X) - uniform distribution over set X ◮ χσ - discrete gaussian over the integers, s.d. σ ◮ DΛ,σ - discrete gaussian over lattice Λ, s.d. σ ◮ DΛ,r - discrete ellipsoidal gaussian with s.d.’s ri ∈ R ◮ Dσ - continuous gaussian over R ◮ Dr - continuous ellipsoidal gaussian over Rn with s.d.’s ri

slide-10
SLIDE 10

8/56

Generic LWE Problem Framework

Given some uniform random a, b = a · s + e:

◮ (search LWE) decode the noisy product b i.e. recover s from

b for “small” e

◮ (decision LWE) distinguish b from uniform random

slide-11
SLIDE 11

8/56

Generic LWE Problem Framework

Given some uniform random a, b = a · s + e:

◮ (search LWE) decode the noisy product b i.e. recover s from

b for “small” e

◮ (decision LWE) distinguish b from uniform random

Plain LWE sample: a ← Zn

q; s ← U or χn σ, e ← χσ; b ∈ Zq

+ = e1 , a1 … a2 am e2 … em b1 b2 … bm a1 … a2 am s .

slide-12
SLIDE 12

9/56

Distributions and Parameters

◮ Uniform a ◮ Error distribution: discrete gaussian e ← χσ ◮ Secret distribution: uniform s or s ← χn σ

Plain LWE sample: a ← Zn

q; s ← χn σ, e ← χσ; b ∈ Zq

slide-13
SLIDE 13

9/56

Distributions and Parameters

◮ Uniform a ◮ Error distribution: discrete gaussian e ← χσ ◮ Secret distribution: uniform s or s ← χn σ

Plain LWE sample: a ← Zn

q; s ← χn σ, e ← χσ; b ∈ Zq ◮ Absolute error σ ◮ Error rate α := σ/q

slide-14
SLIDE 14

10/56

Practical Ring-LWE

Let Rq = Zq[X]/(X n + 1). Given some uniform random a ∈ Rq,

◮ (search) recover s ∈ Rq from b = a · s + e for “small” e ∈ Rq ◮ (decision) decide whether b = a · s + e or b is random

slide-15
SLIDE 15

10/56

Practical Ring-LWE

Let Rq = Zq[X]/(X n + 1). Given some uniform random a ∈ Rq,

◮ (search) recover s ∈ Rq from b = a · s + e for “small” e ∈ Rq ◮ (decision) decide whether b = a · s + e or b is random

Error distribution: s, e ← χn

σ

+ = , a . b e s a

n n

slide-16
SLIDE 16

11/56

Almost Proper Ring-LWE

Given some uniform random a ∈ Rq,

◮ (search) recover s ∈ (Rq)d from b = 1 qa · s + e mod 1 for

“small” e ∈ Rq

◮ (decision) decide whether b = 1 qa · s + e mod 1 or b is

random Notes:

◮ The error distribution is now continuous ◮ The discrete Gaussian distribution χσ becomes continuous

Gaussian Dα where α := σ/q

◮ Ignoring canonical embedding and dual ring

slide-17
SLIDE 17

12/56

Practical Module-LWE

Given some uniform random a ∈ (Rq)d,

◮ (search) recover s ∈ (Rq)d from b = a · s + e for “small”

e ∈ Rq

◮ (decision) decide whether b = a · s + e or b is random

slide-18
SLIDE 18

12/56

Practical Module-LWE

Given some uniform random a ∈ (Rq)d,

◮ (search) recover s ∈ (Rq)d from b = a · s + e for “small”

e ∈ Rq

◮ (decision) decide whether b = a · s + e or b is random

Error distribution: s ← χnd

σ , e ← χn σ

= , . b a + e s a

n nd

slide-19
SLIDE 19

13/56

Almost Proper Module-LWE

Given some uniform random a ∈ (Rq)d,

◮ (search) recover s ∈ (Rq)d from b = 1 qa · s + e mod 1 for

“small” e ∈ Rq

◮ (decision) decide whether b = 1 qa · s + e mod 1 or b is

random Notes:

◮ The error distribution is now continuous ◮ The discrete Gaussian distribution χσ becomes continuous

Gaussian Dα where α := σ/q

◮ Once again, we ignore canonical embedding and dual ring

slide-20
SLIDE 20

14/56

Other Variants

◮ Learning with Rounding (LWR) ◮ Compact-LWE ◮ Binary-LWE ◮ And many more

slide-21
SLIDE 21

15/56

Section 2 Motivation for Ring-LWE/Module-LWE

slide-22
SLIDE 22

16/56

Efficiency vs. Security

◮ Representing n LWE samples:

◮ O(n) integers (Ring-LWE) ◮ O(nd) integers (Module-LWE) ◮ O(n2) integers (LWE)

slide-23
SLIDE 23

16/56

Efficiency vs. Security

◮ Representing n LWE samples:

◮ O(n) integers (Ring-LWE) ◮ O(nd) integers (Module-LWE) ◮ O(n2) integers (LWE)

◮ Lattice hardness:

◮ Ideal lattices SIVP (Ring-LWE) ◮ Module lattices SIVP (Module-LWE) ◮ General lattices SIVP (LWE)

slide-24
SLIDE 24

17/56

Flexibility of Module-LWE

◮ R = Zq[X]/(X n + 1) for power-of-two n ◮ Effective Ring-LWE dimensions: 256, 512, 1024, 2048, . . . ◮ Effective Module-LWE dimensions: 256 · d, d = 1, 2, . . .

Note:

The cost of multiplying using Module-LWE is larger than the cost

  • f multiplying for Ring-LWE of the same effective dimension.
slide-25
SLIDE 25

18/56

Section 3 Transforming Secret Distributions

slide-26
SLIDE 26

19/56

Normal Form LWE

Lemma

Let q be prime. Given m > n uniform secret LWE samples (A, b) ∈ Zn×m

q

× Zm

q , we can produce m − n normal form LWE

samples (A′, b′) ∈ Zn×(m−n)

q

× Z(m−n)

q

(with significant probability 1 − O(1/q)).

slide-27
SLIDE 27

19/56

Normal Form LWE

Lemma

Let q be prime. Given m > n uniform secret LWE samples (A, b) ∈ Zn×m

q

× Zm

q , we can produce m − n normal form LWE

samples (A′, b′) ∈ Zn×(m−n)

q

× Z(m−n)

q

(with significant probability 1 − O(1/q)).

Proof.

  • 1. Write A = [A1|A2] where A1 ∈ Zn×n

q

is invertible.

  • 2. b = [b1|b2]T := [A1|A2]Ts + [e1|e2]T
  • 3. Set A′ := −A−1

1 A2, b′ := A′Tb1 + b2 = A′e1 + e2.

slide-28
SLIDE 28

20/56

Non-Uniform Secret − → Uniform Secret

Lemma

Given a LWE sample (a, b) with non-uniform secret s, we can

  • btain a LWE sample (a, ˜

b) with a uniform secret ˜ s.

Proof.

  • 1. Sample s′ ← U.
  • 2. Output LWE sample
  • a, ˜

b := b + a · s′ = a · (s′ + s) + e

  • = (a, a · (s′ + s) + e).
slide-29
SLIDE 29

21/56

Section 4 BLPRS13 Style Reductions

slide-30
SLIDE 30

22/56

Modulus-Dimension Switching LWE Reduction 1

Lemma

There exists a reduction from LWEm,n,q,Dα − → LWEm,n′=n/k,q′=qk,Dβ where β = O(α√n). “We can reduce the dimension at the cost of increasing the modulus while changing the error rate by a √n factor without decreasing hardness.”

  • 1Z. Brakerski, A. Langlois, C. Peikert, O. Regev, D. St´
  • ehle. Classical

hardness of learning with errors. STOC13

slide-31
SLIDE 31

23/56

Reduction Intuition

Goal

Find a reduction (i.e. transformation F) such that the original LWE distribution almost maps to the target LWE distribution where the effect that F has on the secret is reversible. F(LWE) ∼indist. LWE′ a ∈ Zn

q F

− → a′ ∈ Zn/k

qk

s ∈ Zn

q F

− → s′ ∈ Zn/k

qk

b = 1 q a · s + e

  • mod 1

F

− → b′ = 1 qk a′ · s′ + e′

  • mod 1
slide-32
SLIDE 32

24/56

Reduction Intuition n = 3, n/k = 1

a′ = a0 + qa1 + q2a2 s′ = s2 + qs1 + q2s0

slide-33
SLIDE 33

24/56

Reduction Intuition n = 3, n/k = 1

a′ = a0 + qa1 + q2a2 s′ = s2 + qs1 + q2s0 = ⇒ 1 q3 a′ · s′ ≡ 0 + 1 q a · s + 1 q2 (a0 · s1 + a1 · s2) + . . . mod 1 ≅ 1 q a · s mod 1

slide-34
SLIDE 34

24/56

Reduction Intuition n = 3, n/k = 1

a′ = a0 + qa1 + q2a2 s′ = s2 + qs1 + q2s0 = ⇒ 1 q3 a′ · s′ ≡ 0 + 1 q a · s + 1 q2 (a0 · s1 + a1 · s2) + . . . mod 1 ≅ 1 q a · s mod 1 Therefore take b′ = b

slide-35
SLIDE 35

25/56

A Closer Look at the Error Distribution

Want to analyse the distribution of: b′ − 1 qn a′ · s′ = e −

  • i>j

qj−i−1ajsi Problem:

◮ qj−i−1ajsi are not continuous gaussians ✗

slide-36
SLIDE 36

26/56

INTERLUDE: Fixing a “Bad” Error Distribution - Discrete Version

Aim

Given bad non-Gaussian distribution ˆ e, make it look like a discrete Gaussian.

How?

Drown by adding a wide discrete Gaussian i.e. consider ˆ e + χσ

slide-37
SLIDE 37

27/56

Fixing a “Bad” Error Distribution - Discrete Version

  • 4
  • 2

2 4 0.05 0.1 0.15 0.2 0.25 0.3 0.35

slide-38
SLIDE 38

28/56

Drowning (σ = 3)

  • 15
  • 10
  • 5

5 10 15 0.02 0.04 0.06 0.08 0.1 0.12 0.14

slide-39
SLIDE 39

29/56

Drowning (σ = 10)

  • 30
  • 20
  • 10

10 20 30 0.01 0.02 0.03 0.04

slide-40
SLIDE 40

30/56

Drowning (σ = 10)

  • 4
  • 2

2 4 0.01 0.02 0.03 0.04

slide-41
SLIDE 41

31/56

Drowning (σ = 20)

  • 60
  • 40
  • 20

20 40 60 0.005 0.01 0.015 0.02

slide-42
SLIDE 42

32/56

Drowning (σ = 20)

  • 4
  • 2

2 4 0.005 0.01 0.015 0.02

slide-43
SLIDE 43

33/56

Drowning Lemma

Lemma

2 Assuming (1/r2 + (||z||/α)2)−1/2 > ηǫ(Λ), the arising

distributions of the following are within statistical distance 4ǫ:

  • 1. Sample v ← DΛ+u,r, e ← Dα, output z, v + e.
  • 2. Let β =
  • (r||z||)2 + α2, output e′ ← Dβ.
  • 2O. Regev. On lattices, learning with errors, random linear codes, and
  • cryptography. STOC 2005
slide-44
SLIDE 44

33/56

Drowning Lemma

Lemma

2 Assuming (1/r2 + (||z||/α)2)−1/2 > ηǫ(Λ), the arising

distributions of the following are within statistical distance 4ǫ:

  • 1. Sample v ← DΛ+u,r, e ← Dα, output z, v + e.
  • 2. Let β =
  • (r||z||)2 + α2, output e′ ← Dβ.

Notes:

◮ Fix r, z, Λ → minimum drowning parameter α(ǫ). ◮ ηǫ(Λ) ≤ ||˜

B|| ·

  • ln(2n(1 + 1/ǫ))/π
  • 2O. Regev. On lattices, learning with errors, random linear codes, and
  • cryptography. STOC 2005
slide-45
SLIDE 45

34/56

“General” Reduction from BLPRS13 (n′ = n/k)

Define:

◮ G := In′ ⊗ g where g := (1, q, . . . , qk−1)T and ◮ Λ := q−kGTZn′ + Zn ◮ Let (a, b = 1 qa · s + e) ∈ Zn q × T be LWE sample.

3efficient sampling possible for ǫ ≤ 1/4

slide-46
SLIDE 46

34/56

“General” Reduction from BLPRS13 (n′ = n/k)

Define:

◮ G := In′ ⊗ g where g := (1, q, . . . , qk−1)T and ◮ Λ := q−kGTZn′ + Zn ◮ Let (a, b = 1 qa · s + e) ∈ Zn q × T be LWE sample.

Reduction:

  • 1. Sample f ← DΛ−a,r where

r ≥ ||˜ B|| ·

  • ln(2n(1 + 1/ǫ))/π ≥ ηǫ(Λ), 3 and choose a′ as a

uniform random solution to GTa′ = a + f mod Zn.

  • 2. Sample e′ ← DrB where B ≥ ||s|| and output b′ = b + e′.
  • 3. Output (a′, b′).

3efficient sampling possible for ǫ ≤ 1/4

slide-47
SLIDE 47

35/56

Correctness of the Reduction

Proof.

◮ a′ is uniform: a + f ∈ Λ/Zn is uniform random for r ≥ ηǫ(Λ)

and GTa′ = v mod Zn has the same number of solutions for every v.

◮ Error distribution: Let s′ := GTs. Then

b′ − 1 qk a′ · s′ = −f, s + e′ + e mod 1 is statistically close to a Gaussian by the drowning lemma if r is big enough.

slide-48
SLIDE 48

36/56

Recap of Result (Modulus-Dimension Switching)

Lemma

There exists a reduction from LWEm,n,q,Dα − → LWEm,n′=n/k,q′=qk,Dβ where β = O(α√n).

slide-49
SLIDE 49

37/56

Module-LWE − → Ring-LWE

Idea

Treat module elements as vectors of ring elements and apply BLPRS13 (Rd ↔ Zn, R ↔ Z).

slide-50
SLIDE 50

38/56

Reducing (Search) Module-LWE to Ring-LWE

Goal

Find a reduction (i.e. transformation F) such that the MLWE distribution almost maps to a RLWE distribution where the effect that F has on the secret is reversible. a ∈ Rd

q F

− → a′ ∈ Rqd s ∈ Rd

q F

− → s′ ∈ Rqd b = 1 q a · s + e

  • mod 1

F

− → b′ = 1 qd a′ · s′ + e′

  • mod 1
slide-51
SLIDE 51

39/56

Reduction Intuition d = 3

a′ = a0(X) + qa1(X) + q2a2(X) s′ = s2(X) + qs1(X) + q2s0(X)

slide-52
SLIDE 52

39/56

Reduction Intuition d = 3

a′ = a0(X) + qa1(X) + q2a2(X) s′ = s2(X) + qs1(X) + q2s0(X) = ⇒ 1 q3 a′ · s′ ≡ 0 + 1 q a · s + 1 q2 (a0 · s1 + a1 · s2) + . . . mod 1 ≅ 1 q a · s mod 1

slide-53
SLIDE 53

39/56

Reduction Intuition d = 3

a′ = a0(X) + qa1(X) + q2a2(X) s′ = s2(X) + qs1(X) + q2s0(X) = ⇒ 1 q3 a′ · s′ ≡ 0 + 1 q a · s + 1 q2 (a0 · s1 + a1 · s2) + . . . mod 1 ≅ 1 q a · s mod 1 Therefore take b′ = b

slide-54
SLIDE 54

40/56

A Closer Look at the Error Distribution

Want to analyse the distribution of: b′ − 1 qd a′ · s′ = e −

  • i>j

qj−i−1ajsi

◮ e is a continuous, narrow Gaussian ✓ ◮ The sum is kind of small ✓

slide-55
SLIDE 55

41/56

A Closer Look at the Error Distribution

Want to analyse the distribution of: ˜ b − 1 qd ˜ a · ˜ s = e −

  • i>j

qj−i−1ajsi Problems:

  • 1. qj−i−1ajsi are not continuous gaussians ✗
  • 2. Coefficients are not independent ✗ (partial solution: canonical

embedding)

slide-56
SLIDE 56

42/56

INTERLUDE: R´ enyi Divergence

Definition

(R´ enyi Divergence) For any distributions P and Q such that Supp(P) ⊆ Supp(Q), the R´ enyi divergence of P and Q of order a ∈ [1, ∞] is given by Ra (P||Q) =          exp

  • x∈Supp(P) P(x) log P(x)

Q(x)

  • for a = 1,
  • x∈Supp(P)

P(x)a Q(x)a−1

  • 1

a−1

for a ∈ (1, ∞), maxx∈Supp(P)

P(x) Q(x)

for a = ∞.

slide-57
SLIDE 57

43/56

Properties of R´ enyi Divergence

Let P and Q be distributions such that Supp(P) ⊆ Supp(Q). Then we have:

◮ Probability Preservation:

Pr(SuccessQ) ≥ Pr(SuccessP)

a a−1 /Ra (P||Q) if a ∈ (1, ∞)

slide-58
SLIDE 58

43/56

Properties of R´ enyi Divergence

Let P and Q be distributions such that Supp(P) ⊆ Supp(Q). Then we have:

◮ Probability Preservation:

Pr(SuccessQ) ≥ Pr(SuccessP)

a a−1 /Ra (P||Q) if a ∈ (1, ∞)

◮ Weak Triangle Inequality: For intermediate distribution P1,

Ra (P||Q) ≤ R∞ (P||P1)

a a−1 · Ra (P1||Q) if a ∈ (1, +∞).

slide-59
SLIDE 59

44/56

Drowning Lemma over n-dimensions

Lemma (Drowning ellipsoidal discrete Gaussians 4)

Assume that mini

riσ

r2

i +σ2 ≥ ηǫ(Λ) for some ǫ ∈ (0, 1/2). Consider

the continuous distributions:

◮ Y obtained by sampling from DΛ+u,r and then adding a vector

from Dσ

◮ Dt where ti =

  • r2

i + σ2

Then we have ∆(Y , Dt) ≤ 4ǫ and R∞ (Dt||Y ) ≤ 1+ǫ

1−ǫ.

  • 4A. Langlois, D. St´
  • ehle. Worst-case to average-case reductions for module
  • lattices. DCC15
slide-60
SLIDE 60

44/56

Drowning Lemma over n-dimensions

Lemma (Drowning ellipsoidal discrete Gaussians 4)

Assume that mini

riσ

r2

i +σ2 ≥ ηǫ(Λ) for some ǫ ∈ (0, 1/2). Consider

the continuous distributions:

◮ Y obtained by sampling from DΛ+u,r and then adding a vector

from Dσ

◮ Dt where ti =

  • r2

i + σ2

Then we have ∆(Y , Dt) ≤ 4ǫ and R∞ (Dt||Y ) ≤ 1+ǫ

1−ǫ.

Notes:

◮ Fix r, Λ → minimum drowning parameter σ(ǫ). ◮ ηǫ(Λ) ≤ ||˜

B|| ·

  • ln(2n(1 + 1/ǫ))/π
  • 4A. Langlois, D. St´
  • ehle. Worst-case to average-case reductions for module
  • lattices. DCC15
slide-61
SLIDE 61

45/56

“General” Reduction MLWEd → MLWEd′ (d′ = d/k)

Define:

◮ G := Id′ ⊗ g ⊗ In where g := (1, q, . . . , qk−1)T and ◮ Λ := q−kGTZnd′ + Znd ◮ Let (a, b = 1 qa · s + e) ∈ Znd q × Tn be the MLWE sample.

5efficient sampling possible for ǫ ≤ 1/4

slide-62
SLIDE 62

45/56

“General” Reduction MLWEd → MLWEd′ (d′ = d/k)

Define:

◮ G := Id′ ⊗ g ⊗ In where g := (1, q, . . . , qk−1)T and ◮ Λ := q−kGTZnd′ + Znd ◮ Let (a, b = 1 qa · s + e) ∈ Znd q × Tn be the MLWE sample.

Reduction:

  • 1. Sample f ← DΛ−a,r where

r ≥ ||˜ B|| ·

  • ln(2n(1 + 1/ǫ))/π ≥ ηǫ(Λ), 5 and choose a′ as a

uniform random solution to GTa′ = a + f mod Znd.

  • 2. Sample e′

i ← (DrB)n, i = 1 . . . d where B ≥ ||s|| and output

b′ = b + e′

i.

  • 3. Output (a′, b′).

5efficient sampling possible for ǫ ≤ 1/4

slide-63
SLIDE 63

46/56

Correctness of the Reduction (Overview)

◮ a′ is uniform: v = a + f ∈ Λ/Znd is uniform random for

r ≥ ηǫ(Λ) and GTa′ = v mod Znd has the same number of solutions for every v

slide-64
SLIDE 64

47/56

Correctness of the Reduction (Overview)

Error distribution: Let s′ := GTs. Then b′ − 1 qk a′ · s′ =

d

  • i=1

Si · (−fi) + e′

i + e mod 1

slide-65
SLIDE 65

47/56

Correctness of the Reduction (Overview)

Error distribution: Let s′ := GTs. Then b′ − 1 qk a′ · s′ =

d

  • i=1

Si · (−fi) + e′

i + e mod 1 ◮ Si is the matrix version of si ∈ R ◮ fi ← D 1

q Zn+vi,r

◮ Si · (fi) ← D 1

q SiZn+Sivi,r′ST i

Apply drowning lemma d times.

slide-66
SLIDE 66

48/56

Recap of Result

Lemma

There exists a reduction from MLWEm,d,q,Dα − → MLWEm,d′=d/k,q′=qk,D≤β where β = O(αn2√ d) preserving non-negligible success probability.

slide-67
SLIDE 67

48/56

Recap of Result

Lemma

There exists a reduction from MLWEm,d,q,Dα − → MLWEm,d′=d/k,q′=qk,D≤β where β = O(αn2√ d) preserving non-negligible success probability. Or for perfectly spherical gaussian errors:

Lemma

There exists a reduction from MLWEm,d,q,Dα − → LWEm,d′=d/k,q′=qk,Dβ where β = O(αn9/4√ d).

slide-68
SLIDE 68

49/56

Ring-LWE (n, q) → Ring-LWE (n/2, q2)

Lemma

There is a reduction RLWEm,n,q,α − → RLWEm,n/2,q2,β where β = O(n9/4 · α).

slide-69
SLIDE 69

49/56

Ring-LWE (n, q) → Ring-LWE (n/2, q2)

Lemma

There is a reduction RLWEm,n,q,α − → RLWEm,n/2,q2,β where β = O(n9/4 · α). Remark. Can go from n to 2 dimensions by incurring an extra factor of n.

slide-70
SLIDE 70

50/56

Section 5 Structure Building Reductions

slide-71
SLIDE 71

51/56

Many LWE Samples → One Ring-LWE Sample

Aim to show:6

LWEm=n,d,q,Dα − → RLWEm=1,n,qd,Dα

√ d

(1)

6d is the LWE dimension, n is the ring dimension

slide-72
SLIDE 72

51/56

Many LWE Samples → One Ring-LWE Sample

Aim to show:6

LWEm=n,d,q,Dα − → RLWEm=1,n,qd,Dα

√ d

(1) Main Idea:

◮ Apply the BLPRS13 reduction (modulus-dimension trade-off)

to obtain 1-dimensional LWE samples

◮ Build Ring-LWE samples from these

6d is the LWE dimension, n is the ring dimension

slide-73
SLIDE 73

52/56

Step 1: Apply BLPRS13 Reduction

Apply BLPRS13 reduction: LWEm=n,d,q,Dα − → LWEm=n,1,qd,Dα

√ d

slide-74
SLIDE 74

52/56

Step 1: Apply BLPRS13 Reduction

Apply BLPRS13 reduction: LWEm=n,d,q,Dα − → LWEm=n,1,qd,Dα

√ d

Denote the 1-dimensional samples as

  • ai, bi = 1

qd · ais0 + ei

  • ∈ Zqd × T for i = 0, . . . , n − 1
slide-75
SLIDE 75

53/56

Step 2: Build the Ring Structure

(a) Define Ring-LWE secret s := s0 ∈ Rq (b) Define uniform ring element a′ := a0 + · · · + an−1 · X n−1 ∈ Rq (c) Set b′ = n−1

i=0 bi · X i ∈ Rq

slide-76
SLIDE 76

54/56

Correctness of the Reduction

◮ Ring-LWE secret s distribution “irrelevant” ◮ Ring element a is uniformly distributed ◮ b′ − 1 qd a · s = n−1 i=0 ei · X i distributed as Dα √ d

Lemma

The ability to solve Ring-LWE in modulus qd and ring dimension n imples the ability to solve LWE given n sample in dimension d and modulus q.

slide-77
SLIDE 77

55/56

Conclusions: Module-LWE vs. Ring-LWE

◮ There are numerous reductions between the LWE variants ◮ We can retain:

  • 1. “LWE hardness” even in dimension 1
  • 2. “Module-LWE hardness” using Ring-LWE
  • 3. “Ring-LWE hardness” when decreasing dimension
  • 4. “LWE hardness” using Ring-LWE

◮ However, note that we need an modulus that is exponential in

the module rank or (ring) dimension as well as an expansion in the error rate

slide-78
SLIDE 78

56/56

Thank You!

Martin R. Albrecht and Amit Deo. Large modulus ring-lwe >= module-lwe. Cryptology ePrint Archive, Report 2017/612, 2017. http://eprint.iacr.org/2017/612. Zvika Brakerski, Adeline Langlois, Chris Peikert, Oded Regev, and Damien Stehl´ e. Classical hardness of learning with errors. In Proceedings of the forty-fifth annual ACM symposium on Theory

  • f computing, pages 575–584. ACM, 2013.