Tezos

Tezos (XTZ) is a smart contract platform built around a radical idea: instead of splitting into competing factions every time the community disagrees on how to improve the protocol, Tezos votes on upgrades on-chain and applies them automatically. That single design choice — the self-amending ledger — shapes almost everything else about how the network works and governs itself.

Background

Most blockchains face a painful dilemma when they need to change. Developers propose an upgrade, the community debates it off-chain, and if consensus breaks down the chain can fork into two incompatible networks. Bitcoin Cash splitting from Bitcoin and Ethereum Classic splitting from Ethereum are the most prominent examples. Each fork fragments users, developers, liquidity, and trust.

Tezos was designed to make this kind of rupture unnecessary. Its protocol defines a formal on-chain amendment process: stakeholders vote on proposed changes, and if a proposal passes all the voting rounds, the network upgrades itself without requiring node operators to manually install new software or choose sides. The goal is a platform that can evolve continuously — incorporating better cryptography, new virtual machine features, or economic adjustments — without ever reaching a governance crisis.

This approach also matters for smart contract developers. A platform that upgrades smoothly is more attractive for applications that need long-term stability. Enterprises and financial institutions in particular have been drawn to Tezos partly because a predictable governance process reduces the risk of a sudden hard fork disrupting deployed contracts.

History

The conceptual groundwork for Tezos was laid in a 2014 position paper by Arthur Breitman, writing under the pseudonym L.M. Goodman, followed by a more detailed technical white paper co-authored with Kathleen Breitman. The Breitmans founded a company called Dynamic Ledger Solutions to develop the protocol.

In 2017, the Tezos Foundation — a Swiss non-profit — conducted one of the largest initial coin offerings of that era, raising roughly 232 million USD worth of Bitcoin and Ether. The fundraise generated enormous attention but was quickly followed by a prolonged public dispute between the Breitmans and the foundation’s then-president Johann Gevers over control of the project and the raised funds. The conflict delayed the network launch by over a year and resulted in multiple lawsuits from early contributors.

The Tezos mainnet eventually launched in September 2018 after the governance dispute was resolved and Gevers departed. Despite the rocky start, the network gained traction as a destination for NFT projects — particularly in digital art — and for tokenized real-world assets. Several major financial institutions have used Tezos for experiments in real-world asset tokenization, including bond issuances.

A distinguishing feature of Tezos’s post-launch history is its steady cadence of protocol upgrades, each named after ancient cities. The network has passed through a long series of these upgrades — Athens, Babylon, Carthage, Delphi, Edo, Florence, Granada, Hangzhou, Ithaca, Jakarta, Kathmandu, Lima, Mumbai, Nairobi, Oxford, and beyond — each adding features or improving efficiency. No fork was needed for any of them.

Technology

Liquid Proof of Stake

Tezos uses a variant of proof of stake it calls Liquid Proof of Stake. Participants who hold XTZ can either bake (the Tezos term for validating and producing blocks) directly, or delegate their stake to a baker without giving up custody of their tokens. Delegation is fully liquid — you can redelegate or reclaim your tokens at any time. This design sits between pure delegated proof of stake (where a small fixed set of elected delegates does all the work) and pure direct staking (where you must run your own node). Anyone with sufficient XTZ and the willingness to run infrastructure can become a baker; everyone else can participate in consensus rewards by delegating.

The Self-Amendment Process

The on-chain governance mechanism works in distinct periods. First, developers submit upgrade proposals to the chain. Token holders then vote in successive rounds: an initial upvote to select the leading proposal, an exploration vote to gauge broad support, a testing period where the proposed protocol runs on a temporary test chain, and finally a promotion vote to confirm adoption. If a proposal clears all thresholds, the new protocol is injected automatically. This is sometimes described as the protocol upgrading itself — the rules for changing the rules are themselves encoded in the protocol.

The self-amendment process means Tezos upgrades are opt-in at the governance level but automatic at the node level. Bakers who disagree with a passed upgrade must actively choose to run the old software and would effectively be running a minority fork.

Michelson and the Formal Verification Advantage

Smart contracts on Tezos are written in a language called Michelson, a low-level stack-based language designed to be amenable to formal verification — a mathematical technique for proving that a program behaves exactly as specified under all possible conditions. This is a deliberate trade-off: Michelson is harder to write directly than higher-level languages, but its properties make it easier to prove correctness. Higher-level languages like LIGO, SmartPy, and Archetype compile down to Michelson, giving developers more accessible entry points while preserving the verification properties at the execution layer.

This emphasis on formal verification has made Tezos attractive for financial applications where contract bugs carry large legal and monetary consequences. The EVM on Ethereum has been the target of many high-profile exploits; Tezos’s design philosophy prioritizes correctness guarantees over maximum flexibility.

Account Model and Token Standards

Tezos uses an account-based model similar to Ethereum rather than Bitcoin’s UTXO model. It has developed its own token standards — FA1.2 for fungible tokens and FA2 for a flexible multi-asset standard — that serve similar roles to Ethereum’s ERC-20 and ERC-721 standards. This infrastructure supports the DeFi and NFT ecosystems built on the network.

Tokenomics

XTZ, sometimes called “tez,” has no hard-capped maximum supply. New XTZ is issued as rewards to bakers and delegators roughly each cycle (a cycle is approximately three days). The inflation rate from these rewards is relatively modest by design, and the community has the ability to adjust issuance parameters through the governance process.

Holders who bake or delegate earn staking rewards from newly issued XTZ. Because delegation does not require locking tokens, the effective participation rate in staking tends to be high — a large majority of circulating XTZ has historically been either baked directly or delegated.

There is no burn mechanism analogous to Ethereum’s EIP-1559. Transaction fees on Tezos are low and go to bakers. The network’s tokenomics are therefore primarily inflationary, with the rate of inflation depending on the proportion of supply that actively participates in baking.

The original token distribution included allocations from the 2017 ICO, with the Tezos Foundation retaining a portion to fund ongoing development and ecosystem grants. The foundation has been an active funder of research projects, particularly in formal verification and cryptography.

In summary

Tezos occupies a distinctive position among smart contract platforms: it traded early-mover scale for design principles — on-chain governance, formal verification, and liquid staking — that prioritize long-term correctness and adaptability over short-term adoption. Its governance process has proven that a major network can upgrade repeatedly without fracturing. Whether those properties translate into broad developer and user adoption is an open question, and like all layer-1 blockchains it competes in a crowded field. For anyone interested in how blockchains govern themselves, Tezos remains one of the most instructive experiments running.