Tezos, разработанный бывшим аналитиком Morgan Stanley Артуром Брейтманом, представляет собой инновационную платформу смарт-контрактов с формально проверяемым кодом и формой интегрированного самоуправления.
Tezos позволяет держателям токенов принимать решения о том, как развивать свой протокол. После подтверждения решения платформа автоматически вносит обновление в сеть. Поскольку Tezos имеет уникальную модульную конструкцию с отдельными уровнями, обновление протокола выполняется просто и не требует специальных операций или хард-форка.
Tezos написан на OCaml, обычно статическом функциональном языке программирования. Написание на OCaml делает проект намного проще и доступнее. У Tezos также есть новый интеллектуальный язык программирования под названием "Michelson ", также разработанный для облегчения формальных транзакций. Например, когда смарт-контракт должен управлять транзакцией высокой стоимости, Майкельсон может гарантировать, что производительность операции не будет потеряна.
Tezos поддерживает смарт-контракты, используя Delegated Proof of Stake (DPos) в качестве алгоритма консенсуса.
Однако первый блок блокчейна основной сети Tezos был создан в июле 2018 года, после более года работы.