[논문 리뷰] A quantum secret ballot

Shahar Dolev, Itamar Pitowsky외 1명|ArXiv.org|2006. 02. 09.

Quantum Mechanics and Applications참고 문헌 1인용 수 10

한 줄 요약

이 논문은 얽힌 큐비트 상태에 투표를 인코딩하여 투표 비밀을 보장하는 양자 투표 프로토콜을 제안한다. 각 투표는 투표자의 신원을 명시적으로 포함하지만, 양자 측정의 무작위성 덕분에 투표 내용은 숨겨진다. 투표 결과는 측정 결과를 모듈로 m로 합산함으로써 결정되며, 양자 얽힘과 이산 푸리에 변환을 통해 기밀성을 유지하면서도 명확한 집계가 가능하다.

ABSTRACT

The paper concerns the protection of the secrecy of ballots, so that the identity of the voters cannot be matched with their vote. To achieve this we use an entangled quantum state to represent the ballots. Each ballot includes the identity of the voter, explicitly marked on the "envelope" containing it. Measuring the content of the envelope yields a random number which reveals no information about the vote. However, the outcome of the elections can be unambiguously decided after adding the random numbers from all envelopes. We consider a few versions of the protocol and their complexity of implementation.

연구 동기 및 목표

• 표명된 투표 비밀 보장 문제를 해결하기 위해, 표시된 표지나 사이드 채널 공격으로 인해 투표자 신원이 투표와 연결될 수 있는 전자 투표 환경을 대상으로 한다.
• 개별 투표가 투표자와 연결되지 않도록 보장하면서도, 명확한 집계가 가능한 양자 프로토콜을 설계한다. 이는 투표에 투표자 신원이 명시적으로 기록되어 있어도 가능하다.
• 기존의 양자 연산, 예를 들어 이산 푸리에 변환과 제어-NOT 게이트를 활용하여 실용적인 구현 경로를 제시한다.
• 이진 선택(예: 예/아니요)을 초월하여 다수의 후보자를 다룰 수 있도록 프로토콜을 일반화함으로써 보안성과 효율성을 유지한다.
• 프로토콜의 계산 복잡도를 분석하고 최소화하여 현재의 중규모 양자 하드웨어 환경에서 실용적인 구현이 가능하도록 한다.

제안 방법

• 프로토콜은 n 큐비트가 얽힌 상태인 |W⟩ = 1/√m Σⱼ |j⟩⊗ⁿ 형태의 그린버거-홀름-자일링턴(GHZ)-유사 얽힌 상태를 사용한다. 여기서 각 큐비트는 계산 기저 상태의 중첩 상태에 있다.
• 각 투표자는 자신의 투표(예: NO 또는 YES)에 따라 양자 푸리에 변환(QFT) 또는 QFT에 이어 순환 이동 연산자 Π(즉, Π|j⟩ = |j⊕1⟩)를 적용한다.
• 투표 연산은 각 큐비트마다 독립적으로 적용되어 최종 상태 |V⟩ 가 형성되며, 간섭 효과를 통해 총 YES 투표 수가 모듈로 m로 인코딩된다.
• 최종 상태는 측정 결과의 합 l₁⊕a₁ + ... + lₙ⊕aₙ ≡ 0 (mod m) 인 계산 기저 상태의 중첩 상태로 붕괴되며, 이는 총 YES 수를 측정을 통해 추출할 수 있도록 한다.
• 다수의 후보자(예: 세 명)에 대해서는 두 개의 얽힌 상태 |W⟩₁ 및 |W⟩₂ 를 사용하며, 각 후보자 선택에 따라 다른 유니터리 연산을 적용함으로써 측정 결과의 모듈로 산술을 통해 총 투표 수를 재구성할 수 있다.
• 모듈러스 m을 서로소인 인수 m₁, m₂, ..., mₛ 로 분해하여 중국의 나머지 정리(Chinese Remainder Theorem)를 활용함으로써 회로 깊이를 줄이고 더 작은 양자 회로로도 확장 가능한 구현이 가능하도록 한다.

실험 결과

연구 질문

• RQ1 표명된 투표자 신원이 표지에 공개되어 있어도, 어떤 스파이 또는 악성 기관이 투표 내용을 완전히 숨길 수 있는 양자 프로토콜을 설계할 수 있는가?
• RQ2 개별 투표가 드러나지 않도록 하면서도, 양자 측정 결과로부터 총 YES 투표 수를 명확하게 복원할 수 있는가?
• RQ3 양자 얽힘과 유니터리 연산을 사용하여 안전하고 확장 가능하며 검증 가능한 전자 투표 시스템을 실현하기 위해 필요한 최소한의 양자 회로 복잡도는 얼마인가?
• RQ4 보안성과 정확성을 유지하면서도, 두 명 이상의 후보자를 다룰 수 있도록 프로토콜을 일반화할 수 있는가?
• RQ5 모듈러스 m을 분해하여 더 작은 큐비트 수와 게이트 수를 요구하도록 함으로써 프로토콜을 강건하고 효율적으로 만들 수 있는가?

주요 결과

• 프로토콜은 완벽한 표 비밀 보장을 보장한다. 투표자 신원이 표지에 명시되어 있어도, 양자 상태를 측정하면 랜덤한 수만 얻으며, 이는 투표 내용에 대한 정보를 유출하지 않는다.
• 최종 상태는 모듈로 m에서 측정 결과의 합이 0이 되는 경우에만 존재하므로, 총 YES 투표 수는 측정 결과로부터 명확하게 복원 가능하다.
• 이진 투표(예/아니요)의 경우 프로토콜은 단일한 얽힌 상태 |W⟩ 로 간소화되며, 투표 후 최종 상태는 l₁⊕a₁ + ... + lₙ⊕aₙ ≡ 0 (mod m) 인 모든 계산 기저 상태의 합으로 비례하게 되며, 이는 총 YES 수를 인코딩한다.
• k명의 후보자를 다루기 위해 k-1개의 얽힌 상태를 사용하고, 각 후보자 선택에 따라 다른 유니터리 연산을 적용함으로써 총 투표 수를 측정 결과의 모듈로 산술을 통해 재구성할 수 있다.
• 프로토콜의 복잡도는 O[n(log₂m)²] 이며, 여기서 n은 투표자 수이고 m은 n보다 큰 최소의 2의 거듭제곱이다. 이는 현재의 양자 하드웨어 제약 조건 하에서도 중규모 선거에 실용적으로 적용 가능하다.
• m을 서로소 인수 m₁, m₂, ..., mₛ 로 분해함으로써 더 작은 양자 회로로 프로토콜을 구현할 수 있으며, 게이트 수와 회로 깊이를 줄일 수 있다. 중국의 나머지 정리에 의해 정확성이 유지된다.