One-Way Functions Imply Secure Computation in a Quantum World
summary
Claims that one-way functions imply OT (and thus secure multi-party quantum computation) via a concrete quantum protocol, using BB84-style exchanges plus a new commitment built from one-way functions. Construction uses a Naor plain commitment, an equivocality compiler and an equivocal→extractable transformation; security is simulation-based (requires extractor/equivocator access to internal state) and the final protocol has both parties send BB84 states. Result is a black‑box OWF construction and a proved secure OT.
AI-written summary · about
chapters (14)
- 0:00Start
- 2:01What Secure Multi-Party Computation Is
- 2:34Security Requirement
- 2:55Practical Application
- 3:28Oblivious Transfer
- 7:02The Quantum Setting
- 10:25How Security of Oblivious Transfer Is Defined
- 11:52The Real versus Ideal Framework for Security
- 14:01Template for Ot Using Quantum Communication
- 18:03The Intuition for Security
- 29:28Extractable Commitments
- 30:06Equivocal Commitments
- 33:13Recap
- 37:38Commit Phase
related talks
12mOne-Way Functions Imply Secure Computation in a Quantum World
16mAsynchronous Multi-Party Quantum Computation
59mQuantum cryptography and quantum complexity
19mIndistinguishability Obfuscation of Null Quantum Circuits and Applications
16mQuantum Information Meets Cryptography
28mA type-theoretic account of quantum computation (Extended Abstract)
32mBeating Classical Impossibility of Position Verification
01h 06mQuantum Advantage Without Structure