💻 computer science

Beyond Controlled Noise: Achieving Symmetric FHE through Dynamic Position Shifting

본 논문은 평문 분할과 동적 위치 이동을 적용하여 전통적인 노이즈 증가와 계산 오버헤드를 완화하고, 승산을 관리하기 위한 이중 조절기 시스템과 대수적 공격에 대한 보안을 보장하는 바인딩 메커니즘을 활용하는 새로운 대칭형 완전 동형 암호 체계를 제안한다.

원저자: Mostefa Kara

게시일 2026-05-18

📖 4 분 읽기☕ 가벼운 읽기

CC BY 4.0

원저자: Mostefa Kara

원본 논문은 CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) 라이선스로 제공됩니다. ✨ 이것은 아래 논문에 대한 AI 생성 설명입니다. 저자가 작성하거나 승인한 것이 아닙니다. 기술적 정확성을 위해서는 원본 논문을 참조하세요. 전체 면책 조항 읽기

비밀 메시지가 있다고 상상해 보세요. 예를 들어 케이크 레시피 같은 것이죠. 그리고 그 레시피를 실제 재료들을 보여 주지 않은 채 셰프가 요리할 수 있게 하고 싶다고 가정해 봅시다. 암호학의 세계에서는 이를 **완전 동형 암호화 (Fully Homomorphic Encryption, FHE)**라고 합니다. 보통 이런 작업을 수행하는 것은 두껍고 무거운 오븐 장갑을 끼고 케이크를 굽는 것과 비슷합니다. 장갑 때문에 손이 둔하고 느려지죠. 여기서 '잡음 (noise)'은 바로 그 오븐 장갑을 의미합니다. 재료를 섞을 때마다 잡음이 더 심해져 결국 케이크를 올바르게 구울 수 없게 됩니다.

이 논문은 대칭형 FHE를 사용하여 이를 수행하는 새롭고 더 가벼운 방법을 제안합니다. 무거운 오븐 장갑 대신 저자는 섞기와 분할의 교묘한 시스템을 사용하여 상태를 깔끔하게 유지합니다.

그들의 시스템이 어떻게 작동하는지 간단한 개념으로 나누어 설명해 보겠습니다:

1. 문제: '잡음'의 폭발

전통적인 방법에서는 두 개의 암호화된 수를 곱할 때, 암호화 내부의 '잡음' (수학적 정적) 이 극적으로 증가합니다. 이는 혼잡한 방에서 속삭이는 비밀을 전달하는 것과 같습니다. 메시지를 사람에서 사람으로 전달할수록, 군중의 소음은 결국 그 단어를 덮어씌워버립니다. 기존 해결책들은 이를 '부트스트래핑 (bootstrapping)'이라는 복잡하고 느린 신호 갱신 과정을 통해 해결하려 합니다. 이는 몇 분마다 게임을 멈추고 방을 초기화하는 것과 같습니다.

2. 해결책: 메시지를 조각으로 분할

저자들의 아이디어는 비밀 메시지 (레시피) 를 세 개의 더 작은 조각으로 잘라내는 것입니다.

설정: 하나의 큰 비밀을 숨기는 대신, 세 개의 작은 조각을 세 가지 다른 '위치' (Position 1, 2, 3 이라고 부르겠습니다) 에 숨깁니다.
마법 같은 트릭: 그들은 특별한 '규제 키 (Regulator Keys)'를 사용합니다. 이를 교통 통제관이나 카드 섞기로 생각하세요.

3. 곱셈이 작동하는 방식 ('중재' 메커니즘)

두 개의 암호화된 수를 곱하고 싶을 때, 시스템은 단순히 그것들을 부딪히게 하지 않습니다. 대신 조각들 사이에서 음악 의자 게임을 합니다:

규칙: Position 1 에 있는 조각을 Position 1 에 있는 다른 조각과 곱하면, 결과는 Position 1 에 머무르지 않습니다. '규제자'가 이를 Position 2 로 이동시킵니다.
순환: Position 2 와 Position 3 에 있는 조각들을 곱하면, 결과는 Position 1 로 이동합니다.
결과: 조각들은 끊임없이 새로운 위치로 섞입니다. 이로 인해 '잡음'이 한곳에 쌓이는 것을 방지합니다. 이는 릴레이 경주와 같아서, 매번 배턴 (수학) 이 새로운 주자에게 전달되므로 단일 주자가 지치지 않습니다 (너무 많은 잡음이 축적되지 않음).

4. '이중 규제자' 안전망

누구도 속이거나 비밀 키를 알아낼 수 없도록 하기 위해, 시스템은 함께 작동하는 두 가지 유형의 규제자를 사용합니다:

지수 규제자 (Exponent Regulators): 수학이 이동하는 '위치' (교통 방향) 를 제어합니다.
계수 규제자 (Coefficient Regulators): 숫자의 '크기' (무게 정규화) 를 제어합니다.

이 논문은 이 두 가지가 '이중 결합 (dual-bound)'되어 있다고 주장합니다. 마치 두 개의 서로 다른 키를 정확히 같은 시간에 돌려야 하는 금고를 여는 것과 같습니다. 해커가 한 키를 추측하려 하면, 다른 키가 잠금 장치를 변경하여 퍼즐을 해결할 수 없게 만듭니다. 이는 대수학적 트릭을 통한 비밀 키 도난을 보호합니다.

5. 논문이 주장하는 것 (결과)

속도: 무거운 '부트스트래핑' 과정이 필요 없기 때문에 이 방법은 incredibly 빠릅니다. 논문은 암호화가 약 0.02 밀리초가 걸린다고 말합니다 (눈을 깜빡이는 것보다 빠름).
크기: 암호화된 데이터는 매우 작습니다 (단 9KB). 반면 다른 방법들은 수백 킬로바이트가 될 수 있습니다.
정확도: 수학은 완벽하게 작동합니다. 최종 답이 특정 한도 (사용된 소수의 크기) 보다 크지 않는 한, 원하는 만큼 수를 곱할 수 있습니다. 소진될 '잡음 예산'은 없습니다.
보안: 이 시스템은 표준 해킹 시도 (IND-CPA) 에 대해 안전합니다. 그러나 논문은 주요 한계를 인정합니다: 양자 컴퓨터에는 안전하지 않습니다. 보안은 큰 수를 소인수분해하는 것의 어려움에 의존하는데, 양자 컴퓨터는 이를 쉽게 해결할 수 있습니다.

요약 비유

이 방식을 비밀 릴레이 경주로 생각하세요.

옛날 방식: 한 주자가 무겁고 시끄러운 배낭을 짊어집니다. 배턴을 넘길 때마다 배낭은 더 무겁고 시끄러워져 결국 주자가 쓰러집니다.
이 논문의 방식: 메시지는 세 개의 작은 가방으로 나뉩니다. 배턴이 넘길 때마다 가방은 세 명의 다른 주자들 사이에서 교환되며, 가방은 마법처럼 크기가 조정되어 가볍게 유지됩니다. 주자들은 결코 지치지 않으며, 메시지는 선명하게 유지됩니다. 유일한 단점은 무엇일까요? 매우 빠른 양자 로봇이 나타나면 경로 지도를 알아낼 수 있을지도 모른다는 점입니다. 하지만 현재로서는 일반 컴퓨터에서 비밀을 안전하게 지키는 매우 빠르고 효율적인 방법입니다.

기술적 요약: 제어된 노이즈를 넘어: 동적 위치 이동을 통한 대칭 FHE 달성

문제 제기
전통적인 완전 동형 암호화 (FHE) 방식, 특히 격자 기반 구성 (예: BGV, BFV, CKKS) 에 기반한 방식은 금지할 정도로 높은 계산 오버헤드와 복잡한 노이즈 관리로 고통받고 있습니다. 이러한 방식들은 동형 곱셈 중 정확성을 유지하기 위해 부트스트래핑 (bootstrapping) 이나 재선형화 (relinearization) 와 같은 비용이 많이 드는 연산을 종종 요구합니다. 대칭 FHE 는 감소된 오버헤드로 이어질 수 있는 잠재적 경로를 제공하지만, 단순한 대칭 설계 (예: 단순 암호화 $c = mk$) 는 실제로 곱셈 중 노이즈나 비밀 키 지수가 기하급수적으로 증가하여 심층 산술 회로에 대한 방식을 비실용적으로 만들기 때문에 실패합니다. 기존 문헌에는 격자 기반 복잡성에 의존하지 않고 암호문 성장을 효과적으로 조절하는 대칭 FHE 구성이 부족합니다.

방법론
본 논문은 전통적인 노이즈 관리를 평문 분할 및 동적 중재 메커니즘으로 대체하는 새로운 대칭 FHE 방식을 제안합니다. 핵심 아키텍처는 $c = mk + rp $(여기서$ p $는 소수 모듈러스이고$ r$은 무작위 스칼라임) 인 모듈러 암호화 기반에 의존하며, 이는 본질적으로 가산적이지만 곱셈 하에서는 불안정합니다.

곱셈 불안정성을 해결하기 위해 저자들은 다음을 도입합니다:

평문 분할: 메시지 $m$ 은 확률적으로 세 개의 조각 ( $m_1, m_2, m_3$ ) 으로 분할되어 그 합이 $m$ 이 되도록 합니다. 각 조각은 서로 다른 "위치 키" ( $k_1, k_2, k_3$ ) 하에서 암호화됩니다.
이중 조절기 시스템: "조절기"라고 불리는 공개 키 집합이 곱셈 과정을 통제합니다. 이들은 다음과 같이 나뉩니다:
- 지수 조절기 ( $t_i$ ): 이들은 암호문 조각의 곱을 새로운 논리적 위치로 재지시합니다. 이는 지수 조절기가 지수적으로 증폭되도록 허용하는 대신 비밀 키 지수의 축적을 방지합니다 (예: $k^x \cdot k^y$ 를 새로운 위치 $k^z$ 와 관련된 형태로 변환).
- 계수 조절기 ( $d_i$ ): 이들은 곱셈으로 인해 발생하는 스칼라 계수를 정규화하여 출력이 복호화를 위한 올바른 대수적 형태에 머무르도록 보장합니다.
중재 메커니즘: 이 방식은 세 위치 ( $P_1, P_2, P_3$ ) 의 순환 흐름에서 작동합니다. 조각이 곱해질 때, 결과는 위험한 역 연산을 필요로 하는 원래 위치로 반환되지 않고 결정론적 함수에 의해 결정된 목표 위치로 이동합니다 (예: $P_1 \times P_1 \to P_2$ ). 이는 조각이 영구적으로 재배치되지만 결코 손실되거나 기하급수적으로 확장되지 않는 폐쇄 루프 시스템을 생성합니다.

주요 기여

새로운 대칭 구성: 본 논문은 암호문 성장을 조절하기 위해 중재 및 평문 분할을 활용하는 최초의 대칭 FHE 방식을 도입하여 경량 암호학 문헌의 공백을 메웠습니다.
노이즈 없는 곱셈 깊이: 격자 기반 방식과 달리, 이 접근법은 확률적 노이즈 축적으로 고통받지 않습니다. "노이즈" 항 ($rp $) 은 각 단계에서 모듈로$ p $에 대한 축소 시 사라집니다. 결과적으로 이 방식은 평문 용량 (즉, 메시지의 곱이 소수 모듈러스$ p$보다 작아야 함) 에 의해서만 제한되는 무제한 곱셈 깊이를 지원합니다.
이중 바인딩 보안: 보안은 지수 및 계수 조절기가 상호 의존적인 바인딩 메커니즘에 의존합니다. 공격자는 다른 조절기의 알려지지 않은 매개변수에 의해 방해받지 않고는 한 조절기를 조작하여 비밀 키 $k$ 를 분리할 수 없습니다.
공식적 보안 분석: 저자들은 두 가지 난제 가정인 Multiplicative Masking Assumption ( $MMA_p$ ) 과 Hidden Modulus Indistinguishability ( $HMP_n$ ) 에 기반한 IND-CPA 보안 증명을 제공합니다. 위치 키의 보안은 이산 로그 가정 (DLA) 과 정수 인수분해 (IFA) 에 근거합니다.

결과 및 성능
본 논문은 표준 Intel i7-10700 CPU 에서 제안된 방식을 확립된 격자 기반 모델 (BGV, BFV, CKKS, TFHE) 과 비교하는 성능 평가를 제시합니다:

효율성: 제안된 방식은 현저히 가벼운 성능을 보여줍니다. 암호화 시간은 약 0.02 ms이며, 동형 덧셈은 거의 무시할 수 있을 정도로 0.002 ms입니다.
암호문 크기: 암호문 크기는 격자 기반 방식에서 전형적인 수백 킬로바이트에 비해 9 KB로 컴팩트합니다.
정확성: 이 방식은 부트스트래핑이나 모듈러스 전환 없이 $\mathbb{Z}_p$ 에서 정확한 동형 덧셈 및 곱셈을 달성합니다.
한계: 이 방식은 (가변성으로 인한 동형 방식의 알려진 속성인) IND-CCA 보안을 제공하지 않으며, DLA 와 IFA 에 의존하여 보안이 보장되므로 쇼어 알고리즘에 취약하여 양자 내성 보안을 제공하지 않습니다.

의의
본 논문은 양자 내성 보안보다 속도와 컴팩트함을 우선시하는 시나리오에 대한 전통적인 FHE 의 매우 효율적이고 경량인 대안을 제공한다고 주장합니다. 복잡한 노이즈 관리와 부트스트래핑의 필요성을 제거함으로써 제안된 "중재" 메커니즘은 대칭 동형 암호화에 대한 결정론적 접근법을 제공합니다. 저자들은 이 작업을 고전적 보안 가정이 유효한 리소스 제약 환경 (예: IoT) 을 위한 실현 가능한 솔루션으로 위치시키면서, 중재 메커니즘을 양자 내성 환경에 적응시키기 위한 향후 연구가 필요함을 인정합니다.