Quantum 2
Talkat Cryptography 10 Years Later: Obfuscation, Proof Systems, and Secure Computation Boot Camp 2025 · 2025-05-19..05-23·
summary
Explains why lattice problems (SVP/CVP and LWE-style matrices) are the leading post-quantum tools, proves simple PRG composition still holds against QPT adversaries, and shows classical rewinding breaks because of no-cloning and measurement disturbance so coin‑tossing proofs fail. Replaces binding with the collapsing commitment experiment, gives constructions from lossy functions and ROM reductions, proves rewinding fixes under collapsing, and catalogues open questions about quantum hardness, group actions, and collision time/space tradeoffs.
AI-written summary · about
chapters (7)
- 0:00Post-quantum cryptography intro
- 6:30Lattices and security
- 10:27Security proofs in quantum
- 27:06Rewinding challenges
- 30:59Quantum-secure commitments
- 49:43Fixing rewinding with commitments
- 57:14Open questions
related talks
01h 12mQuantum Rewinding Tutorial, Part 1: Motivation and Early Rewinding Techniques
40mPost-Quantum
13mPost-Quantum Succinct Arguments: Breaking the Quantum Rewinding Barrier
49mQuantum Cryptanalysis
01h 11mQuantum Rewinding Tutorial, Part 2: How to Run a Quantum Attacker Many Times
01h 06mAn introduction to lattice-based folding schemes
01h 36mAlgorithms for Algebraic Lattices: Classical and Quantum
49mPanel Discussion: Computational Assumptions
