[논문 리뷰] Some Efficient Solutions to Yao's Millionaire Problem

Ashish Kumar, Anupam Gupta|arXiv (Cornell University)|2013. 10. 30.

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

한 줄 요약

이 논문은 앨리스와 보브가 비밀 정수를 드러내지 않고 비교할 수 있도록 해주는 양자간의 효율적이고 안전한 프로토콜 세 가지를 제안한다. 첫 번째 프로토콜은 부분적 히로모르픽 암호화를 사용하여 4라운드, 저복잡도 솔루션을 제공한다. 두 번째 프로토콜은 신뢰할 수 없는 제3자와 순서 유지 함수를 활용하여 선형 통신을 달성한다. 세 번째 프로토콜은 무작위 전송과 의사난수 함수를 사용하여 이차 통신을 유도하지만 매우 단순하다. 주요 기여는 통신, 계산, 신뢰 가정의 상호 교환을 고려한 실용적이고 안전한 비교 프로토콜이다.

ABSTRACT

We present three simple and efficient protocol constructions to solve Yao's Millionaire Problem when the parties involved are non-colluding and semi-honest. The first construction uses a partially homomorphic Encryption Scheme and is a 4-round scheme using 2 encryptions, 2 homomorphic circuit evaluations (subtraction and XOR) and a single decryption. The second construction uses an untrusted third party and achieves a communication overhead linear in input bit-size with the help of an order preserving function.Moreover, the second construction does not require an apriori input bound and can work on inputs of different bit-sizes. The third construction does not use a third party and, even though, it has a quadratic communication overhead, it is a fairly simple construction.

연구 동기 및 목표

• 비밀 정수를 드러내지 않고 비교할 수 있는 효율적이고 안전한 양자간 계산 프로토콜을 설계한다.
• 반세미신뢰, 비협력 당사자 가정 하에 백만장자 문제를 해결할 때 통신 및 계산 오버헤드를 줄인다.
• 통신 복잡도, 제3자 의존도, 프로토콜 단순성 간의 상호 교환 관계를 탐색한다.
• 기존의 지수적 또는 고오버헤드 솔루션에 대한 실용적 대안을 제공한다.
• 안전한 함수 평가 복잡도의 하한 분석을 위한 기초를 마련한다.

제안 방법

• 프로토콜 A는 덧셈과 XOR 연산을 지원하는 부분적 히로모르픽 암호화 체계를 사용하여 (a - b) ⊕ R을 히로모르픽하게 계산하며, 보브가 복호화한 후 결과의 최상위 비트(MSB)만 앨리스에게 전송한다.
• 프로토콜 B는 신뢰할 수 없는 제3자와 순서 유지 함수 F를 도입하여 F(x) < F(y) iff x < y 를 만족시키며, 입력 비트 크기의 선형 통신을 가능하게 한다.
• 프로토콜 C는 1-중 2 무작위 전송을 사용하여 앨리스의 입력 비트 각각에 대해 f_i(a_i)의 함수 값을 안전하게 전송하며, F(a)는 이러한 값들의 합으로 계산된다.
• 랜덤 값 f_i는 단일 시드에서 의사난수 생성기(PRNG)를 사용해 생성되며, 이는 매개변수 선택의 보안성과 효율성을 보장한다.
• 모든 프로토콜은 반세미신뢰, 비협력 당사자 가정 하에 설계되었으며, 표준 암호학적 가정에 기반한다: 히로모르픽 암호화, PRG 보안, 1-중 2 무작위 전송 보안.
• 이전의 지수 시간 솔루션을 피하고, 효율적인 연산과 최소한의 라운드를 통해 실용성을 추구한다.

실험 결과

연구 질문

• RQ1 신뢰할 수 없는 제3자를 사용하여 입력 크기의 선형 통신 오버헤드로 백만장자 문제를 해결할 수 있는가?
• RQ2 제3자가 없이도 단순성과 정확성을 유지하면서 안전한 비교 프로토콜을 설계할 수 있는가?
• RQ3 안전한 양자간 비교에서 통신 복잡도, 계산 비용, 신뢰 구성 요소 의존도 간의 상호 교환 관계는 무엇인가?
• RQ4 히로모르픽 암호화와 무작위 전송을 어떻게 조합하여 효율적이고 안전한 비교 프로토콜을 구축할 수 있는가?
• RQ5 사전에 크기 제약 없이 서로 다른 비트 크기의 입력에서도 작동하는 프로토콜을 설계할 수 있는가?

주요 결과

• 프로토콜 A는 덧셈과 XOR 성질을 갖는 부분적 히로모르픽 암호화를 사용하여 4라운드, 2회 암호화, 2회 히로모르픽 평가, 1회 복호화 솔루션을 달성한다.
• 프로토콜 B는 순서 유지 함수와 신뢰할 수 없는 제3자를 활용하여 입력 비트 크기의 선형 통신 복잡도 O(n)을 달성하며, 입력 크기의 범위 제약이 필요하지 않다.
• 프로토콜 C는 이차 통신 오버헤드 O(n²)를 가지지만 매우 단순하며 제3자가 필요 없으며, 1-중 2 무작위 전송과 PRG 기반 의사난수 함수 생성에 의존한다.
• 모든 프로토콜은 표준 가정 하에 보안을 확보한다: 기반 암호화 체계, PRG, OT 프로토콜의 보안성으로, 비교 결과 이외의 정보 泄露가 없다.
• 특히 효율적인 히로모르픽 체계와 의사난수 생성기를 사용할 경우, 낮은 계산 비용으로 실용적인 타당성을 입증한다.
• 이 논문은 비교 및 일반 함수에 대해 안전한 함수 평가 복잡도의 하한 분석을 위한 토대를 마련한다.