Tezos is an open source blockchain network that runs on Proof-of-Stake consensus algorithm. It sees the problem with other blockchains, which have issues in decision coordination, lack of security, and the difficulty of continuous upgrade. Hence, Tezos introduces a formal governance process which allows holders of Tezos token (XTZ) to participate in making decisions and approves protocol upgrades.
Tezos smart contract improves safety by using formal verification, a technique that allows developers to mathematically verifies code. Formally proven codes minimize errors, which resulting in safer and faster transaction.