~/talk

Beyond Blockchain: Convergent Consensus

Talkat Strange Loop 2022 · 2022-09-22..09-24· [distributed-systems, blockchain]
links:none on file
slides:none on file

Claims a CRDT-style consensus called Convergent Proof of Stake that merges signed per-peer orderings (Merkle-tree beliefs), solves history bloat with de‑duplication and content‑addressed storage, and confirms commits in three rounds of gossip (sub‑second in practice). It pairs with a CVM and Convex Lisp runtime, reports million transactions per second locally, enforces memory accounting and a token fee, and aims for Byzantine fault tolerance (assumes <1/3 malicious).

AI-written summary · about

  1. 0:00Intro
  2. 2:03Some Requirements
  3. 3:23Convergence example
  4. 5:05Three requirements for a CRDT merge function
  5. 5:47Some examples of CRDTS
  6. 6:29Ideally we want universal state transitions
  7. 7:52Voting Example
  8. 8:44One solution is Blockchain
  9. 10:28Not a good solution
  10. 12:30What happens if somebody adds a new block?
  11. 13:35Fault Tolerance
  12. 14:04What if blocks conflict?
  13. 15:54Simultaneous confirmation
  14. 17:13We can now define a merge function!
  15. 18:55One big problem?
  16. 19:44Data structures to the rescue
  17. 21:04Optimising Beliefs
  18. 23:31Convergent Proof of Stake is close to optimal
  19. 25:09Convex Virtual Machine
  20. 26:01Structure of Global State
  21. 27:23Data Types
  22. 27:54Every Account is Lisp Machine!
  23. 29:37Smart Contracts - Vote Counting Actor
  24. 32:27Smart Contracts - Usage from User Account
  25. 33:32A little necessary economics
~/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.