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.
Tezos was developed by Arthur Breitman. He studied applied mathematics and computer science in France and then shifted to the U.S. to study financial mathematics. Kathleen Breitman, his wife, has also engaged in developing this project. She is a former employee of an enterprise software company which focuses on distributed database technology. In 2014 Arthur Breitman launched a paper where he stressed Bitcoin’s flaws. And he submitted his solution. It was a self-amending cryptocurrency. In 2015 Breitman needed to attract several banks. But this attempt failed. In 2016 the Breitman's decided to conduct an ICO. Over the half a year they got $612,000. The Tezos ICO was held on July 1st, 2017 and lasted for 13 days. Tezos received $232 million.