Commitments to Quantum States
summary
Introduces a precise binding definition called swap binding that requires committing erases the message from the sender’s view, gives the first succinct quantum state commitments by encrypting an n‑qubit state with a short pseudorandom seed in superposition, and proves a Kilian‑style succinct argument compiler for any quantum PCP using these commitments under assumptions weaker than one‑way functions. Delivers a new rewinding technique to extract quantum proofs and shows how swap binding and hiding duality make soundness analysis possible.
AI-written summary · about
chapters (10)
- 0:00Intro
- 0:43Is it possible to commit to quantum information?
- 7:39This work a theory of quantum state commitments (QSCs)
- 13:37Step 0: basic syntax for QSCs
- 19:09Our Definition: Swap Binding
- 26:37Defining Binding for QSCs: Intuition
- 32:25Hiding-Binding Duality
- 39:15This work: quantum succinct arguments
- 43:43Swap-based rewinding: on each accepting response, swap out message onto external register
- 46:27Summary
related talks
01h 13mQuantum 3
56mQuantum 4
58mQuantum 2
01h 00mFunctional Commitments
13mPost-Quantum Succinct Arguments: Breaking the Quantum Rewinding Barrier
01h 12mQuantum Rewinding Tutorial, Part 1: Motivation and Early Rewinding Techniques
01h 12mAn Introduction to Commitment-Based Succinct Arguments
17mProofs of Quantumness from Trapdoor Permutations