Why cut-and-choose quantum state verification cannot be both efficient and secure
Fuente:
arXiv
Saved in:
| Main Authors: | , , , , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866912919261806592 |
|---|---|
| author | Wiesner, Fabian Chaoui, Ziad Kessler, Diana Pappa, Anna Karvonen, Martti |
| author_facet | Wiesner, Fabian Chaoui, Ziad Kessler, Diana Pappa, Anna Karvonen, Martti |
| contents | Quantum state verification plays a vital role in many quantum cryptographic protocols, as it allows the use of quantum states from untrusted sources. While some progress has been made in this direction, the question of whether the most prevalent type of quantum state verification, namely cut-and-choose verification, can be efficient and secure, is still not answered in full generality. In this work, we show a fundamental limit for quantum state verification for all cut-and-choose approaches used to verify arbitrary quantum states. We provide a no-go result showing that the cut-and-choose techniques cannot lead to quantum state verification protocols that are both efficient in the number of rounds and secure. We show this trade-off for stand-alone and composable security, where the scaling of the lower bound for the security parameters renders cut-and-choose quantum state verification effectively unusable. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2512_11358 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Why cut-and-choose quantum state verification cannot be both efficient and secure Wiesner, Fabian Chaoui, Ziad Kessler, Diana Pappa, Anna Karvonen, Martti Quantum Physics Quantum state verification plays a vital role in many quantum cryptographic protocols, as it allows the use of quantum states from untrusted sources. While some progress has been made in this direction, the question of whether the most prevalent type of quantum state verification, namely cut-and-choose verification, can be efficient and secure, is still not answered in full generality. In this work, we show a fundamental limit for quantum state verification for all cut-and-choose approaches used to verify arbitrary quantum states. We provide a no-go result showing that the cut-and-choose techniques cannot lead to quantum state verification protocols that are both efficient in the number of rounds and secure. We show this trade-off for stand-alone and composable security, where the scaling of the lower bound for the security parameters renders cut-and-choose quantum state verification effectively unusable. |
| title | Why cut-and-choose quantum state verification cannot be both efficient and secure |
| topic | Quantum Physics |
| url | https://arxiv.org/abs/2512.11358 |