~/talk

Quantum 2

links:none on file
slides:none on file

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

  1. 0:00Post-quantum cryptography intro
  2. 6:30Lattices and security
  3. 10:27Security proofs in quantum
  4. 27:06Rewinding challenges
  5. 30:59Quantum-secure commitments
  6. 49:43Fixing rewinding with commitments
  7. 57:14Open questions
~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.