Tezos

Tezos is a decentralized blockchain whose protocol allows for stakeholders to approve any amendments to the protocol led by Kathleen and Arthur Breitman. It is a platform for smart contracts which facilitates formal verification of the mathematical properties of the code governing transactions with the intention of being a true digital commonwealth. The currency the native to the Tezos blockchain is called tezzie (XTZ). Governance of Tezos is designed to be a commonwealth such that token holders vote and determine future upgrades to the protocol. This is called on-chain governance, which prioritizes voting for soft-fork upgrades to the network rather than the network splits that occur via hard forks in other blockchain networks like Bitcoin and EthereumEthereum.