We present Tezos, a generic and self-amending crypto-ledger which can instantiate any blockchain based ledger. The operations of a regular blockchain are implemented as a purely functional module abstracted into a shell responsible for network operations. Bitcoin, Ethereum, etc. can all be represented within Tezos by implementing the proper interface to the network layer. Most importantly, Tezos supports meta upgrades: the protocols can evolve by amending their own code. To achieve this, Tezos begins with a seed protocol defining a procedure for stakeholders to approve amendments to the protocol, including amendments to the voting procedure itself. This is not unlike philosopher Peter Suber’s Nomic, a game built around a fully introspective set of rules. In addition, Tezos’s seed protocol is based on a pure proof-of-stake system and supports Turing complete smart contracts. Tezos is implemented in OCaml, a powerful functional programming language offering speed, an unambiguous syntax and semantic, and an ecosystem making Tezos a good candidate for formal proofs of correctness.
Related Post:
- #255 Kathleen Breitman & Arthur Breitman: Tezos – The Long Road Towards A Digital Commonwealth
- EB136 – Arthur Breitman: Tezos – A Self-Amending Crypto-Ledger
- Arthur Breitman of Tezos: "Governance" | Blockstack Summit 2017
- Arthur Breitman, Tezos: Blockchain Governance | Marc Stiegler: The Digital Path
- Tezos Governance & Smart Contracts – Arthur Breitman
- Tezos Boston Meetup #6 | Featuring Arthur Breitman Tezos Founder and TCF
- Tezos One Year Message from Arthur Breitman 1
- Arthur Breitman of Tezos – An overview of the team and community development
- 5 Reasons Why Tezos Rocks by Arthur Breitman at Web3 Summit 2018
- Interview/ Arthur Breitman – Tezos, Co-Founder & CTO【Money20/20】
