  Tezos is an innovative blockchain that improves on several aspects compared
to more established blockchains. It offers an original proof-of-stake consensus
algorithm and can be used as a decentralized smart contract platform. It has
the capacity to amend its own economic protocol through a voting mechanism and
focuses on formal methods to improve safety.
