Tezos (XTZ) is a self-amending proof-of-stake blockchain platform launched in 2018 that allows protocol upgrades through on-chain governance without requiring hard forks. It supports smart contracts and decentralized applications with a strong emphasis on formal verification for security and upgradability. XTZ tokens are used for staking (baking), delegation, transaction fees, and voting on governance proposals.