“Tezos: A Self-Amending Crypto-Ledger” is a position paper published in August 2014 under the pseudonym “L.M. Goodman” — later revealed to be Arthur Breitman, who developed the concept with his wife Kathleen Breitman. The paper argues that the fundamental problem with existing blockchains is not their consensus mechanism but their governance: hard forks cause community splits, are politically contentious, and create legal and economic uncertainty. Tezos proposes a blockchain that can formally amend its own protocol through an on-chain governance process.

> PDF hosting: The whitepaper is available at tezos.com/whitepaper.pdf. The original 2014 paper is also archived independently. Both are freely redistributable.

---

Publication and Context

Ethereum launched in 2015; Bitcoin’s scaling debate was deepening. Every time a major blockchain needed to upgrade (SegWit, Ethereum Homestead → Metropolis), the community fragmented. Bitcoin Cash, Ethereum Classic — hard forks created lasting community splits.

Arthur Breitman’s insight: the blockchain protocol should itself define the rules for changing the blockchain protocol. Like a constitution that includes an amendment process, Tezos would embed governance in the chain itself.

Key facts:

• Position paper: August 2014
• ICO: July 2017 ($232M — among the largest at the time)
• Mainnet launch: September 2018 (delayed significantly due to internal disputes at the Tezos Foundation)
• XTZ: Native token (“tez”); used for baking, delegation, governance
• Amendment history: As of 2026, Tezos has undergone 16+ protocol upgrades entirely through on-chain governance — zero hard forks

---

The Core Problem: Governance Failure in Blockchains

Traditional blockchains have no formal mechanism for protocol changes. Upgrades require:

1. Core developers to propose a change
2. Miners/validators to signal support
3. The community to adopt the upgrade (or fork)

This process is: informal, contentious, slow, and frequently results in permanent splits. Satoshi’s decision to leave Bitcoin left no clear upgrade path. Ethereum’s hard fork to reverse The DAO hack split the chain into ETH and ETC.

Tezos’s answer: formalize the amendment process in the protocol itself, so stakeholders can vote on and auto-apply upgrades without any human coordination.

---

The Amendment Process (On-Chain Governance)

Tezos upgrades proceed through a four-phase cycle, each lasting roughly one “voting period” (currently 14 days):

Phase 1 — Proposal: Any baker can submit a protocol amendment as a compiled binary. Bakers vote by upvoting proposals. The proposal with the most votes (requiring >5% quorum) advances.

Phase 2 — Exploration: Bakers vote “yay” or “nay” on the winning proposal. An 80% supermajority with a 5% quorum required to advance.

Phase 3 — Testing: The proposed protocol runs on a test network for one voting period. Allows bakers to verify the upgrade works as expected.

Phase 4 — Promotion: Final governance vote with 80% supermajority required. If passed, the protocol automatically updates itself — no manual miner/validator coordination needed.

---

Liquid Proof of Stake (LPoS)

Tezos uses Liquid Proof of Stake, which balances decentralization with practicality:

• Any holder of ≥6,000 XTZ (reduced to 6,000 in later amendments) can bake (validate blocks) directly
• Holders without sufficient XTZ or hardware can delegate their XTZ to a baker — without transferring custody
• Delegation is instantaneous and can be changed at any time (hence “liquid”)
• Bakers earn block rewards + endorsement rewards; they share a portion with delegators

Baking mechanics: Bakers are selected in proportion to their stake for each block. A baker must post a security deposit (XTZ) during each cycle; if they double-bake (sign two conflicting blocks), they lose the deposit.

---

Michelson: Formally Verifiable Smart Contracts

Tezos’s smart contract language, Michelson, was designed for formal verification rather than developer convenience:

• Stack-based, purely functional
• Strongly typed with a small number of built-in types
• No implicit state mutation or side effects
• Programs can be formally verified using the Coq proof assistant (or equivalently, Isabelle)

This makes Tezos smart contracts more auditable than Solidity, but much harder to write directly. Higher-level languages (SmartPy, LIGO, Archetype) compile to Michelson.

---

Sections of the Whitepaper

Section	Content
1. Introduction	The governance failure problem; Tezos’s approach
2. The Self-Amendment Process	Amendment phases; stakeholder voting
3. The Network Shell	Protocol-agnostic routing layer
4. The Economic Protocol	Proof of Stake design; baking; delegations
5. Smart Contracts	Michelson design principles
6. Conclusion	Advantages of self-amendment over hard forks

---

Reality Check

Tezos’s governance mechanism works exactly as designed — the network has undergone numerous protocol upgrades (named after cities: Athens, Babylon, Carthage, Delphi, Edo, Florence, Granada, Hangzhou, Ithaca, Jakarta, Kathmandu, Lima, Mumbai, Nairobi, Oxford, Paris) without a contentious hard fork. This is a genuine achievement.

However, the ICO proceeds were tied up in a legal dispute between the Tezos Foundation (led by Johann Gevers) and the Breitmans, delaying the mainnet launch by over a year. The legal drama, combined with the 2018 crypto winter, permanently damaged XTZ’s market position relative to Ethereum and Cardano.

---

Legacy

Tezos’s Amendment process influenced subsequent on-chain governance designs in Polkadot, Cosmos, Decred, and many DeFi protocols. The concept of a blockchain updating itself without hard forks became a design goal across the industry even when not directly implemented as Tezos did.

---

Related Terms

• Tezos
• Cardano Whitepaper
• Polkadot Whitepaper
• Cosmos Whitepaper
• EOS Whitepaper

---

Research

• Goodman, L.M. [Arthur Breitman]. (2014). Tezos: A Self-Amending Crypto-Ledger. tezos.com.

— Primary source. Short and readable, focused on governance philosophy rather than technical protocol details.

• Nomadic Labs & DaiLambda. (2022). Tezos Technical Specifications. tezos.gitlab.io.

— The formal technical specification updated with current protocol amendments.

• Kiayias, A., et al. (2017). Ouroboros. CRYPTO 2017.

— Cardano’s competing PoS paper; comparing against Tezos LPoS illustrates different design priorities.