Token Name: Tezos
Token Symbol: XTZ
Tezos is a new decentralized blockchain that governs itself by establishing a true digital commonwealth. It facilitates formal verification, a technique which mathematically proves the correctness of the code governing transactions and boosts the security of the most sensitive or financially weighted smart contracts.
Total available supply: 763,306,930 XTZ
Tokens in circulation: 607,489,041 XTZ
Official site: tezos.com