균형저울과 동전으로 구현하는 범용 논리 연산 프로토콜

초록

본 논문은 무게가 다른 두 종류의 동전과 양팔 저울을 이용해 n 변수의 임의의 부울 함수를 안전하게 계산할 수 있는 네 가지 물리적 MPC 프로토콜을 제시한다. AND, 임계값, 대칭 함수, 그리고 모든 부울 함수를 각각 구현하며, 필요한 동전·가방·비교 횟수를 정량적으로 분석한다.

상세 분석

이 연구는 기존 카드 기반 물리 암호화가 주류를 이루던 분야에 새로운 물리 모델을 도입함으로써 중요한 전환점을 만든다. 저자는 무게 차이를 이용한 판단 메커니즘을 설계했으며, 이는 디지털 연산에 비해 직관적이고 외부 검증이 용이한 장점을 제공한다. 네 가지 프로토콜은 각각 AND, 임계값(Threshold), 대칭(Symmetric), 그리고 일반 부울 함수(Any Boolean) 계산을 목표로 한다.
첫 번째 프로토콜은 각 참여자가 무게가 다른 두 동전 중 하나를 선택해 한쪽에 놓고, 반대쪽에 동일한 무게의 무거운 동전을 배치한다. 무게가 동일할 때만 모든 입력이 1임을 보장하므로, 단 한 번의 저울 비교만으로 AND 연산을 안전하게 수행한다.
두 번째 프로토콜은 임계값 함수 T_k 를 구현한다. 여기서는 맞춤형 무게 W = (k‑1)w + (n‑k+1)(w‑δ) + δ² 를 사용해, 최소 k개의 무거운 동전이 있을 때만 무게가 W보다 크도록 설계한다. 맞춤형 무게는 실제 구현 시 δ² 무게의 동전 하나와 적절한 수의 무거운·가벼운 동전을 조합함으로써 간단히 만들 수 있다.
세 번째 프로토콜은 대칭 함수 S_n^X 를 계산한다. X에 포함된 각 k값마다 k개의 무거운 동전과 n‑k개의 가벼운 동전을 넣은 가방을 준비하고, 특별 가방에 참여자들의 입력에 따라 동전을 넣는다. 가방을 무작위 섞은 뒤, 특별 가방과 일반 가방을 번갈아 저울에 올려 무게가 같은 경우를 탐색한다. 이 과정은 최대 ⌈n/2⌉ 번의 비교와 ⌈n/2⌉+1 개의 가방만을 필요로 하며, 대칭 함수의 효율적 구현을 보여준다.
네 번째 프로토콜은 임의의 부울 함수를 보일러플레이트 형태인 보울의 전개식(Shannon expansion)으로 변환한 뒤, 각 1값을 갖는 입력 조합에 대응하는 가방을 만든다. 각 가방 안에 참여자들은 자신의 비트와 조합 비트가 일치하면 무거운 동전, 불일치하면 가벼운 동전을 넣는다. 모든 가방을 섞은 뒤, 각 가방의 내용물을 무게가 n개의 무거운 동전과 비교한다. 어느 하나라도 무게가 같으면 함수값이 1이다. 이 방법은 |B_f| 개의 가방과 2n‑1 번의 비교를 필요로 하지만, |B_f| 가 2^n‑1 을 초과할 경우 보완 함수 ¬f 를 사용해 가방 수를 절반 이하로 줄일 수 있다.
보안 분석에서는 반-정직(semi‑honest) 모델을 가정하고, 각 단계에서 참여자가 얻을 수 있는 정보는 “무게가 같은가 여부”뿐임을 증명한다. 무게 차이가 ε보다 작을 경우 저울이 정지하도록 설계했으며, δ≫ε 로 설정해 무게 차이를 명확히 구분한다. 또한 가방 섞기와 동전 배치는 무작위성을 보장함으로써 입력 비트에 대한 부수 정보를 누설하지 않는다.
실용성 측면에서 저자는 기존 연구와 달리 동전 무게를 두 종류(무겁고 가벼움)만 사용해 구현 난이도를 크게 낮췄다. 맞춤형 무게는 δ² 무게 동전 하나와 기존 동전 조합으로 만들 수 있어, 실제 실험 환경에서도 손쉽게 재현 가능하다. 다만, 저울의 정확도와 마찰에 의한 ε가 충분히 작아야 하며, 가방을 완전히 무작위로 섞는 과정이 인간에 의해 수행될 경우 완전한 무작위성을 보장하기 어려울 수 있다. 이러한 한계는 향후 전자동 섞기 장치나 전자 저울을 이용해 보완될 여지가 있다.
전체적으로 이 논문은 물리적 도구만으로 범용 부울 연산을 구현할 수 있음을 증명했으며, 교육용 데모, 저전력 환경, 혹은 디지털 장치가 금지된 상황에서의 보안 협상 등에 활용 가능성을 제시한다.