What is Tezos (XTZ)
Tezos (XTZ) is a blockchain system designed to govern and upgrade itself by establishing a true digital commonwealth. Tezos 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. Stakeholders of the blockchain can vote on protocol amendments to reach a social consensus on development proposals.
Note: Bitfinex supports the mainnet based XTZ token.