[논문 리뷰] Optimal Key Consensus in Presence of Noise

Zhengzhong Jin, Yunlei Zhao|arXiv (Cornell University)|2016. 11. 18.

Cryptography and Data Security참고 문헌 31인용 수 14

한 줄 요약

이 논문은 래티스 기반 암호에서 노이즈가 있는 공유 값으로부터 안전한 키 교환을 가능하게 하는 기본 도구로 키 공감(KC)과 비대칭 키 공감(AKC)을 소개한다. 최적의 스킴(OKCN 및 AKCN)을 제안하며, 엄밀한 오차율 분석을 통해 실현 가능한 최소 대역폭과 낮은 오차율을 달성한다. 128비트 양자 보안 수준에서 LWR 기반 키 교환에서 16.39 kB 대역폭과 $2^{-35}$ 오차율을 달성했으며, 0.4 kB의 RLWE 기반 스킴은 새로운 단일 오차 수정 코드를 사용해 $2^{-69}$ 오차율을 달성한다.

ABSTRACT

In this work, we abstract some key ingredients in previous LWE- and RLWE-based key exchange protocols, by introducing and formalizing the building tool, referred to as key consensus (KC) and its asymmetric variant AKC. KC and AKC allow two communicating parties to reach consensus from close values obtained by some secure information exchange. We then discover upper bounds on parameters for any KC and AKC. KC and AKC are fundamental to lattice based cryptography, in the sense that a list of cryptographic primitives based on LWR, LWE and RLWE (including key exchange, public-key encryption, and more) can be modularly constructed from them. As a conceptual contribution, this much simplifies the design and analysis of these cryptosystems in the future. We then design and analyze both general and highly practical KC and AKC schemes, which are referred to as OKCN and AKCN respectively for presentation simplicity. Based on KC and AKC, we present generic constructions of key exchange (KE) from LWR, LWE and RLWE. The generic construction allows versatile instantiations with our OKCN and AKCN schemes, for which we elaborate on evaluating and choosing the concrete parameters in order to achieve an optimally-balanced performance among security, computational cost, bandwidth efficiency, error rate, and operation simplicity.

연구 동기 및 목표

• 래티스 기반 암호에서 모듈러한 원리로 사용 가능한 키 공감(KC)과 비대칭 키 공감(AKC)을 체계적으로 정의한다.
• KC와 AKC의 파라미터에 대한 이론적 상한을 설정하여, 달성 가능한 한계를 정의한다.
• 정밀한 오차율 추정을 통해 효율성과 보안을 향상시킨 최적의 KC 및 AKC 스킴(OKCN 및 AKCN)을 설계한다.
• LWR, LWE, RLWE에서 KC와 AKC를 활용해 일반적이고 모듈러한 키 교환 및 암호화 구조를 가능하게 한다.
• 특히 RLWE 기반 시스템에서 최소 대역폭과 무시할 만한 낮은 오차율을 달성하는 후보 양자 보안 키 교환을 실현한다.

제안 방법

• 래티스 기반 프로토콜에서 노이즈가 있는 공유 값으로부터 공감에 도달하기 위한 공식 도구로 KC와 AKC를 도입한다.
• KC와 AKC의 파라미터에 대한 이론적 상한을 유도하여 성능의 기본 한계를 정의한다.
• 최적화된 파라미터를 사용한 OKCN 및 AKCN 스킴을 제안하며, 보수적인 상한을 피하기 위해 정밀한 오차율 계산을 활용한다.
• RLWE 기반 키 교환에 새로운 단일 오차 수정(SEG) 코드를 적용하여, 위치 간 오차의 독립성을 활용해 효율적인 수정을 실현한다.
• 오차 분포를 정확하게 계산하기 위해 수치적 이산화 및 분포 융합 알고리즘을 사용하여, 엄밀한 보안 및 성능 평가를 가능하게 한다.
• 합집합 추정법과 수치적 적분을 활용해 전체 오차 확률을 고정밀도로 추정하여, 무시할 수 없는 실패율을 보장한다.

실험 결과

연구 질문

• RQ1 노이즈 존재 하에서 키 공감(KC)과 비대칭 키 공감(AKC)의 파라미터에 대한 기본 한계는 무엇인가?
• RQ2 래티스 기반 키 교환의 오차율을 정밀하게 추정하면 어떻게 하면 파rameter 선택을 더욱 날카롭게 할 수 있는가?
• RQ3 학습-반올림(LWR) 문제로부터 키 교환 프로토콜을 구성할 수 있으며, 그 대역폭과 보안의 상충 관계는 어떠한가?
• RQ4 RLWE 공유 키의 오차 독립성은 어떻게 활용되어 최소 크기이면서도 고효율적인 오차 수정 메커니즘을 설계할 수 있는가?
• RQ5 LWR, LWE, RLWE 전반에 걸쳐 KC와 AKC를 사용한 후보 양자 보안 키 교환에서 달성 가능한 최소 대역폭과 오차율은 무엇인가?

주요 결과

• 논문은 LWR 기반 키 교환을 처음으로 제안하며, 128비트 양자 보안 수준에서 16.39 kB 대역폭과 $2^{-35}$ 오차율을 달성한다.
• LWE 기반 키 교환의 경우, 제안된 스킴은 추천 파라미터에서 18.58 kB 대역폭과 $2^{-39}$ 오차율을 달성했으며, Frodo보다 대역폭과 오차율 면에서 뛰어나다.
• 단일 오차 수정(SEG) 코드를 적용한 RLWE 기반 키 교환은 837비트 공유 키에서 0.4 kB 대역폭과 $2^{-69}$ 오차율을 달성한다.
• 저자들은 RLWE 공유 키의 서로 다른 위치에서 발생하는 오차가 본질적으로 독립적임을 증명하며, 효율적인 SEC 코드 설계를 가능하게 한다.
• 이산화된 분포와 융합 서브루틴을 사용한 수치적 오차 분석 방법은 정밀한 오차율 추정을 가능하게 하여 과도한 추정을 줄이고 더 날카운 파라미터 선택을 가능하게 한다.
• ZarZar 스킴(RLWE 기반)의 전체 오차 확률은 $2^{-58}$ 이하로 제한되며, 카이제곱 분포 근사에 기반한 엄밀한 수치적 증명이 존재한다.