Welcome to the Tezos Developer Documentation!¶
Tezos is a distributed consensus platform with meta-consensus capability. Tezos not only comes to consensus about the state of its ledger, like Bitcoin or Ethereum. It also attempts to come to consensus about how the protocol and the nodes should adapt and upgrade.
- Developer documentation is available online at http://tezos.gitlab.io/master always in sync with the master branch (which may be desynchronized with the code running on the live networks, replace
masterin the URL by the branch of your choice: betanet, alphanet, zeronet, to make sure you are consulting the right API version)
- The official Tezos website https://tezos.com/ contains more information about the project.
- All development now happens on GitLab at https://gitlab.com/tezos/tezos
The Tezos Alpha (test) network has been live and open since February 2017.
The Tezos Beta (experimental) network has been live and open since June 2018.
A few community run websites collect useful Tezos links:
- There is a matrix channel Tezos that you can join here.
- There is a #tezos channel on freenode that is reserved for technical discussions
- There is also a community FAQ at https://github.com/tezoscommunity/faq/wiki/Tezos-Technical-FAQ
The source code of Tezos is placed under the MIT Open Source License.
- Tezos Software Architecture
- The peer-to-peer layer
- The validation subsystem
- Michelson: the language of Smart Contracts in Tezos
- Table of contents
- I - Semantics
- II - Introduction to the type system and notations
- III - Core data types and notations
- IV - Core instructions
- V - Operations
- VI - Domain specific data types
- VII - Domain specific operations
- VIII - Macros
- IX - Concrete syntax
- X - Annotations
- XI - JSON syntax
- XII - Examples
- XII - Full grammar
- XIII - Reference implementation
- Proof-of-stake in Tezos
- The Error Monad
- Michelson Anti-Patterns
- How to start reading protocol Alpha
- Economic protocol sandboxing
- Profiling the Tezos node
- Building documentation locally
- Online OCaml Documentation
- Command Line Interface
- RPC API
- RPC Errors