[논문 리뷰] Making Existing Quantum Position Verification Protocols Secure Against Arbitrary Transmission Loss

Rene Allerstorfer, Andreas Blühm외 1명|arXiv (Cornell University)|2023. 12. 19.

Quantum Information and Cryptography참고 문헌 49인용 수 2

한 줄 요약

이 논문은 c-QPVf_BB84를 제안하며, 프로버의 랩 내 손실 외에는 전송 손실이 발생하더라도 얽힌 공격자에 대해 강력한 보안을 확보하는 수정된 양자 위치 확인 프로토콜이다. 이는 프로버의 약속 단계, 광자 존재 검출, 시간 지연을 도입하여 달성된다. 프로토콜은 효과적 손실을 오직 프로버의 실험실 내 손실으로만 줄여, 실현 가능한 실험적 조건을 충족시키며 장거리 위치 확인을 가능하게 하며, 적응형 공격에 대해 확장 가능한 보안을 제공한다.

ABSTRACT

A non-local quantum computation (NLQC) replaces an interaction between two quantum systems with a single simultaneous round of communication and shared entanglement. We study two classes of NLQC, f-routing and f-BB84, which are of relevance to classical information theoretic cryptography and quantum position-verification. We give the first non-trivial lower bounds on entanglement in both settings, but are restricted to lower bounding protocols with perfect correctness. Within this setting, we give a lower bound on the Schmidt rank of any entangled state that completes these tasks for a given function f(x,y) in terms of the rank of a matrix g(x,y) whose entries are zero when f(x,y) = 0, and strictly positive otherwise. This also leads to a lower bound on the Schmidt rank in terms of the non-deterministic quantum communication complexity of f(x,y). Because of a relationship between f-routing and the conditional disclosure of secrets (CDS) primitive studied in information theoretic cryptography, we obtain a new technique for lower bounding the randomness complexity of CDS.

연구 동기 및 목표

• 검증자와 프로버 사이의 신호 손실로 인한 양자 위치 확인(QPV) 프로토콜의 심각한 취약점을 해결하기 위해.
• 특히 장거리에서의 전송 손실이 임의로 발생하더라도 안전한 프로토콜을 개발하기 위해.
• 공격자가 필요한 얽힘 자원을 줄이고, 정직한 프로버의 양자 요구 수준을 낮추어 QPV를 실용적으로 가능하게 하기 위해.
• 비파괴 광자 존재 검출 또는 부분 벨 측정과 같은 실현 가능한 구성 요소를 통해 실험적 타당성을 확보하기 위해.
• 단지 QPVf_BB84에 국한되지 않고, QPV 프로토콜의 광범위한 클래스에 적용 가능한 손실 내성 프레임워크를 제공하기 위해.

제안 방법

• 프로버가 양자 입력을 수신하기 전에 참여에 대한 약속을 하는 약속 단계를 도입하여 적응형 공격을 방지한다.
• 프로버에서 수신된 신호의 존재 여부를 쿠비트 상태를 측정하지 않고 검증하기 위해 광자 존재 검출을 적용하여 양자 위상 일관성을 유지한다.
• 프로버에서 작은 고정된 시간 지연을 적용하여 운영을 동기화하고 시간 기반 공격을 방지한다.
• 효과적 손실률을 오직 프로버의 내부 실험실 손실로만 줄여 장거리 확인을 가능하게 한다.
• 공격자가 얽힌 상태를 공유하더라도, 약속 단계를 깰 수 없다면 보장을 보장하는 수정된 프로토콜 구조를 사용한다.
• 두 가지 실험적 구현 방식을 제안한다: 장기적인 비파괴 검출 방법과 표준 광학 구성 요소를 사용하는 근시일부 벨 상태 측정 접근 방식.

실험 결과

연구 질문

• RQ1 검증자와 프로버 사이의 임의의 전송 손실에 대해 QPV 프로토콜을 안전하게 만들 수 있는가?
• RQ2 프로버에서의 약속 메커니즘이 QPV 프로토콜에서 적응형 공격을 방지할 수 있는가?
• RQ3 현재 또는 곧 도래할 기술 수준에서 QPV에 대해 광자 존재 검출이 실현 가능한가?
• RQ4 실제 손실과 노이즈 조건 하에서도 QPVf_BB84의 보안이 유지되는가?
• RQ5 약속 메커니즘이 고전적 입력 크기에 따라 비례하여 공격자 자원 요구량을 증가시켜 확장 가능한가?

주요 결과

• c-QPVf_BB84 프로토콜은 프로버의 내부 손실이 낮다면, 임의의 전송 손실 조건 하에서도 얽힌 공격자에 대해 정보 이론적 보안을 달성한다.
• 프로토콜은 효과적 손실률을 오직 프로버의 실험실 내 손실로만 줄여, 이전에 비해 훨씬 더 긴 거리에서의 안전한 QPV를 가능하게 한다.
• 비적응형 및 적응형 공격 전략 모두에 대해 보안이 유지되며, 공격자 자원 요구량은 프로토콜 라운드 수에 따라 증가한다.
• 일반적인 단일 광자 검출기와 표준 광학 구성 요소를 사용한 부분 벨 상태 측정을 통해 프로토콜을 실현 가능하게 하여, 근시일부 실험적으로 타당성이 있다.
• 비파괴 방법 또는 단순화된 부분 벨 측정을 통한 광자 존재 검출은 모두 현재 기술 수준에서 구현 가능하다.
• 구조화된 약속 단계와 동기화된 운영 덕분에, 공격자가 시간 또는 약속 누수를 악용하려 해도 프로토콜의 보안은 그대로 유지된다.