Tezos is a decentralized blockchain that guides itself by building a true digital commonwealth and aid formal verification, a technique which mathematically proves the truth of the code governing transactions and boosts the security of the most sensitive or financially weighted smart contracts.