~/talk

Getting Harder All the Time?

links:none on file
slides:none on file

Survey of two concrete research directions: one studies proof-of-work style puzzles that are only moderately hard — intended bounds here are explicit upper and lower running-time thresholds, resistance to amortization across many puzzles, and applications to spam mitigations, DoS and digital coins (examples: Dwork, reCAPTCHA). The other asks whether composing many very simple permutations (e.g., 3-bit moves) yields a pseudorandom permutation: known results give polynomial composition → k-wise independence; conjecture asserts that achieving four-wise independence already implies pseudorandomness (card-shuffle analogs and Diaconis’ “seven shuffles” appear).

AI-written summary · about

  1. 0:00Introduction to hardness
  2. 1:00Moderately hard puzzles
  3. 2:41Applications in spam fighting
  4. 6:36Security reductions
  5. 8:40Block cipher construction
  6. 12:07Mixing and independence
  7. 15:43Concrete conjectures
~/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.