[논문 리뷰] Quantum Information Set Decoding Algorithms

Ghazal Kachigar, Jean–Pierre Tillich|arXiv (Cornell University)|2017. 03. 01.

Quantum Computing Algorithms and Architecture참고 문헌 3인용 수 9

한 줄 요약

이 논문은 MMT의 정보집합 디코딩과 양자 워크 기법, 그리고 그로버 검색을 결합하여 코드 기반 암호화를 위한 새로운 양자 디코딩 알고리즘을 제안한다. 최악의 경우 복잡도는 $2^{0.05869n}$을 기록하며, 이는 기억장 사용 최적화와 양자 속도 향상 덕분에 버니스타인의 이전 양자 ISD 알고리즘($2^{0.06035n}$)을 초월한다.

ABSTRACT

The security of code-based cryptosystems such as the McEliece cryptosystem relies primarily on the difficulty of decoding random linear codes. The best decoding algorithms are all improvements of an old algorithm due to Prange: they are known under the name of information set decoding techniques. It is also important to assess the security of such cryptosystems against a quantum computer. This research thread started in Overbeck and Sendrier's 2009 survey on code-based cryptography, and the best algorithm to date has been Bernstein's quantising of the simplest information set decoding algorithm, namely Prange's algorithm. It consists in applying Grover's quantum search to obtain a quadratic speed-up of Prange's algorithm. In this paper, we quantise other information set decoding algorithms by using quantum walk techniques which were devised for the subset-sum problem by Bernstein, Jeffery, Lange and Meurer. This results in improving the worst-case complexity of $2^{0.06035n}$ of Bernstein's algorithm to $2^{0.05869n}$ with the best algorithm presented here (where $n$ is the codelength).

연구 동기 및 목표

• 코드 기반 암호화의 核심 문제인 임의의 선형 코드 디코딩의 양자 복잡도를 향상시키기 위해.
• 프랑제의 간단한 알고리즘과 같은 가장 단순한 ISD 알고리즘을 초월해 고급 양자 기법을 적용하여 양자 속도 향상을 확장하기 위해.
• 최적화된 MMT의 ISD 방법 변형에서 유도된 양자 워크 알고리즘을 활용하여 최악의 경우 디코딩 복잡도를 감소시키기 위해.
• 양자 우월성을 확보하기 위해 고전적 ISD 변형을 양자화할 때 높은 공간 복잡도 문제를 해결하기 위해.
• 더 정교한 고전적 ISD 알고리즘은 더 단순한 알고리즘보다 비례적으로 더 큰 양자 속도 향상을 제공하는가를 규명하기 위해.

제안 방법

• 부분합 문제에 대해 처음으로 개발된 양자 워크 기법을 코드 기반 암호화의 싱귤라스 디코딩 문제에 적용한다.
• MMT 알고리즘의 구조를 그로버의 양자 검색과 양자 워크를 결합하여 오류 패턴에 대한 검색 공간을 감소시킨다.
• 검색 공간의 변수 수를 줄이기 위해 '1+1=0' 기법을 활용한 수정된 MMT 프레임워크를 도입한다.
• 시간과 공간의 상호 교환을 최적화하기 위해 크기가 $\tilde{\Theta}(V^{8/5})$인 철저히 구성된 그래프 $\mathcal{G}$ 위에서 양자 워크를 수행한다.
• 코드 레이트와 상대 오류 무게에 따라 복잡도 지수 $\alpha(R, \omega)$를 수치적으로 최소화하기 위해 SageMath에서 재귀적 골드ensection 검색을 사용한다.
• 특히 $H_2(x)$와 같은 이진 엔트로피 함수와 이항 계수의 渐近적 분석을 통해 최적화된 파rameter 설정 하에서 복잡도 지수를 유도한다.

실험 결과

연구 질문

• RQ1 양자 워크 기법은 그로버 기반 속도 향상 외에도 정보집합 디코딩의 양자 복잡도를 크게 향상시킬 수 있는가?
• RQ2 양자화된 MMT 알고리즘은 양자화된 프랑제의 알고리즘보다 渐近적 복잡도 측면에서 더 우수한가?
• RQ3 고전적 ISD 변형의 공간 복잡도는 그들의 양자 대응체의 실현 가능성과 효율성에 어떤 영향을 미치는가?
• RQ4 간단한 ISD 알고리즘과 MMT나 BJMM와 같은 더 고급 알고리즘 간의 양자 속도 향상 간에 뚜렷한 격차가 존재하는가?
• RQ5 상대 오류 무게가 0에 가까워질수록 최고의 알고리즘의 양자 복잡도 지수는 고전적 지수로 수렴하는가?

주요 결과

• 제안된 MMTQW 알고리즘은 최악의 경우 복잡도 $2^{0.05869n}$을 달성하며, 이는 버니스타인의 $2^{0.06035n}$ 결과를 비현저한 개선으로 뛰어넘는다.
• 이 개선은 MMT 알고리즘과 양자 워크, 그로버 검색을 조합함으로써 시간과 공간 복잡도 간의 상호 교환을 최적화함으로써 달성된다.
• 변수 수를 줄이기 위해 '1+1=0' 기법을 적용한 수정된 MMT 구조를 사용함으로써 더 나은 양자 속도 향상을 가능하게 한다.
• 복잡도 지수 $\alpha_{\text{MMTQW}}$ 는 $\alpha_{\text{MMTQW}} \approx \frac{\alpha_{\text{Dumer}}}{2} + 4.9 \times 10^{-4}$ 를 만족하며, 약간은 있지만 의미 있는 개선을 보여준다.
• 분석 결과, BJMM나 마이-오제로프와 같은 더 복잡한 고전적 ISD 변형 기반 알고리즘은 공간 복잡도가 높아지므로, 양자 속도 향상 정도가 더 단순한 알고리즘보다 뚜렷하지 않다.
• 수치적 결과는 새로운 알고리즘이 코드 레이트 범위 $0.3 \leq R \leq 0.7$ 내에서 가장 두드러진 개선을 보이며, 버니스타인의 결과와 명백한 격차를 보임을 확인한다.