~/talk

Validity and the future of blockchains

links:none on file
slides:none on file

Classifies execution approaches for sharding: committee attestation versus data-availability via erasure coding (Reed–Solomon style) with random sampling, 200× throughput for rollups, 3–5× estimated speedup from stateless execution, and 3–10 years for full-chain zk proofs. Describes optimistic rollups (fraud proofs) vs zk rollups (computational integrity proofs), stateless blocks that ship state witnesses, sequencer roles and costs (one sequencer could cost millions), and a practical trilemma between scalability, finality, and censorship resistance.

AI-written summary · about

  1. 0:00Intro
  2. 0:42Outline
  3. 1:46Traditional blockchains
  4. 3:54Data availability using erasure coding
  5. 7:46The stateless model
  6. 9:46The rollup model
  7. 11:36Consensus node roles
  8. 12:44Sequencer complexity
  9. 14:28Dimension 3: Finality guarantees
  10. 15:37Why do these criteria matter?
  11. 19:14Summary
  12. 20:58The choice facing designers now
~/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.