[논문 리뷰] Secure Multi-Party Computation with a Helper

Johannes Schneider|arXiv (Cornell University)|2015. 08. 31.

Cryptography and Data Security참고 문헌 26인용 수 3

한 줄 요약

이 논문은 특정 조건 하에서 AND 게이트당 한 비트의 점근적 최적성 달성을 위해 통신 복잡도를 크게 줄이는 전용 보조자(participant)를 사용하는 새로운 보안 다자간 계산(MPC) 프레임워크를 제안한다. 사전 공유된 난수와 보조자와의 비밀 분할을 활용함으로써 복잡한 함수, 예를 들어 거듭제곱 계산에 대해 일정 라운드 프로토콜을 구현할 수 있으며, 기존의 연구에 비해 통신 효율성을 높이면서도 단일 부패한 당사자에 대해 완벽한 보안을 유지한다.

ABSTRACT

A client wishes to outsource computation on confidential data to a network of parties. He does not trust a single party but believes that multiple parties do not collude. To solve this problem, we use the idea of treating one of the parties as a helper. A helper assists computation only. Often using more parties ensures confidentiality despite more corrupted parties. This does not hold for adding a helper. But a helper can in some cases lower the amount of communication asymptotically to the theoretical minimum of one bit per AND gate, improving significantly on schemes without a helper. It can also allow for very efficient computations of certain functions, as we show for the exponential function with public base.

연구 동기 및 목표

• 전용 보조자 당사자가 보안 다자간 계산에서 통신 복잡도와 라운드 복잡도를 향상시킬 수 있는지 조사한다.
• 세 당사자 환경에서 통신 오버헤드를 최소화하면서도 반간만 모델 하에서 완벽한 보안을 유지하는 새로운 MPC 프로토콜을 설계한다.
• 복잡한 함수, 특히 지수 함수의 효율적 계산을 가능하게 하기 위해 보조자를 활용하여 일정 라운드 프로토콜을 실현한다.
• 보조자를 활용한 큰 팬인 AND 게이트에 대해 통신 복잡도와 라운드 복잡도 간의 트레이드오프를 분석한다.
• 오직 부패한 당사자들만 보안을 위협하는 '신뢰할 수 없는 공격자' 모델을 정의함으로써, 더 적은 수의 부패로도 강력한 보안 보장을 가능하게 한다.

제안 방법

• 보조자는 비밀 분할을 보유하지 않지만, 최적화된 통신 패tern을 통해 AND 및 XOR 게이트의 계산을 지원한다.
• 비밀은 선형 암호화(예: 덧셈 기반 분할)를 사용하여 공유되며, 보조자를 통해 여러 연산 간에 공유된 값을 재사용함으로써 불필요한 전송을 줄인다.
• 지수 함수 계산을 위해, 두 변수를 포함하는 수학적 항등식을 활용하여 보조자를 통해 단 두 라운드 내로 결과를 도출한다.
• 변수가 여러 게이트 평가 간에 재사용될 경우 보조자의 역할을 반복적으로 활용함으로써 AND 게이트당 통신을 한 비트로 줄일 수 있다.
• 큰 팬인 AND 게이트에 대해 통신과 라운드 복잡도 간의 트레이드오프를 가능하게 하기 위해, 보조자의 역할을 조정 가능한 프로토콜을 설계한다.
• 이 접근법은 당사자 간에 사전 공유된 난수를 가정하며, 오직 부패한 당사자들만 비밀을 접근할 수 있고, 신뢰할 수 없는 당사자들은 비밀을 접근할 수 없는 '신뢰할 수 없는 공격자' 모델을 정의한다.

실험 결과

연구 질문

• RQ1 전용 보조자당 AND 게이트당 이론적 하한선인 비트 2개 이하의 통신 복잡도를 달성할 수 있는가?
• RQ2 어떤 조건에서 보조자가 비트 1개의 통신을 AND 게이트당 달성하면서도 비현실적이지 않은 보안 보장을 제공할 수 있는가?
• RQ3 보조자를 어떻게 활용하여 지수 함수와 같은 복잡한 함수를 최소한의 통신으로 일정 라운드 내에서 계산할 수 있는가?
• RQ4 보조자의 영향으로 큰 팬인 AND 게이트의 라운드 복잡도와 통신 복잡도 간의 트레이드오프에 어떤 영향을 미치는가?
• RQ5 '신뢰할 수 없는 공격자' 모델은 기존의 '모든 당사자가 신뢰할 수 없다'는 모델에 비해 보안 보장에 어떤 영향을 미치는가?

주요 결과

• 변수가 여러 연산 간에 재사용될 조건 하에서 AND 게이트당 통신이 한 비트로 줄어들며, 이는 이론적 최소값과 정확히 일치한다.
• 공개된 기반을 가진 지수 함수의 경우, 프로토콜이 단 두 라운드 내로 결과를 계산하여 이전의 방법들에 비해 크게 향상된다.
• 여러 AND 게이트에 대해 기존의 세 당사자 MPC 프로토콜 대비 통신 복잡도를 최대 3배까지 줄일 수 있다.
• 보조자는 큰 팬인 AND 게이트에 대해 통신과 라운드 복잡도 간의 트레이드오프를 가능하게 하여, 시스템 제약 조건에 따라 최적화할 수 있다.
• 보안 모델은 오직 한 명의 부패한 당사자만 시스템을 손상시킬 수 있도록 하여, 기존의 두 명의 부패가 필요로 하는 시스템보다 보안 보장을 향상시킨다.
• 프로토콜은 최신 기술 수준의 프로토콜과 동일한 수준의 로컬 계산 복잡도를 유지하면서도 통신 및 라운드 수를 극적으로 줄였다.