Tezos

About Tezos

Tezos is a high-performing blockchain and open-source platform for assets and applications, with a strong focus on code security, on-chain governance, and decentralization. It was first proposed in 2014 and launched in 2018. Tezos 2.0 aims to improve scalability via layer 2s, composability, and support for mainstream programming languages. The protocol uses formal verification to avoid bugs in smart contracts, making it suited for applications requiring high security. Tezos uses a Liquid Proof-of-Stake (LPoS) consensus mechanism, allowing stakeholders to participate directly or by delegation. Its on-chain governance system enables stakeholders to create and vote on protocol upgrades without forking the blockchain.

• Tezos was conceived by Arthur and Kathleen Breitman in a 2014 white paper under the pseudonym L.M. Goodman.
• Tezos uses formal verification to enhance smart contract security and avoid bugs.
• The Tezos governance system allows the protocol to self-amend without causing a blockchain fork.
• Tezos Mainnet has been running uninterrupted since its launch in 2018.
• Tezos 2.0 aims to support mainstream programming languages like JavaScript, TypeScript, and Python.