Tezos ist eine dezentrale Blockchain, die sich selbst verwaltet, indem sie ein echtes digitales Gemeinwesen etabliert. Tezos wurde entwickelt, um die formale Verifikation zu erleichtern, eine Technik, die die Sicherheit der sensibelsten oder finanziell gewichteten Smart Contracts erhöht, indem sie die Korrektheit des den Transaktionen zugrunde liegenden Codes mathematisch beweist. Auch ein innovatives Konsensprotokoll, basierend auf Liquid Proof of Stake, befähigt alle Nutzer, beizutragen, zu sichern und belohnt zu werden.