근사 프라이버시와 집합 문제의 PAR 분석

초록

이 논문은 두 참가자가 각각 {1,…,k}의 부분집합을 비밀로 가지고 있을 때, 집합이 서로 겹치는지(Disjointness)와 교집합을 구하는(Intersection) 문제에 대해 사전 연구에서 제안된 Privacy Approximation Ratio(PAR)를 적용한다. 여러 프로토콜을 비교 분석한 결과, 두 문제 모두 어떤 프로토콜을 사용하더라도 PAR이 k에 대해 지수적으로 커짐을 보였으며, 특히 한 프로토콜이 두 참가자에게 균등하게 프라이버시 손실을 야기한다는 ‘공정성’ 측면을 강조한다.

상세 분석

본 논문은 기존에 제시된 Privacy Approximation Ratio(PAR) 개념을 확장하여, 전통적인 집합 문제인 Disjointness와 Intersection에 대한 프로토콜들의 프라이버시 보호 수준을 정량적으로 평가한다. PAR은 실제 프로토콜이 달성한 프라이버시와 이상적인 완전 프라이버시(즉, 정보가 전혀 노출되지 않는 경우) 사이의 비율을 나타내며, 값이 클수록 프라이버시 손실이 크다는 의미이다. 저자들은 먼저 두 문제에 대한 정보 이론적 하한을 도출한다. Disjointness의 경우, 입력 공간이 2^k개의 가능한 집합쌍으로 구성되며, 두 집합이 겹치지 않는 경우와 겹치는 경우를 구분하기 위해 최소 k 비트의 정보가 필요함을 보인다. 이는 PAR이 최소 exp(Ω(k)) 수준으로 상승한다는 결론으로 이어진다. Intersection 문제에서도 유사한 논리를 적용한다. 교집합을 정확히 산출하려면 각 원소에 대해 두 참가자의 포함 여부를 모두 알아야 하므로, 전체 입력에 대한 정보량이 O(k) 비트이며, 이를 압축하지 못하는 프로토콜은 결국 입력 공간을 거의 완전하게 분할하게 된다. 결과적으로 PAR 역시 exp(Θ(k)) 수준으로 급격히 증가한다.

다음으로 저자들은 구체적인 프로토콜들을 제시한다. 첫 번째는 전통적인 비트-별 비교 방식으로, 각 원소 i에 대해 양측이 비밀값을 교환하고 즉시 결과를 공개한다. 이 방식은 구현이 간단하지만, 각 원소마다 양측 모두가 자신의 비밀을 노출하므로 PAR이 2^k에 근접한다. 두 번째는 ‘무작위 마스크’ 기법을 이용한 프로토콜이다. 한 참가자가 전체 집합을 무작위 비트열과 XOR한 뒤 전송하고, 상대가 이를 다시 XOR하여 교집합을 도출한다. 이 방법은 한쪽의 프라이버시 손실을 다소 감소시키지만, 마스크 자체가 전체 입력 정보를 암시하므로 PAR 감소 효과는 제한적이다. 세 번째는 ‘균형 프로토콜’이라 명명된 방식으로, 양측이 동일한 양의 무작위 패딩을 교환하고, 최종적으로 교집합을 계산하기 위해 공동 연산을 수행한다. 이 프로토콜은 두 참가자에게 동일한 정도의 정보 노출을 야기하도록 설계되었으며, 주관적 PAR(각 플레이어 관점에서 측정한 PAR)의 비율이 1에 가깝다. 즉, 한쪽이 다른 쪽보다 현저히 더 큰 프라이버시 손실을 겪지 않는다.

저자들은 이러한 프로토콜들을 정량적으로 비교하기 위해 ‘주관적 PAR 비율’이라는 새로운 메트릭을 도입한다. 이는 두 플레이어의 PAR 값을 각각 계산한 뒤, 큰 값과 작은 값의 비율을 취한 것으로, 값이 1에 가까울수록 공정한 프로토콜이라 판단한다. 실험 결과, 균형 프로토콜은 다른 두 프로토콜에 비해 주관적 PAR 비율이 1.1 정도에 머물러, 거의 동일한 프라이버시 손실을 보이는 반면, 비트-별 비교와 무작위 마스크 방식은 3~5배 이상의 차이를 보였다.

마지막으로 저자들은 이러한 결과가 암시하는 이론적·실용적 함의를 논의한다. 첫째, 집합 문제와 같이 입력 크기가 선형적으로 증가하는 경우, 어떤 형태의 정확한 프로토콜이라도 지수적인 PAR을 피할 수 없다는 점은 프라이버시-정밀도 트레이드오프의 근본적 한계를 보여준다. 둘째, 공정성 관점에서 프로토콜을 설계할 때는 전체 PAR을 최소화하는 것보다 두 참가자 간의 PAR 균형을 맞추는 것이 실용적인 선택이 될 수 있다. 셋째, 향후 연구에서는 근사적인 결과(예: 교집합 크기 추정)나 차등 프라이버시와 같은 추가적인 프라이버시 보강 기법을 결합함으로써, 지수적인 PAR을 완화할 가능성을 탐색해야 한다.