포스트양자 암호와 리만 프리미티브 체리스털

초록

체리스털 프로젝트는 리만 구면 위에 정의된 새로운 원시 연산을 활용해 복소수 형태의 학습 오차(LWE)를 기반으로 하는 포스트양자 암호 체계를 제안한다. 보안은 비가환 그로테스키 문제에 대한 NP‑Hard 귀환을 이용하며, 이 과정에서 복합적인 이중선형 행렬 부등식과 전단사 함수가 핵심 역할을 한다.

상세 분석

본 논문은 기존의 격자 기반 포스트양자 암호가 주로 실수 혹은 정수 체계에 국한된 데 반해, 복소수 해석학적 구조를 이용한 새로운 암호 프레임워크를 제시한다. 핵심 아이디어는 ‘홀로모픽 학습 오차(HLE)’라는 개념으로, 전통적인 LWE의 오류 항을 복소수 값의 홀로모픽 함수로 확장한다. 이를 위해 저자들은 리만 구면 위에 정의된 ‘리만 프리미티브’를 도입한다. 리만 프리미티브는 복소수 좌표계에서의 전단사 사상과, 구면의 위상적 특성을 보존하는 사상들의 집합으로, 복소수 벡터 공간에서의 선형 연산을 보강한다.

보안 귀환 측면에서는 비가환 그로테스키 문제(Non‑commutative Grothendieck Problem)를 선택한다. 이 문제는 행렬 텐서의 최적화와 관련된 NP‑Hard 문제로, 기존 LWE 기반 귀환보다 더 강력한 복잡도 경계를 제공한다. 논문은 비가환 그로테스키 문제를 ‘이중선형 행렬(bilinear matrices)’을 이용해 홀로모픽 벡터 번들에 매핑한다. 구체적으로, 각 홀로모픽 표현식 사이에 전사 함수(surjective function)를 정의하고, 이 함수들을 통해 좌표계가 교차하도록 설계한다. 이렇게 구성된 시스템은 ‘이중선형 행렬 부등식(Bilinear Matrix Inequalities, BMI)’ 형태의 제약을 만든다.

BMI는 다시 ‘선형 행렬 부등식(Linear Matrix Inequality, LMI)’으로 근사화될 수 있다. 저자들은 이 과정에서 이차형(quadratic form) 변환을 적용해, 비가환 그로테스키 문제의 해를 임의의 점 집합으로 매핑한다. 즉, 주어진 LMI의 해 공간 내에서 선택된 점들은 원 문제의 근사 해가 되며, 이는 암호키 생성 및 복호화 과정에서 난수성 및 보안성을 보장한다.

또한, 논문은 구현 측면에서 ‘홀로모픽 학습 오차’ 샘플링 알고리즘을 제시한다. 복소수 가우시안 분포를 기반으로 오류 벡터를 생성하고, 이를 리만 구면 위의 좌표 변환을 통해 암호문에 삽입한다. 복호화 시에는 복소수 역변환과 LMI 해석을 통해 원본 메시지를 복원한다. 이 과정에서 복소수 연산의 수치 안정성, 그리고 전사 함수의 역함수 존재 여부가 핵심적인 구현 난제이다.

전체적으로, 이 논문은 복소수 해석학, 비가환 최적화, 그리고 격자 기반 암호 이론을 융합한 획기적인 시도를 보여준다. 다만, 현재 제시된 보안 귀환이 실제로 양자 컴퓨터에 대해 충분히 강건한지, 그리고 LMI 근사화 과정에서 발생할 수 있는 오류 누적이 실용적인 보안 파라미터에 어떤 영향을 미치는지는 추가적인 검증이 필요하다.