Tezos is an open-source platform for assets and applications backed by a global community of validators, researchers, and builders. Tezos addresses key barriers facing blockchain adoption to date: smart contract safety, long-term upgradability, and open participation.
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.
1. Secure, Institutional Grade Smart Contracts
Tezos is designed to provide the safety and code correctness required for assets and other high value use cases. Its native smart contract language, Michelson, facilitates formal verification, a methodology commonly used in mission-critical environments such as the aerospace, nuclear, and semiconductor industries.
2. Upgradable to the State of the Art
Tezos' modular architecture and formal upgrade mechanism allow the network to propose and adopt new technological innovations smoothly as they emerge. These aspects, combined with Tezos' on-chain invoicing mechanism, enable the protocol to remain the state-of-the-art long into the future -- without sacrificing community consensus.
3. Open Participation and Incentive Alignment
In Tezos, all stakeholders may participate in network upgrades by evaluating, proposing, or approving amendments. Unlike in Proof-of-Work and other Proof-of-Stake networks, all stakeholders can help to secure the network (via baking or delegating), and avoid being diluted by inflation.
Circulating Supply: 703,847,391 XTZ
Issued Time: 2017-07-30