[논문 리뷰] Verifiable Quantum Secure Modulo Summation

Masahito Hayashi, Takeshi Koshiba|arXiv (Cornell University)|2019. 10. 14.

Quantum Information and Cryptography참고 문헌 34인용 수 5

한 줄 요약

이 논문은 양자 생성된 모듈로 0-합 무작위성과 함께, 비밀 분할 프로토콜의 공모 저항성과 장치 독립적 검증을 가능하게 하는 검증 가능한 양자 프로토콜을 제안한다. 위상 기저 및 계산 기저 측정을 통한 GHZ 상태의 자기 테스트를 활용하여, 이상적인 GHZ 상태와의 트레이스 거리가 제한되는 고해상도 상태 준비를 보장한다.

ABSTRACT

We propose a new cryptographic task, which we call verifiable quantum secure modulo summation. Secure modulo summation is a calculation of modulo summation $Y_1+\ldots+ Y_m$ when $m$ players have their individual variables $Y_1,\ldots, Y_m$ with keeping the secrecy of the individual variables. However, the conventional method for secure modulo summation uses so many secret communication channels. We say that a quantum protocol for secure modulo summation is quantum verifiable secure modulo summation when it can verify the desired secrecy condition. If we combine device independent quantum key distribution, it is possible to verify such secret communication channels. However, it consumes so many steps. To resolve this problem, using quantum systems, we propose a more direct method to realize secure modulo summation with verification. To realize this protocol, we propose modulo zero-sum randomness as another new concept, and show that secure modulo summation can be realized by using modulo zero-sum randomness. Then, we construct a verifiable quantum protocol method to generate modulo zero-sum randomness. This protocol can be verified only with minimum requirements.

연구 동기 및 목표

• 수많은 비밀 채널에 의존하는 기존의 안전한 모듈로 덧셈 프로토콜에서의 비효율성과 신뢰 가정 문제를 해결하기 위해.
• 최소한의 가정 하에 내장된 검증 기능을 갖춘 안전한 모듈로 덧셈을 가능하게 하는 양자 프로토콜을 개발하기 위해.
• 양자 다자간 계산을 위한 암호 primitive로써의 안전한 모듈로 0-합 무작위성의 개념을 도입하고 체계화하기 위해.
• 최소한의 공모 조건(즉, m−2명의 플레이어가 공모할 수 있는 조건) 하에서 양자 자원의 무결성을 검증할 수 있는 자기 테스트 프로토콜을 설계하기 위해.
• 신뢰할 수 없는 양자 장치나 채널이 없이도 최소한의 테스트 라운드 수로 검증 가능성을 달성하기 위해.

제안 방법

• m명의 플레이어가 ℤ₂ᶜ 내에서 무작위 변수 X₁,…,Xₘ을 공유하고 ΣXᵢ = 0이며, 임의의 m−1개의 변수는 상호 독립적이게 하는 관련된 양자 자원으로서의 모듈로 0-합 무작위성을 도입한다.
• 모듈로 0-합 무작위성을 생성하기 위한 초기 얽힌 자원으로 위상 기저에서의 GHZ 상태를 사용한다.
• 두 단계 자기 테스트 프로토콜을 구현한다: (1) 위상 기저 검증을 통한 GHZ 상태 구조 확인, (2) 계산 기저 검증을 통한 0-합 조건 확인.
• 테스트를 위해 n개의 복제본을 무작위로 샘플링하고, 나머지 한 복제본을 실제 무작위성 생성에 사용한다.
• GHZ 상태를 계산 기저 상태로의 곱 상태로 매핑하기 위한 좌표 변환을 적용하여 트레이스 노름 분석을 가능하게 한다.
• 트레이스 노름과 허상도 경계를 사용하여 실제 상태와 이상적인 GHZ 상태 사이의 거리를 정량화하고, 유의수준 α 하에서 검증 가능성을 보장한다.

실험 결과

연구 질문

• RQ1 신뢰할 수 없는 양자 장치나 채널이 없이도, 양자 프로토콜을 통해 검증 가능한 모듈로 덧셈을 실현할 수 있는가?
• RQ2 최소한의 가정과 최소한의 자원 소비로 안전한 모듈로 0-합 무작위성을 어떻게 생성하고 검증할 수 있는가?
• RQ3 최소한의 공모 조건(즉, m−2명의 플레이어가 공모할 수 있는 조건) 하에서 GHZ 상태의 정확성을 검증할 수 있는 자기 테스트 프로토콜은 무엇인가?
• RQ4 테스트 통과 확률과 이상적인 GHZ 상태와의 허상도 사이의 정량적 관계는 무엇인가?
• RQ5 작은 수의 테스트 라운드로도 높은 보안 보장을 유지하면서 검증 가능성을 달성할 수 있는가?

주요 결과

• 프로토콜은 유의수준 α 하에서 GHZ 상태의 검증 가능성을 확보하며, 테스트를 통과할 경우 이상적인 GHZ 상태와의 허상도가 최소 1 − 1/(α(2n+1)) 이상이 된다.
• 생성된 모듈로 0-합 무작위성의 실제 분포와 이상 분포 사이의 트레이스 거리는 1/√(α(2n+1)) 이하로 제한되어, 유의수준 하에서 높은 보안을 보장한다.
• 에러 연산자 A의 최대 고유값은 1/(2n+1) 이하로 제한되며, 이는 테스트를 통과했을 경우 이상적인 GHZ 상태와 수직인 상태를 수용할 확률이 최대 1/(α(2n+1)) 이하임을 보장한다.
• 테스트 이후 단 한 개의 GHZ 상태 복제본만을 무작위성 생성에 사용하여 자원 소비를 최소화하면서도 강력한 검증 보장을 유지한다.
• 이 방법은 안전한 다자간 계산에서 양자 자원의 장치 독립적 검증을 가능하게 하여 신뢰할 수 있는 채널 의존도를 줄이고 공모에 대한 강건성을 높인다.
• 이 프로토콜은 시각적 비밀 분할 및 기타 안전한 다자간 계산 작업에 적용 가능하며, 안전한 모듈로 0-합 무작위성이 암호 primitive로서의 유용성을 입증한다.