Tezos (XTZ) is a blockchain project that aims to offer "the world’s first 'self-amending' cryptocurrency". Tezos launched a Betanet on 30 June 2018 which became Mainnet on 17 September 2018. Its 2017 initial coin offering raised $232 million.
|Firmware (device) support||Trezor Model T 2.0.8|
|Available in Trezor Wallet?||No|
See Trezor Supported coins & tokens page for more info about Trezor integration.
Tezos is a smart contracts platform like Ethereum but one of the main differences is that Tezos incorporates a process for upgrading the protocol over time through on-chain governance. This governance system is designed to allow for a smooth evolution of the blockchain rather than having to hard fork, which is a split of the blockchain into two separate versions.
Proof of stake
Tezos works on delegated Proof of stake which means that token holders can delegate someone else to validate on their behalf if they do not wish to participate in staking directly (e.g. lack of time, knowledge, or resources).
Tezos smart contract programming language, named Michelson, is a functional language which facilitates formal verification. Formal verification essentially allows developers to mathematically prove the correctness of their smart contract code. Formal verification is used in industries where there is little room for error (e.g. nuclear reactors, aircraft, medical devices).