Tezos is a new decentralized blockchain that manages itself by establishing a true digital federation. It facilitates formal verification, which mathematically proves the correctness of the code that controls the transaction and increases the security of the most sensitive or financially-weighted smart contract.