►✨ A blockchain designed to evolve. Tezos is a decentralized, open-source proof of stake blockchain network that can execute peer-to-peer transactions and serve as a platform for deploying smart contracts. The native cryptocurrency for the Tezos blockchain is the tez which has the symbol XTZ. Protocol of Tezos utilizes liquid proof of stake (LPoS) and supports Turing-complete smart contracts in a domain-specific language called Michelson. Michelson is a purely functional stack-based language with a reduced instruction set and no side effects, designed with formal verification in mind.