Tezos es una nueva cadena de bloques descentralizada que se rige por sí misma estableciendo una verdadera mancomunidad digital. Facilita la verificación formal, una técnica que demuestra matemáticamente la exactitud del código que rige las transacciones y aumenta la seguridad de los contratos inteligentes más sensibles o ponderados financieramente.
