Tezos Foundation: Zug's Self-Amending Blockchain Pioneer

Tezos Foundation: Zug’s Self-Amending Blockchain Pioneer

Of all the blockchain protocols that emerged from the 2017 ICO era, Tezos is the most intellectually distinctive. Where most 2017-era blockchains were Ethereum forks or minor variations on Bitcoin’s design, Tezos proposed something genuinely novel: a blockchain that could upgrade itself through on-chain governance, without the contentious hard forks that had characterised Bitcoin’s governance failures (the SegWit debate, Bitcoin Cash split) and Ethereum’s (the DAO fork, the ETC split).

The proposition was elegant and compelling: if the blockchain’s upgrade mechanism is itself on-chain — if code changes must be proposed, debated, and voted on by the network’s stakeholders before being deployed — then the blockchain can evolve without the existential governance crises that plagued its predecessors. Tezos called this “self-amendment.”

The road to realising this vision was rockier than the founders anticipated. Tezos’s 2017 ICO raised USD 232 million — at the time, one of the largest fundraises in blockchain history — and was immediately followed by a governance crisis within the Foundation that delayed the network’s launch by over a year. The resolution of that crisis, the launch of the network, and the Foundation’s subsequent maturation into a professionally governed Swiss Stiftung in Zug constitutes one of the more instructive governance stories in Crypto Valley’s history.

The Tezos Foundation: Stiftung in Zug

The Tezos Foundation is incorporated as a Stiftung (foundation) under Swiss law, domiciled in Zug. Post-governance reform (described below), the Foundation has operated as a properly governed Swiss Stiftung with a foundation council, professional management, and annual reports to the cantonal supervisory authority.

The Foundation employs approximately 50 people in Zug and distributed globally — significantly smaller than the Ethereum Foundation or NEAR Foundation, reflecting the Tezos network’s more mature state and the greater share of development activity occurring in independent teams (Nomadic Labs, Marigold, Functori) rather than Foundation-employed engineers.

The Foundation’s mandate covers ecosystem development grants (in CHF and Tezos tokens), academic research support, institutional partnership development, and protocol advocacy. Its treasury is estimated at CHF 750 million or more in combined XTZ token holdings and traditional financial assets — making the Tezos Foundation one of the most well-capitalised foundations in Crypto Valley relative to the network’s current market capitalisation.

The Founding Story: Arthur and Kathleen Breitman

Tezos was conceived and led by Arthur Breitman (principal technical architect) and Kathleen Breitman (CEO of DLS, the company that developed the initial Tezos protocol). The Breitmans are an unusual founding team in blockchain: Arthur has a formal mathematics background (École Polytechnique, NYU) that informed Tezos’s use of formal verification in smart contract design; Kathleen has a background in finance and operations (Goldman Sachs, Accenture) that shaped the commercial and governance strategy.

Tezos’s white paper, published by Arthur Breitman under the pseudonym L.M. Goodman in 2014, articulated the self-amendment thesis three years before the ICO. The paper’s central argument — that blockchains need an on-chain governance mechanism to avoid the political crises that informal governance creates — was prescient in light of Bitcoin’s block size wars and Ethereum’s DAO crisis.

Dynamic Ledger Solutions (DLS), the Breitmans’ company, developed the Tezos protocol under a contract with the Tezos Foundation. This structure — separating the development company (DLS) from the Swiss foundation (Tezos Foundation) — created the governance tension that led to the 2017-2018 crisis.

The 2017 ICO: $232 Million and Governance Crisis

Tezos’s ICO in July 2017 raised approximately USD 232 million in BTC and ETH — at exchange rates prevailing at the time of the ICO, this represented one of the largest single fundraises in blockchain history. The capital was received by the Tezos Foundation, not by DLS.

Almost immediately, the relationship between the Tezos Foundation’s president — Johann Gevers, a Swiss entrepreneur brought in to run the Foundation — and the Breitmans collapsed. The dispute involved allegations of self-dealing by Gevers, disagreements over the Foundation’s governance and spending decisions, and fundamental conflicts about control over the USD 232 million in ICO proceeds.

The dispute became public in late 2017 — an extraordinary and damaging exposure of governance failure at a Foundation that had just raised a quarter-billion dollars on the promise of better institutional design. ICO participants threatened legal action. Class action lawsuits were filed in the United States. The Tezos network’s launch — originally anticipated for early 2018 — was delayed as the Foundation was paralysed by the governance conflict.

Resolution came in February 2018 when Johann Gevers agreed to resign from the Foundation, accepting a severance arrangement. The Foundation’s council was reconstituted under new leadership, and the governance crisis was resolved through the mechanism the Swiss Stiftung structure is designed for: replacement of council members and resumption of the Foundation’s purpose-aligned activities.

Tezos’s betanet launched in June 2018 — almost exactly a year after the ICO. The mainnet launched in September 2018. The delay had cost the Foundation in reputational terms but had not depleted its treasury; the ICO proceeds, invested conservatively, had in fact grown substantially as ETH appreciated through 2017 and early 2018.

Self-Amending Blockchain Design: How It Works

Tezos’s self-amendment mechanism is the protocol’s most distinctive feature — and the one most worthy of careful examination. It works through a five-period amendment process:

The Amendment Process

Period 1 — Proposal Period: Tezos bakers (validators, described below) can submit upgrade proposals for the Tezos protocol. Each proposal is a hash of the new protocol code. Bakers vote by upvoting proposals; the proposal with the most votes at the end of the period advances.

Period 2 — Exploration Vote: The leading proposal is put to a formal vote. Bakers vote “Yea,” “Nay,” or “Pass.” If the proposal achieves a supermajority (currently 80% Yea of votes cast), it advances to the next period.

Period 3 — Cooldown Period: A waiting period during which the proposal code can be inspected, tested, and discussed without the urgency of an active vote.

Period 4 — Promotion Vote: A second formal vote on the proposal. Again, if a supermajority approves, the proposal advances.

Period 5 — Adoption: The approved proposal is automatically deployed to the Tezos network. All nodes running the Tezos protocol adopt the new code without manual intervention.

This process has been used to upgrade Tezos approximately 16 times since mainnet launch — a record of continuous protocol evolution that no other major blockchain has matched. Each upgrade has been named after ancient Greek letters or cities (Athens, Babylon, Carthage, Delphi, Edo, Florence, Granada, Hangzhou, Ithaca, Jakarta, Kathmandu, Lima, Mumbai, Nairobi, Oxford, Paris…) in alphabetical sequence, creating an unambiguous chronological record.

The self-amendment mechanism eliminates hard forks by design: if all changes go through the on-chain governance process, there is no mechanism by which a minority faction can split the network by refusing to upgrade. A dissenters’ only option is to leave the network; they cannot maintain a competing version of the Tezos protocol without losing the governance participation rights that come from holding XTZ.

Liquid Proof-of-Stake: Baking

Tezos uses a Proof-of-Stake consensus mechanism with an unusual delegation design called “liquid proof-of-stake” or “baking.”

Bakers: In Tezos, validators are called “bakers” — a deliberate departure from Ethereum’s “validators” or Cosmos’s “delegators.” Bakers participate in block creation and endorsement, earning XTZ rewards. To become a baker, an account must hold at least 6,000 XTZ (previously higher — thresholds have been reduced through governance upgrades to improve decentralisation).

Liquid Delegation: XTZ holders who do not wish to operate a baker node can “delegate” their stake to a baker — assigning their XTZ’s voting weight and reward-earning capacity to the baker while retaining custody of their tokens. Delegation is “liquid” because it can be changed at any time without a lock-up period. Delegated XTZ is not transferred to the baker — it remains in the delegator’s wallet.

Bakers receive staking rewards and share a portion with delegators (after retaining a fee). The delegation market creates competitive dynamics: bakers with lower fees and better performance attract more delegated stake, increasing their network influence and rewards.

Governance Integration: Bakers vote in the amendment process described above. Baker voting weight is proportional to their total stake (own XTZ plus delegated XTZ), meaning that delegation to a baker also delegates governance power. This creates alignment between economic stake and governance participation.

Michelson: Formal Verification-Friendly Smart Contracts

Tezos’s smart contract language — Michelson — is one of the most technically unusual design choices in blockchain. Named after the physicist Albert Michelson, Michelson is a low-level, stack-based, strongly typed functional programming language designed to be easy to formally verify rather than easy to write.

Why Formal Verification Matters: Smart contract bugs have cost the blockchain ecosystem billions of dollars — the DAO hack (2016, ~USD 50m), the Parity multisig freeze (2017, ~USD 280m), and countless DeFi protocol exploits. Formal verification — the mathematical proof that a program behaves according to its specification — provides the highest assurance against certain classes of bugs.

Michelson’s design prioritises formal verification by:

• Using a small, well-defined instruction set (less surface area for unexpected behaviour)
• Being strongly typed (type errors are caught at compile time, before deployment)
• Having explicit, deterministic semantics (every instruction has a fully specified, unambiguous meaning)
• Supporting formal specification through the Mi-Cho-Coq framework (a Coq-based formal verification environment for Michelson contracts)

The trade-off is developer accessibility: Michelson is not pleasant to write directly. Instead, developers use higher-level languages — SmartPy (Python-based), LIGO (several syntax variants), Archetype (domain-specific for financial contracts) — that compile to Michelson. The Michelson foundation provides the formal verification substrate; the higher-level languages provide developer ergonomics.

NFT Market: Tezos as an Art Platform

While Ethereum’s NFT market (OpenSea, Foundation, SuperRare) commands the largest volume, Tezos has carved out a significant and distinctive NFT niche — particularly in the digital art space.

Objkt.com: The largest NFT marketplace on Tezos by volume, Objkt.com supports a broad range of NFT types and has become the primary trading venue for Tezos NFTs. Objkt’s interface and fee structure have attracted artists who find Ethereum’s gas fees prohibitive for minting many small-value works.

Kalamint: An NFT marketplace focused on curated digital art, Kalamint was among the earlier Tezos NFT platforms and established the precedent for high-quality art focus on Tezos.

fxhash: Perhaps the most important Tezos NFT platform for the generative art community, fxhash is a generative art minting platform where collectors mint pieces whose final appearance is determined by the minting transaction hash — a form of on-chain randomness that makes each minted piece unique. fxhash has attracted significant attention from the generative art world and established Tezos as the preferred platform for algorithmic and generative artists.

Tezos’s low transaction fees — fractions of a cent compared to Ethereum’s dollars during peak periods — make it economically viable to mint NFTs that would be unprofitable on Ethereum mainnet. This fee advantage has given Tezos a structural niche in high-volume, low-value NFT categories (editions of 100+ works) where Ethereum’s fee structure is prohibitive.

Institutional Use: UBS, BNP Paribas, and Tokenised Securities

Tezos has made more progress in institutional blockchain adoption than its public profile among retail crypto observers might suggest. Several significant financial institution deployments have used Tezos infrastructure:

UBS Tokenised Bond: UBS issued a tokenised bond on Tezos in 2023 — a CHF 375 million digital bond settled on the SIX Digital Exchange using Tezos-compatible blockchain infrastructure. The transaction demonstrated that Switzerland’s largest bank is willing to use Tezos for real financial instrument issuance.

BNP Paribas Structured Products: BNP Paribas has experimented with Tezos for structured product tokenisation — using Tezos’s smart contract infrastructure to encode structured product terms and settlement conditions in Michelson smart contracts, with formal verification providing assurance of contract correctness.

Societe Generale — Forge: Societe Generale’s digital asset subsidiary (Forge) has explored Tezos infrastructure for tokenised securities, adding to the French banking group’s multi-chain tokenisation strategy.

These institutional engagements reflect Tezos’s specific positioning advantage: Michelson’s formal verification properties make Tezos smart contracts more amenable to legal and technical review by institutional compliance and legal teams than Solidity contracts, which are informally specified and harder to formally verify. For financial institutions whose due diligence requires code review, Tezos’s formally specified smart contract language provides a meaningful advantage.

The Foundation’s Grants Programme: CHF 100 Million+

The Tezos Foundation has deployed approximately CHF 100 million or more in ecosystem grants since its establishment, funding:

• Protocol Development Teams: Nomadic Labs (Paris, primary Tezos protocol development), Marigold (ZK rollup development for Tezos), Functori (formal verification tooling), and other independent development teams.
• Smart Contract Languages: Grants for SmartPy, LIGO, and Archetype — the higher-level languages that compile to Michelson.
• Developer Tools: Indexing, querying, monitoring, and IDE tooling for the Tezos developer ecosystem.
• Academic Research: Grants to academic groups working on formal verification, smart contract security, and distributed systems relevant to Tezos.
• Ecosystem Applications: Grants to early-stage DeFi, NFT, and infrastructure applications building on Tezos.

The Foundation’s grant allocation has been managed with greater professionalisation after the governance reform — the post-Gevers Foundation council has applied more rigorous evaluation criteria and milestone accountability.

XTZ Token Economics

XTZ is Tezos’s native token, used for staking (baking), governance participation, and transaction fee payment. XTZ’s network economics are shaped by:

• Inflation: Tezos issues new XTZ as staking rewards at an annual rate of approximately 4-5% (the exact rate adjusts through governance). This inflation is distributed to bakers and their delegators.
• Burn: Transaction fees on Tezos are burned (destroyed), creating a deflationary pressure that partially offsets inflation.
• Baker Economics: Bakers earn XTZ from block rewards and endorsement rewards. After deducting their service fee, they pass through proportional rewards to delegators.

XTZ’s market performance has generally tracked the broader altcoin market, with significant appreciation during the 2020-2021 bull cycle and decline during the 2022 bear market. The Foundation’s large XTZ treasury creates a potential market impact dynamic: the Foundation’s treasury management decisions can affect XTZ liquidity conditions.

Competitive Positioning: Tezos as the Institutional Blockchain

Tezos’s competitive positioning has evolved from “self-amending blockchain” (technical novelty) to “institutional blockchain” (formal verification, regulatory engagement, banking partnerships). This repositioning reflects the ecosystem’s development: Tezos’s formal verification properties and its track record of governance without hard forks have become the primary differentiators for institutional audiences.

For Swiss private banks, asset managers, and corporate treasuries exploring blockchain-based tokenisation, Tezos offers:

• Formal smart contract verification (reducing legal and compliance risk)
• A proven on-chain governance track record (demonstrating operational maturity)
• Swiss foundation governance (familiar legal and cultural context)
• Banking institution precedent (UBS, BNP Paribas deployments providing peer validation)

These properties are more important to institutional decision-makers than Tezos’s TVL position or NFT market volume — the metrics that dominate retail crypto coverage.

Outlook 2026

Tezos enters 2026 with a well-governed Foundation, a substantial treasury, an established institutional partnership track record, and an active NFT art community. Its challenges are scale and mindshare: Ethereum’s DeFi ecosystem dominates by TVL; Solana’s NFT market has grown; and newer L1s and rollups attract developer attention.

The Marigold team’s work on ZK rollup infrastructure for Tezos — building a rollup that settles to the Tezos mainnet — represents an attempt to extend Tezos’s scalability and attract EVM-compatible applications without abandoning Michelson’s formal verification properties. If successful, this rollup strategy could expand Tezos’s addressable application market significantly.

The Foundation’s Zug domicile remains an asset. As Swiss tokenisation regulation matures — the DLT Act’s ongoing development, FINMA’s engagement with digital securities infrastructure — Tezos’s institutional positioning and Swiss legal infrastructure make it a natural beneficiary of Switzerland’s leadership in regulated blockchain deployment.

For Crypto Valley’s long-term observers, Tezos represents something unusual: a 2017-era blockchain that survived its governance crisis, continued upgrading itself through on-chain governance, and found a distinctive institutional niche — not by pivoting to what the market wanted in 2021, but by deepening the formal verification and governance thesis it articulated in 2014.

Related Coverage

• Ethereum: The Web3 Foundation and Zug’s Protocol Anchor
• Crypto Valley Web3 Ecosystem Tracker: Companies, Protocols, and Activity 2025
• Ethereum vs Competing L1 Platforms: The View from Crypto Valley
• Web3 Grants and Funding Tracker: Crypto Valley’s Grant Ecosystem 2025
• Switzerland vs Singapore: Web3 Foundation Domicile Decision

Author: Donovan Vanderbilt | The Vanderbilt Portfolio AG, Zurich Published: 28 February 2026