Tezos is an open-source blockchain protocol for assets and applications backed by a global community of validators, researchers, and builders. The Tezos protocol is secure, upgradable, and built to last. Tezos was built to facilitate formal verification, a technique that boosts the security of the most sensitive or financially weighted smart contracts by mathematically proving the correctness of the code governing transactions. Also, an innovative consensus protocol, based on Liquid Proof of Stake, empowers all the users to contribute, to secure and to be reworded.