[논문 리뷰] Verified delegated quantum computation requires techniques beyond cut-and-choose

Fabian Wiesner, Anna Pappa|arXiv (Cornell University)|2026. 03. 10.

Quantum Information and Cryptography인용 수 0

한 줄 요약

본 논문은 verifiable delegated quantum computation이 cut-and-choose에만 의존할 경우 보안성과 효율성을 동시에 달성할 수 없음을 입증하며, 표준 보안 개념 하에서 정량적 트레이드오프와 노고(no-go) 결과를 제시한다.

ABSTRACT

Delegated quantum computation enables a client with limited quantum capabilities to outsource computations to a more powerful quantum server while preserving correctness and privacy. Verification is crucial in this setting to ensure that the untrusted quantum server performs the computation honestly and returns correct results. A common verification method is the quantum cut-and-choose technique. Inspired by classical verification methods for two-party computation, the client uses the majority of the delegated rounds to test the server's honesty, while keeping the remaining ones for the actual computation. Combining this technique with other methods, such as quantum error correction, could help achieve negligible cheating probabilities for the server; however, such methods can impose significant overheads making implementations unfeasible for the near-term future. In this work, we investigate whether cut-and-choose can yield efficient and secure verifiable quantum computation without additional costly techniques. We find that verifiable delegated quantum computation protocols relying solely on cut-and-choose techniques cannot be secure and efficient at the same time.

연구 동기 및 목표

• 양자 계산을 신뢰할 수 없는 서버에 위임하되 클라이언트 양자 능력은 최소화하는 것이 목표이다.
• 양자 출력을 가진 verifiable delegated quantum computation에 대해 컷-앤-초만으로 충분한지 평가한다.
• 컷-앤-초 기반 VDQC에 내재된 효율성-보안 트레이드오프를 보여주는 노고(no-go) 결과를 형식화한다.
• stand-alone 보안과 composable 보안 하에서 ε_H(거부 확률)와 ε_D(위반 미탐지 확률)의 정량적 경계를 도출한다.
• 추가 기술(예: 양자 오류 수정)의 역할을 강조하여 이러한 한계를 극복한다.

제안 방법

• 테스트 라운드와 계산 라운드를 교차하는 VDQC 프로토콜을 모델링한다(컷-앤-초).
• VDQC에 대해 fidelity 기반의 stand-alone 보안과 composable 보안을 정의한다.
• 컷-앤-초 구조를 이용하는 분리 가능한 i.i.d. 공격을 구성한다.
• 공격 하에서 ε_H(거부)와 ε_D(위반 탐지되지 않음)의 관계를 보여주는 경계를 도출한다.
• Honest 실행과 dishonest 실행 간의 구별 가능성을 추정하기 위해 트레이스 거리와 Holevo-Helstrom 논증을 사용한다.
• 테스트 라운드의 기대 수 N의 함수로 ε_H+ε_D에 대한 명시적 하한을 제공한다.

실험 결과

연구 질문

• RQ1 컷-앤-초만으로 양자 출력을 가진 secure verifiable delegated quantum computation이 가능할까?
• RQ2 컷-앤-초 VDQC 프로토콜의 효율성, 정확성, 보안 사이의 근본적인 트레이드오프는 무엇인가?
• RQ3 Composable 보안 정의가 stand-alone 보안과 비교해 트레이드오프를 더 타이트하게 만드는가?
• RQ4 실용적인 VDQC를 달성하려면 양자 오류 수정과 같은 추가 구조가 필요한가?
• RQ5 실제 테스트 일정 하에서 공격 전략이 수용/거부 확률의 경향에 어떤 영향을 미치는가?

주요 결과

• 컷-앤-초를 이용한 verifiable delegated quantum computation은 양자 출력이 있을 때 추가 기술 없이는 보안성과 효율성을 동시에 달성할 수 없다.
• stand-alone 보안의 경우 ε_H+ε_D ≥ 1/(7N)이며, N은 기대 테스트 라운드 수이다.
• Composable 보안의 경우 트레이스 거리를 기준으로 한 지표에서 경계가 Ω(1/√N)로 확장된다.
• 논문은 라운드 분포와 무관한 i.i.d. 공격을 구성하여 폭넓은 조건에서 노고가 성립함을 보인다.
• 일회성 공격은 위임된 유닛ary 이전이나 이후에 적용될 수 있는 위상 회전을 이용해 구별 불가능성에 기반한 실패 모드를 가능하게 한다.
• 이러한 결과는 실무적으로 VDQC를 달성하기 위해 양자 오류 수정과 같은 기술이 필요하다는 것을 시사한다.