Tezos, decentralized cryptographic governance through self-amendments
summary
Tezos presents a working prototype of a self-amending protocol that folds apply and fitness into the ledger state so protocols can be hot-swapped by stakeholder votes; it uses a pure proof-of-stake seed protocol, supports Turing‑complete smart contracts, and is implemented in OCaml to enable formal reasoning and extracted proofs. The repo is on github com tzos, the code runs, and planned features include an on‑chain proof checker and SNARK tooling for verifiability.
AI-written summary · about
chapters (35)
- 0:00Introduction
- 0:30Outline
- 0:58Blockchain
- 1:17Immutable data structure
- 1:50A simple trick
- 2:20A blockchain
- 2:54Picking a canonical leaf
- 3:47All existing blocks and implementations
- 4:03The difficulty of a branch
- 4:20Statefulness
- 7:36Who controls the blockchain
- 8:55Meeting someone in Paris
- 9:21Power is held through games
- 10:13Common Threads
- 12:54Votes
- 13:39Constitutionalism
- 14:49Explicit governance
- 16:03Reward innovation
- 16:53Blockchain coordination
- 18:34Why did IP go camel
- 19:37Camel example
- 20:45Pyramid of abstraction
- 21:35Smart contracts
- 22:31The usual approach
- 23:45Highlevel abstractions
- 25:14Performance and portability
- 26:07Solidity
- 27:08Mickelson
- 28:03Contract model
- 28:38TX out model
- 29:32The DAO bug
- 30:20Continuing continuation passing
- 31:34Summary
- 32:29Roadmap
- 33:18Selfamendments
related talks
13mThe Ethereum Amendment Process with Tezos Founder Kathleen Breitman
02mChat with Tezos Commons Community Manager, Cryptonio
53mWhy you should build on Tezos
27mGovernance and Security Concerns
52mStarting your Tezos developer journey
01mOn The Future Of Tezos
02mTezos x SXSW 2022 - Matthew Klimpke
49mScaling Tezos with rollups