Table of Contents
Fetching ...

Learning with Errors over Group Rings Constructed by Semi-direct Product

Jiaqi Liu, Fang-Wei Fu

TL;DR

A quantum reduction from the worst-case shortest independent vectors problem and a polynomial-time quantum reductions from the worst-case shortest independent vectors problem are provided.

Abstract

The Learning with Errors (\LWE) problem has been widely utilized as a foundation for numerous cryptographic tools over the years. In this study, we focus on an algebraic variant of the \LWE problem called \emph{Group ring} \LWE ($\GRLWE$). We select group rings (or their direct summands) that underlie specific families of finite groups constructed by taking the semi-direct product of two cyclic groups. Unlike the Ring-\LWE problem described in \cite{lyubashevsky2010ideal}, the multiplication operation in the group rings considered here is non-commutative. As an extension of Ring-$\LWE$, it maintains computational hardness and can be potentially applied in many cryptographic scenarios. In this paper, we present two polynomial-time quantum reductions. Firstly, we provide a quantum reduction from the worst-case shortest independent vectors problem (\SIVP) in ideal lattices with polynomial approximate factor to the search version of $\GRLWE$. This reduction requires that the underlying group ring possesses certain mild properties; Secondly, we present another quantum reduction for two types of group rings, where the worst-case \SIVP problem is directly reduced to the (average-case) decision $\GRLWE$ problem. The pseudorandomness of $\GRLWE$ samples guaranteed by this reduction can be consequently leveraged to construct semantically secure public-key cryptosystems.

Learning with Errors over Group Rings Constructed by Semi-direct Product

TL;DR

A quantum reduction from the worst-case shortest independent vectors problem and a polynomial-time quantum reductions from the worst-case shortest independent vectors problem are provided.

Abstract

The Learning with Errors (\LWE) problem has been widely utilized as a foundation for numerous cryptographic tools over the years. In this study, we focus on an algebraic variant of the \LWE problem called \emph{Group ring} \LWE (). We select group rings (or their direct summands) that underlie specific families of finite groups constructed by taking the semi-direct product of two cyclic groups. Unlike the Ring-\LWE problem described in \cite{lyubashevsky2010ideal}, the multiplication operation in the group rings considered here is non-commutative. As an extension of Ring-, it maintains computational hardness and can be potentially applied in many cryptographic scenarios. In this paper, we present two polynomial-time quantum reductions. Firstly, we provide a quantum reduction from the worst-case shortest independent vectors problem (\SIVP) in ideal lattices with polynomial approximate factor to the search version of . This reduction requires that the underlying group ring possesses certain mild properties; Secondly, we present another quantum reduction for two types of group rings, where the worst-case \SIVP problem is directly reduced to the (average-case) decision problem. The pseudorandomness of samples guaranteed by this reduction can be consequently leveraged to construct semantically secure public-key cryptosystems.
Paper Structure (30 sections, 24 theorems, 93 equations)

This paper contains 30 sections, 24 theorems, 93 equations.

Key Result

Lemma 1

For $0<\alpha<\beta\leq 2\alpha$, the statistical distance between $D_{\alpha}$ and $D_{\beta}$ is no greater than $10(\beta/\alpha-1)$.

Theorems & Definitions (57)

  • Lemma 1: regev2009lattices, Claim 2.2
  • Lemma 2: banaszczyk1993new, Lemma 1.5 (i)
  • Definition 1: Smoothing parameter,cheng2022lwe, micciancio2007worst
  • Lemma 3: micciancio2007worst, Lemma 4.1
  • Lemma 4: micciancio2007worst, Lemma 3.2, 3.3
  • Definition 2
  • Example 1
  • Remark 1
  • Lemma 5: Irreducible representations of Type I
  • Lemma 6: Irreducible representations of Type II
  • ...and 47 more