Tezos mathematically proves the correctness of the code that manages transactions, and facilitates formal verification that increases the security of the most sensitive and financially sensitive smart contracts.

When developers propose protocol upgrades, they can pay invoices to their own addresses to be eligible for the upgrade after approval.

All holders can participate in the protocol management.

It provides a platform to build DApps where smart contracts cannot be censored or stopped by third parties.

Formal verification improves security by mathematically verifying programs.

The network protocol, transaction protocol, and consensus protocol are independent of each other.

Generating a block earns a success fee, but there are various requirements, including hardware, so general retail investors can delegate approval rights to other miners.

There is a process called "baking" on the network, which refers to the process of approving the transaction records of Tezos. The XTZ holders who do the baking are called "bakers," and they must have at least 10,000 XTZ to become a baker.

It has a self-renewal feature that allows it to upgrade itself without forking the network into two different blockchains.

It can be purchased on Binance, etc.

Official website : https://tezos.foundation/
Twitter : https://twitter.com/tezos
Github : https://github.com/tezos/tezos