⚡ electrical engineering

Secure Two-Party Matrix Multiplication from Lattices and Its Application to Encrypted Control

이 논문은 격자 기반 암호학 가정을 기반으로 한-party 계산 프로토콜을 제안하여, 선형 제어 법칙의 안전한 구현을 가능하게 하면서도 클라이언트의 온라인 계산 복잡도를 낮추고 입력·출력·파라미터의 프라이버시를 보장하는 동시에 제어 입력의 정밀도를 유지함을 보여줍니다.

원저자: Kaoru Teranishi

게시일 2026-03-25

📖 3 분 읽기☕ 가벼운 읽기

CC BY 4.0

원저자: Kaoru Teranishi

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

🏭 1. 배경: 왜 이 연구가 필요한가요?

상상해 보세요. 당신은 아주 정교한 **로봇 공장 (시스템)**을 운영하고 있습니다. 이 로봇을 움직이기 위해서는 매일매일 복잡한 계산 (행렬 곱셈) 이 필요합니다.

문제: 이 계산을 직접 하면 너무 바쁘고, 계산 능력을 가진 거대 클라우드 회사에 맡기면 **비밀 (센서 데이터, 로봇의 지령, 공장 설계도)**이 유출될까 봐 걱정됩니다.
기존 방식: 암호화해서 보내면, 클라우드 회사가 암호를 풀지 않고 계산할 수 있지만, 그 과정에서 계산 속도가 너무 느려서 로봇이 멈추거나, 오히려 당신 (클라이언트) 이 더 많은 일을 해야 하는 문제가 있었습니다.

🎭 2. 이 논문의 핵심 아이디어: "한 번의 대화로 끝내는 마법"

이 논문은 **두 명의 신뢰할 수 없는 계산 파트너 (P0, P1)**와 **비밀을 지키는 당신 (클라이언트)**이 함께 작동하는 새로운 방식을 제안합니다.

🧩 비유: "자물쇠와 분할된 조각"

이 방식은 **비밀을 나누는 것 (Secret Sharing)**과 **수학적인 난제 (Lattice Cryptography)**를 섞은 것입니다.

비밀을 쪼개기: 당신은 중요한 데이터 (로봇의 상태나 설계도) 를 두 개의 조각으로 나눕니다. 두 조각 중 어느 하나만으로는 아무것도 알 수 없습니다.
수학적 자물쇠 (LWE/SIS): 이 조각들을 아주 복잡한 수학적 자물쇠 (격자 기반 암호) 로 감쌉니다. 이 자물쇠는 "오류 (Noise)"를 포함하고 있어서, 자물쇠를 풀지 않고도 계산이 가능하게 만들어 줍니다.
한 번의 대화 (One-Round):
- 과거: 계산 파트너 A 와 B 가 서로 수없이 많은 메시지를 주고받으며 계산을 해야 했습니다. (지루하고 느림)
- 이 논문: 당신과 파트너 A, B 가 오직 한 번만 메시지를 주고받으면 모든 계산이 끝납니다. 마치 "준비된 상자"를 주고받는 것처럼 빠릅니다.

🚀 3. 이 방식의 놀라운 장점

이 논문이 제안한 방법은 다음과 같은 세 가지 마법을 동시에 부립니다.

🏃‍♂️ 당신의 업무는 가벼워집니다:
기존 방식에서는 당신이 암호를 풀고 다시 암호를 만드는 등 많은 일을 했지만, 이 방식에서는 데이터를 쪼개고 합치는 일만 하면 됩니다. 계산 파트너들이 무거운 일을 대신해 주므로, 당신의 컴퓨터는 훨씬 가볍게 돌아갑니다.
🔒 모든 것이 비밀입니다:
계산 파트너들은 당신이 준 데이터의 값이 무엇인지, 계산 결과 (로봇이 어떻게 움직일지) 가 무엇인지 전혀 알 수 없습니다. 오직 결과만 당신에게 돌려줄 뿐입니다.
🎯 오차 없이 정확합니다:
암호화 과정에서 약간의 '소음 (오차)'이 생길 수 있는데, 이 논문은 **"어떤 조건을 맞추면 이 오차가 로봇 제어에 전혀 방해가 안 될 정도로 작다"**는 것을 수학적으로 증명했습니다.

🤖 4. 실제 적용 사례: 로봇 제어

이론만 있는 게 아닙니다. 저자는 이 방식을 **선형 제어 (Linear Control)**에 적용했습니다.

상황: 로봇 팔이 특정 궤적을 그리도록 하려면, 매 순간 센서 값과 설계도를 곱해서 명령을 내려야 합니다.
결과: 이 논문의 방법을 쓰면, 로봇은 멈추지 않고 실시간으로 움직이며, 외부 해커나 계산 파트너는 로봇이 무엇을 하고 있는지, 어떤 설계도를 썼는지 전혀 모릅니다.
실험: 컴퓨터 시뮬레이션 결과, 암호화 오차 때문에 로봇이 흔들리거나 멈추는 일은 전혀 없었습니다.

💡 요약: 한 줄로 정리하면?

"이 논문은 두 명의 계산 파트너와 한 번만 대화하면, 당신의 중요한 로봇 제어 데이터를 해킹당하지 않으면서도 훨씬 빠르게 계산하게 해주는 '수학적 마법'을 개발했습니다."

이 기술은 앞으로 사물인터넷 (IoT), 스마트 팩토리, 자율주행차 등 데이터의 프라이버시가 중요하면서도 실시간 계산이 필요한 모든 분야에 혁신을 가져올 것으로 기대됩니다.

1. 연구 배경 및 문제 제기 (Problem)

암호화된 제어 (Encrypted Control) 의 필요성: 사이버 - 물리 시스템 (CPS) 의 보안과 프라이버시를 보호하기 위해, 제어 알고리즘을 암호화된 데이터로 직접 실행하는 패러다임이 등장했습니다. 이를 통해 클라이언트는 민감한 센서 데이터, 제어 입력, 제어기 파라미터 등을 공개하지 않고도 계산 작업을 외부 (신뢰할 수 없는 서버) 에 위임할 수 있습니다.
기존 기술의 한계:
- 단일 서버 (Homomorphic Encryption): 동형 암호를 사용하는 단일 서버 방식은 이론적으로 가능하나, 암호화/복호화의 계산 오버헤드로 인해 클라이언트의 계산 부하가 오히려 증가하는 문제가 있습니다.
- 다중 서버 (Secret Sharing): 비밀 공유 (Secret Sharing) 를 사용하는 다중 서버 방식은 계산 효율성을 높일 수 있으나, 행렬 곱셈과 같은 비선형 연산을 수행할 때 보안성을 유지하기 위해 여러 번의 통신 라운드 (Multi-round) 가 필요하거나, 3 개 이상의 비공격자 (Non-colluding) 파티가 필요하다는 제약이 있었습니다.
- 핵심 과제: 2-_party 환경에서 **단일 통신 라운드 (One-round)**로 행렬 곱셈을 수행하면서도, 클라이언트의 온라인 계산 복잡도를 기존 제어 계산보다 낮게 유지하는 것은 여전히 큰 도전 과제였습니다.

2. 제안된 방법론 (Methodology)

저자는 **격자 기반 암호학 (Lattice-based Cryptography)**의 두 가지 표준 문제인 **LWE (Learning With Errors)**와 **SIS (Short Integer Solution)**를 결합하여 새로운 2-_party 행렬 곱셈 프로토콜을 제안했습니다.

핵심 아이디어:
- 선형성 활용: LWE 암호문과 SIS 커밋먼트의 선형적 성질을 이용하여, 비밀 공유 (Secret Sharing) 된 값들 간의 연산을 수행합니다.
- 근사 내적곱 (Approximate Inner Product):
  - 클라이언트는 입력 벡터 $x$ 에 대해 LWE 암호문 ( $c, c'$ ) 을 생성하고, 입력 벡터 $y$ 에 대해 SIS 커밋먼트 ( $h$ ) 를 생성합니다.
  - 두 파티는 이 값들을 사용하여 $c^T y + (c')^T r - s^T h \approx x^T y$ 형태의 근사 내적곱을 계산합니다. 여기서 $s$ 는 비밀 키, $r$ 은 짧은 랜덤 벡터이며, 오차 항 ( $e^T y + (e')^T r$ ) 은 제어 가능한 수준으로 유지됩니다.
- 행렬 곱셈 확장: 벡터 내적곱을 행렬 곱셈으로 확장하고, 고정 소수점 (Fixed-point) 수 표현을 도입하여 실수 연산을 정수 격자 위에서 수행하도록 설계했습니다.
프로토콜 구조 (Mult Protocol):
1. Setup (오프라인): 클라이언트가 공개 파라미터 (공통 참조 문자열, CRS) 를 생성하여 파티들에게 배포합니다.
2. Offline (오프라인): 클라이언트가 입력 행렬 $X$ 에 대한 LWE 암호문과 비밀 공유된 키 $S$ 를 생성하여 파티들에게 전달합니다.
3. Online (온라인):
  - 클라이언트는 입력 행렬 $Y$ 를 비밀 공유하여 파티들에게 전달합니다.
  - 두 파티는 로컬에서 $H$ (SIS 커밋먼트) 를 생성하고, 이를 이용해 $X$ 와 $Y$ 의 곱에 대한 비밀 공유된 결과 ( $J\bar{Z}K$ ) 를 계산합니다.
  - 파티들은 계산 결과를 클라이언트에게 보내고, 클라이언트는 이를 재구성 (Reconstruct) 하여 최종 결과를 얻습니다.
- 특징: 이 프로세스는 단일 통신 라운드로 완료되며, 클라이언트의 온라인 작업은 공유 생성 및 재구성에 국한됩니다.

3. 주요 기여 (Key Contributions)

단일 라운드 2-_party 프로토콜 제안: 고정 소수점 수의 근사 행렬 곱셈을 위한 새로운 프로토콜을 제안했습니다. 이 프로토콜은 LWE 및 SIS 가정에 기반하여 수학적으로 보안성이 증명되었습니다.
정밀도 분석 및 조건 도출: 프로토콜에서 발생하는 근사 오차와 양자화 오차를 이론적으로 분석했습니다. 입력 데이터의 비트 길이 ( $k$ ) 와 소수점 비트 길이 ( $\ell$ ) 에 대한 충분 조건을 유도하여, 오차가 지정된 임계값 ( $\epsilon$ ) 이하로 유지되도록 보장했습니다.
암호화된 제어 적용 및 효율성 입증: 선형 제어 법칙 (Linear Control Law) 구현에 프로토콜을 적용했습니다.
- 클라이언트 부하 감소: 클라이언트의 온라인 계산 복잡도가 기존 제어 계산 ( $O(n_u n_x)$ ) 보다 낮아졌습니다 ( $O(n_u + n_x)$ ).
- 보안성: 제어 입력, 출력, 그리고 피드백 이득 (Feedback Gains) 모두를 비밀로 유지하면서 2-_party 환경에서 단일 라운드 통신을 가능하게 했습니다.

4. 실험 결과 (Results)

수치 예시: 선형 시불변 (LTI) 시스템을 대상으로 한 시뮬레이션을 수행했습니다.
- 파라미터: LWE 파라미터 $(n, q, \sigma) = (212, 2^{108}, 3.2)$ 를 사용하여 128 비트 보안을 확보했습니다.
- 정밀도: 이론적 분석에 따라 비트 길이를 설정 ( $k=53, \ell=44$ ) 했을 때, 제어 입력의 최대 오차가 $2^{-10}$ 이하로 유지됨을 확인했습니다.
- 성능: 암호화된 제어 시스템이 양자화 오차와 근사 오차에도 불구하고 원래의 제어 성능을 유지하며 안정적으로 작동함을 Fig. 3 을 통해 입증했습니다.
복잡도 비교: 클라이언트의 온라인 계산 비용이 기존 제어 계산보다 낮아졌으며, 파티 간 통신은 최소한의 단일 라운드만 필요함을 확인했습니다.

5. 의의 및 결론 (Significance & Conclusion)

기술적 혁신: 이 연구는 2-_party 환경에서 단일 라운드 통신으로 클라이언트 계산 부하를 줄이면서 민감한 제어 신호와 파라미터를 모두 보호하는 최초의 암호화된 제어 구현 중 하나로 평가됩니다.
실용성: 격자 기반 암호학의 선형성을 활용한 설계는 암호화된 제어 시스템의 실용화를 위한 중요한 걸음입니다. 특히, 클라이언트의 계산 능력을 제한하는 IoT 기기나 임베디드 시스템에 적용 가능한 솔루션을 제시합니다.
향후 과제: 동적 제어기 (Dynamic Controllers) 로의 확장 및 계산 파티의 계산 비용 최적화가 향후 연구 과제로 제시되었습니다.

요약하자면, 이 논문은 격자 기반 암호학의 강력한 보안성과 효율적인 프로토콜 설계를 결합하여, 암호화된 제어 분야에서 오랫동안 해결되지 않았던 "보안, 효율성, 단일 라운드 통신"이라는 세 가지 목표를 동시에 달성하는 획기적인 솔루션을 제시했습니다.