Tezos - это французский блокчейн, конкурирующий с Ethereum, который также позволяет создавать смарт-контракты и децентрализованные приложения.
В отличие от Ethereum, который написан на языке Solidity, Tezos написан на OCaml. Этот проект привлек более 230 миллионов долларов через ICO летом 2017 года. С тех пор, несмотря на множество юридических проблем (коллективные действия участников ICO, борьба за власть ...), проект идет своим чередом. Следует отметить, что до выпуска токенов потребуется около года, а это вечность в мире криптовалют.
Фонд Tezos - это организация, стоящая за проектом. Это первая аудиторская проверка, проведенная одной из 4 крупнейших аудиторских компаний мира: PwC.
Консенсус, используемый Tezos для управления своей цепочкой блоков, - это Proof-of-Stake (PoS). Однако последний несколько модифицирован, он называется DPoS for Delegated Proof-of-Stake.
Этот консенсус может развиваться во время разработки проекта, если сообщество решит.
Кодирование в OCaml дает гарантию скорости, сопоставимой с C ++, а также гарантию эффективности. Кроме того, протокол связан с программным обеспечением под названием Coq, которое позволяет проводить проверку доказательств.