Quantum 3
Talkat Cryptography 10 Years Later: Obfuscation, Proof Systems, and Secure Computation Boot Camp 2025 · 2025-05-19..05-23·
summary
Covers concrete protocols built from Wiesner encodings (BB84-style states) and cryptographic tools: QKD via basis sampling and cut-and-choose checks; OT and secure erasures from classical commitments plus commit-and-open tests (and the impossibility of unconditional commitments); information-theoretic certified deletion where a verified classical proof forces irrevocable loss of recoverable data; public and private quantum money using PRFs and subspace states; and an oblivious state preparation construction from trapdoor claw-free functions (Mahadev-style/Golreich–Levin ingredients) that yields OT, proofs of quantumness and delegation under standard assumptions.
AI-written summary · about
chapters (12)
- 0:00Quantum cryptography intro
- 1:03Post-quantum vs quantum crypto
- 3:15Wiesner encodings properties
- 9:47Quantum key distribution
- 15:55Oblivious transfer via erasures
- 28:51Quantum commitments implications
- 33:51Certified deletion with quantum info
- 43:30Quantum money no-cloning
- 56:01Quantum lightning signatures
- 57:24Certified randomness OSP
- 1:01:22Oblivious state preparation
- 1:11:28Quantum crypto applications
related talks
01h 05mNew Quantum Cryptographic Primitives I
48mCommitments to Quantum States
46mCryptography with Certified Deletion
16mQuantum Information Meets Cryptography
17mProofs of Quantumness from Trapdoor Permutations
21mQuantum Proofs of Deletion for Learning with Errors
01h 08mNew Quantum Cryptographic Primitives II
49mQuantum Cryptanalysis