~/talk

Atoms, Institutions, Blockchains

Talkat Pragma Denver 2024 · on Wednesday, 2024-02-28· [software-architecture, distributed-systems]
github:jjmstark
slides:none on file

Key claims: defines hardness as the shared property — from atoms (gold), institutions (courts, police), or blockchains — that makes specific future states predictable; coins a cast as any future state hardened this way (loan enforcement, gold supply, key-controlled transfers). Compares strengths and limits: atomic immutability vs institutional programmability vs blockchain transparency, low startup cost and global access, notes measurability (probability or cost to break a cast) and argues blockchain hardness is a distinct, non‑institutional source enabling new coordination and experiments.

AI-written summary · about

  1. 0:00Welcome & intro from Pragma Denver
  2. 0:56Josh Stark’s role at Ethereum Foundation
  3. 2:03Explaining crypto’s big picture is hard
  4. 3:06Blockchains must be legible, not just reliable
  5. 4:18Claude Shannon and the invention of “information”
  6. 6:26Realizing information as a universal concept
  7. 7:31The contradiction of trustless vs trustworthy
  8. 8:35Comparing blockchains and institutions
  9. 10:10What do rocks, blockchains, and courts share?
  10. 11:18Introducing “hardness” as a unifying framework
  11. 12:23Atoms, institutions, blockchains as building materials
  12. 13:28Hardness helps explain the purpose of blockchains
  13. 14:00Defining “hardness” and “casts”
  14. 15:27Casts: reliable future states secured by hardness
  15. 16:54Why casts need hardness to be trustworthy
  16. 18:24Hardness from atoms, institutions, and blockchains
  17. 18:56Comparing the strengths of each source
  18. 19:25Atom-based hardness: strengths and limits
  19. 21:24When casts break and need to be remade
  20. 22:24Institutional hardness and its wide applications
  21. 23:54Strengths and flaws of institutional power
  22. 24:53Blockchain hardness: a new digital primitive
  23. 25:23Why blockchains are trustless yet trustworthy
  24. 26:22Competing vs novel uses of blockchain hardness
  25. 27:22A broader mission beyond finance
  26. 28:35Smart contracts as tools to change the rules
  27. 29:07Final thoughts: “Only what can change can continue”
~/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.