~/talk

Blockchains and Publicly-Verifiable Lotteries

links:none on file
slides:none on file

Describes concrete constructions and tradeoffs: classic commit–reveal needs penalties or an honest majority to prevent last-player aborts, threshold-signature MPCs tolerate minority failure but require many participants, and the modern square-and-prove VDF (Pietrzak/Wesolowski 2018) gives one-party honesty sufficiency but forces a long sequential delay and costly hardware. Gives real examples (50,000 diversity visas vs 3–5 million applicants; 366 draft capsules bias; NIST beacon 512 bits every 60 seconds) and notes Ethereum foundations pledge millions to fund VDF hardware.

AI-written summary · about

  1. 0:00Intro
  2. 0:59The randomness beacon
  3. 4:35Negative lotteries
  4. 6:01Timeline for a verifiable lottery
  5. 8:34Randomness and zero-knowledge proofs
  6. 9:10Beacon-based zero-knowledge proofs
  7. 11:50Communication-efficient consensus protocols
  8. 13:21Historical example: sortition
  9. 17:11Consensus trilemma Communication efficient
  10. 17:59Nakamoto consensus uses random selection
  11. 20:04Natural beacons typically aren't unanimous
  12. 21:53Trusted third-party beacons
  13. 23:53Physical randomness generation
  14. 25:29Physical randomness can fail quietly
  15. 27:58Historical inspiration: The numbers game
  16. 29:34Financial market data
  17. 30:47Cryptographic randomness protocols
  18. 31:11Commit-reveal protocols
  19. 33:25The last-revealer problem
  20. 36:16Publicly-verifiable secret sharing (PVSS)
  21. 38:42Related approaches
  22. 44:40Comparison of approaches
  23. 46:56Blockchain-based beacons
  24. 47:25VDFs in one slide
  25. 48:57Observe: removing any of V,D,F is easy • Not verifiable: chained one-way function
  26. 51:51Exponent proofs in groups of unknown order
  27. 53:33VDF engineering challenges
  28. 53:49Candidate groups of unknown order
  29. 55:53Incentive questions: who computes the VDF?
  30. 56:57Non-traditional adversaries
~/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.