Security-focused. Upgradable. Built to last. Tezos is an open source platform for assets and applications that is supported by a global network of validators, researchers, builders, and other developers. Tezos addresses the key barriers to blockchain adoption: smart contract safety, long term upgradability, open participation, and long-term upgradability. Tezos is designed for high-value assets and other use cases. Its native smart contract language Michelson facilitates formal verification. This is a common method used in mission-critical environments like the aerospace, nuclear and semiconductor industries. Tezos' modular architecture allows the network to quickly adopt and propose new technological innovations as they arise. These features, along with Tezos' online invoicing mechanism, allow the protocol to stay at the forefront of technology for many years to come -- without compromising community consensus.