~/talk

Verifiable lotteries

Talkat dotSecurity 2017 · on Friday, 2017-04-21· [security]
links:none on file
slides:none on file

Claims that authorities can produce verifiable random outcomes using a cryptographic randomness beacon backed by public blockchains or alternative public data sources. Tools described include a blockchain timestamp plus a sequential delay function (iterate hashes or use modular square root mod P exponentiation) to force unpredictability until reorgs settle. Prototypes exist (Ethereum casino examples, stock‑quote variants), but security relies on the reorg‑unlikely conjecture and careful hardware/parallelism analysis, so the approach is promising but still experimental.

AI-written summary · about

  1. 0:00Intro
  2. 1:22Physical randomness generation
  3. 2:29Timeline for a verifiable lottery
  4. 4:16Physical randomness can be faked
  5. 5:31Physical randomness can fail quietly
  6. 7:10The randomness beacon
  7. 8:04Trusted third-party beacons
  8. 8:49Natural beacons
  9. 10:25What is cryptography?
  10. 11:11Blockchains are close to a perfect beacon!
  11. 12:21Blockchains subject to short re-orgs
  12. 13:59Preventing manipulation with a delay function
  13. 14:55Simple cryptographic delay:iterated hashing
  14. 15:25Asymmetric delay: modular square roots
  15. 17:07Using randomness in smart contracts
  16. 17:39Alternate design: stock market beacons
  17. 18:11Applications go far beyond "lotteries"
  18. 18:51New adversaries to reason about
  19. 19:18It's healthy to ask authorities for verification!
~/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.