Suivant l'élan actuel pour les monnaies virtuelles telles que Bitcoin et Ethereum, le projet Tezos est un nouveau "crypto-ledger": autrement dit, un livre de compte distribué et infalsifiable, ou encore, pour reprendre le vocabulaire à la mode, une "blockchain" ou une plateforme distribuée de "smart-contracts". Tezos apporte deux nouveautés principales:

- un mécanisme de gouvernance permettant aux possesseur de jetons de voter aussi bien sur des évolutions des règles économiques, du langage de contrats intelligent, ou de l'algorithme de consensus ;

- une implémentation entièrement en OCaml qui depuis l'origine prend les méthodes formelles en considération.