Tezos est un réseau blockchain connecté à un jeton numérique. Ce jeton numérique est connu sous le nom de tezzie ou Tez. La blockchain est décentralisée. Cela signifie qu’il n’y a pas d’endroit central où le système est contrôlé et qu’il n’y a pas de personne centrale qui contrôle le système.Tezos est une crypto-devise entièrement adaptée à l’avenir au moyen de contrats intelligents pratiques. Lors de l’élaboration de ces Smart Contracts, il a été décidé de recourir à la vérification formelle. Cette forme de vérification garantit une sécurité et une exactitude optimales, car elle peut prouver mathématiquement l’exactitude du code. La blockchain Tezos contient également un système de consensus intégré qui évite les conflits sur le développement du réseau. De cette façon, ils s’assurent que les Tezos grandissent comme une unité et qu’il n’y a pas de scission.