Tezos is a French blockchain competing with Ethereum which also allows the creation of smart contracts, decentralized applications.
Unlike Ethereum which is coded with the Solidity language, Tezos is coded in OCaml. This project raised more than $ 230 million through its ICO during the summer of 2017. Since then, despite many legal problems (collective actions by ICO participants, power struggle ...) the project takes its course. It should be noted that the tokens will have taken about a year before being released, which is an eternity in the world of cryptocurrencies.
The Tezos Foundation is the organization behind the project. It is the first to have been audited by one of the 4 largest audit firms in the world: PwC.
The consensus used by Tezos to operate its blockchain is that of Proof-of-Stake (PoS). However, the latter is somewhat modified, it is called DPoS for Delegated Proof-of-Stake.
This consensus could be brought to evolve during the development of the project if the community decides.
Coding in OCaml offers a guarantee of speed comparable to C ++ as well as a guarantee of efficiency. In addition, the protocol is associated with software called Coq which allows proof verification to be carried out.