[논문 리뷰] On Ideal Lattices over the Tensor Product of Number Fields and Ring Learning with Errors over Multivariate Rings.

Alberto Pedrouzo-Ulloa, Juan Ramón Troncoso-Pastoriza외 1명|arXiv (Cornell University)|2016. 07. 18.

Cryptography and Data Security참고 문헌 29인용 수 4

한 줄 요약

이 논문은 수체의 텐서곱 위의 이상 격자로의 감소를 통해 경제적 난이도를 입증하는 다변수 린 학습 오차 문제(m-RLWE)를 제안한다. 이는 다변수 다항식 링으로의 RLWE 문제의 일반화로서, 암호학적 보안성이 있으며 단변수 대비 다차원 암호학적 응용에 더 적합하다.

ABSTRACT

The with Errors (RLWE) problem was formulated as a variant of the Learning with Errors (LWE) problem, with the purpose of taking advantage of an additional algebraic structure in the underlying considered lattices; this enables improvements on the efficiency and cipher expansion on those cryptographic applications which were previously based on the LWE problem. In Eurocrypt 2010, Lyubashevsky et al. introduced this hardness problem and showed its relation to some known hardness problems over lattices with a special structure. In this work, we generalize the results and the hardness problems presented by Lyubashevsky et al. to the more general case of multivariate rings, highlighting the main differences with respect to the security proof for the RLWE counterpart. We denote this hardness problem as Multivariate Ring with Errors (m-RLWE or multivariate RLWE) and we show its relation to hardness problems over the tensor product of ideal lattices. Additionally, the m-RLWE problem is more adequate than its univariate version for cryptographic applications dealing with multidimensional structures.

연구 동기 및 목표

• 단변수 다항식 링에서의 RLWE 문제를 다변수 다항식 링으로 확장하여 보다 효율적이고 확장 가능한 암호학적 구조를 가능하게 한다.
• 수체의 텐서곱 위의 이상 격자와의 관련성을 통해 m-RLWE의 난이도를 체계화한다.
• 다차원 대수적 구조를 포함하는 암호학적 응용에서 단변수 RLWE보다 m-RLWE가 더 적합함을 보여준다.
• 기존 RLWE의 감소를 일반화하면서도 다변수 설정에서의 구조적 차이를 고려한 m-RLWE의 보안 감소를 제공한다.

제안 방법

• 수체의 텐서곱의 링 구조를 고려하여 RLWE 프레임워크를 다변수 다항식 링으로 일반화한다.
• 작은 오차 항을 가진 다변수 다항식 링 위에서의 난이도 가정으로서 m-RLWE 문제를 정의한다.
• 대수적 수론과 이상 격자 구조를 이용하여 악성 경우 이상 격자 문제에서 m-RLWE 문제로의 감소를 수립한다.
• 수체의 텐서곱 위의 이상 격자에서의 최단 벡터 문제 해결 난이도와의 관련성을 통해 m-RLWE의 보안성을 분석한다.
• 대수적 수론을 사용하여 다변수 설정에서의 링 구조와 이상 성질을 특성화하여 감소의 타당성을 보장한다.
• m-RLWE 문제가 기초가 되는 이상 격자 문제의 난이도를 그대로 이어받아 암호학적 보안성을 보장한다.

실험 결과

연구 질문

• RQ1 RLWE 문제는 어떻게 다변수 다항식 링으로 일반화될 수 있으며, 그 난이도와 암호학적 유용성이 유지될 수 있는가?
• RQ2 m-RLWE 문제와 수체의 텐서곱 위의 이상 격자 간의 관계는 무엇인가?
• RQ3 m-RLWE의 보안성은 단변수 RLWE와 비교하여 감소와 기초 난이도 가정 측면에서 어떻게 다를까?
• RQ4 다차원 대수적 구조를 포함하는 암호학적 응용에서 m-RLWE는 RLWE보다 어떤 점에서 더 적합한가?

주요 결과

• m-RLWE 문제는 다변수 다항식 링 위의 난이도 가정으로 체계적으로 정의되며, 단변수 RLWE 프레임워크를 확장한다.
• m-RLWE의 보안성은 수체의 텐서곱 위의 이상 격자 문제의 악성 경우 난이도에 기반한다.
• m-RLWE 문제의 다차원 암호학적 응용에 대한 구조적 성질은 단변수 RLWE보다 더 우수하다.
• 악성 경우 이상 격자 문제에서 m-RLWE 문제로의 감소는 기존 RLWE 감소를 일반화하지만, 다변수 링의 복잡도 증가를 고려한다.
• 수체의 텐서곱을 사용함으로써 더 풍부한 대수적 구조를 확보할 수 있으며, 이는 보다 효율적이고 확장 가능한 암호학적 체계를 지원한다.
• 결과적으로 m-RLWE는 양자 컴퓨팅에 대한 후속 암호 보안을 유지하며, 다차원 설정에서의 효율성 향상 잠재력을 보여준다.