Tezos is a self-amending decentralized blockchain platform that enables the formalization of smart contracts. By facilitating the formal verification of smart contracts it helps avoiding buggy code. Other than that, it is similar to the Ethereum blockchain, allowing creation and formalization of smart contracts. The platform creates governance rules that stakeholders within the network must abide with when verifying transactions. he key features of this platform is on-chain governance and self-amendment. Tezos' network follows a different protocol method from the conventional blockchain. It is using a generic network shell focused on a modular strategy. The project is written in the OCaml programming language. In terms of validating and signing of blocks, Tezos has adapted a delegated proof-of-stake consensus algorithm. In this staking method, stakeholders, known as bakers participate in Tezos' baking process. The backers are required to deposit some tokens and then get rewarded for signing blocks or punished for errant behavior. Punishment includes losing one's deposits Tezos hopes to better its predecessors by giving stakeholders full control of the network hence enhancing decentralization. The network is the brain child of Arthur Breitman, a French mathematician and scientist and his wife Kathleen Breitman, who has a background in the financial sector.