Economic protocol features#
This page groups the documentation helping developers and users in understanding the basic concepts of the economic protocol (Proof Of Stake, consensus, voting, etc), its features (Michelson, Sapling, etc), and some details about its implementation.
- Michelson: the language of Smart Contracts in Tezos
- Semantics of smart contracts and transactions
- Language semantics
- Introduction to the type system and notations
- Types and instructions
- Removed instructions and types
- Macros
- Concrete syntax
- Annotations
- Entrypoints
- JSON syntax
- Development tools
- Examples
- Full grammar
- Reference implementation
- TZT, a Syntax extension for writing unit tests