Tezos is a decentralized blockchain that governs itself by establishing a true digital commonwealth. 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.