Tezosは、2014年にアーサー・ブライツマン（アーサー・ブライツマン）とカスリーン・ブライツマン（カスリーン・ブライツマン）によって構想され、2018年に本格的にローンチされたオープンソースのブロックチェーンプラットフォームである [1]。このプラットフォームは、スマートコントラクト（スマートコントラクト）や分散型アプリケーション（dApp）の実行を目的としており、特にその「自己修正（self-amendment）」可能な仕組みで知られている。Tezosの特徴的な点は、ハードフォーク（ハードフォーク）なしでプロトコルを進化させることを可能にするオンチェーンガバナンスの採用であり、XTZを保有するユーザーが直接プロトコルのアップデートを提案・議論・投票できる点にある [2]。そのコンセンサスメカニズムはリキッドプルーフオブステーク（Liquid Proof of Stake）と呼ばれ、エネルギー効率が高く、広範な参加を促進する設計となっている [3]。また、セキュリティ面では、スマートコントラクトの数学的な正しさを保証する形式的検証（Formal Verification）をサポートしており、金融や公共サービスなど高信頼性が求められる分野での利用が期待されている [1]。Tezosは、NFT（NFT）やDeFi（分散型金融）など多様なユースケースを支えており、マクラーレン（マクラーレン）やtZERO（tZERO）といった企業との連携を通じて実世界資産（RWA）のトークン化にも貢献している [5]。その言語スタックには、低レベルなMichelsonをはじめ、LIGOやSmartPyといった高レベル言語が含まれ、開発の柔軟性を提供している [6]。2024年にはパリアップグレード（Paris Upgrade）が実施され、スケーラビリティやファイナリティの向上が図られ、今後もTezos Xといった次世代アーキテクチャの開発が進められている [7]。
概要と歴史
Tezosは、2014年にアーサー・ブライツマンとカスリーン・ブライツマンによって構想されたオープンソースのブロックチェーンプラットフォームであり、2018年に本格的にローンチされた [1]。このプロジェクトは、従来のブロックチェーンが抱える「ハードフォーク（ハードフォーク）」による分岐や、開発者主導の中央集権的なアップデートという課題を解決するために設計された。Tezosの核となる革新は、プロトコルの進化を可能にする「自己修正（self-amendment）」機能であり、これはオンチェーンガバナンスと呼ばれる仕組みを通じて実現されている [2]。このガバナンスモデルにより、XTZを保有するユーザーは、プロトコルの変更を提案、議論、投票する権利を持ち、コミュニティ全体の合意に基づいてアップデートが自動的に実行される。このアプローチは、イーサリアムやビットコインのような他の主要なブロックチェーンが直面する、コミュニティの分裂やアップデートの遅延といったリスクを回避するものとして注目された。
起源とICO：歴史的な資金調達
Tezosの歴史は、2014年にアーサー・ブライツマンが発表した白書に始まる。この文書では、既存のブロックチェーンの限界を指摘し、自己進化するネットワークのビジョンが描かれた。プロジェクトの実現に向けて、2017年7月に公開トークンセール（ICO）が実施された。この資金調達は、当時としては前例のない規模で、約232百万ドル（65,681ビットコインと361,122イーサリアム）を調達し、史上最大級のICOの一つとなった [10]。この巨額の資金は、Tezos Foundationの設立と初期開発の推進に充てられた。しかし、資金調達後には、開発チームと財団の間で法的論争が発生し、プロジェクトの初期開発が一時的に遅延するという困難な時期も経験した。この一連の出来事は、Tezosの初期の歴史において、技術的ビジョンと現実の組織運営の間の緊張を象徴するものとなった。
技術的進化と主要なアップデート
2018年のメインネットローンチを経て、Tezosは着実に技術的進化を遂げてきた。その中核となるのは、プルーフ・オブ・ステーク（PoS）の一種であるリキッドプルーフオブステーク（LPoS）と呼ばれるコンセンサスメカニズムである [3]。LPoSは、エネルギー効率が極めて高く、ユーザーが自分のXTZを「ベイキング（baking）」と呼ばれるプロセスでステーキングすることで、ネットワークのセキュリティに貢献し、報酬を得ることができる。このモデルは、ビットコインのプルーフ・オブ・ワーク（PoW）に伴う莫大な電力消費とは対照的である。2022年には、ネットワークの最終性を大幅に向上させる「テンダーベイク」アップデートが導入され、ブロックの確定時間が数秒以内に短縮された [12]。その後も進化は続き、2023年の「ナイロビ」アップデートではネットワーク速度が約8倍に向上した [13]。そして2024年6月には、「パリアップグレード」（Paris Upgrade）が実施され、データ可用性レイヤーの導入や適応的発行（Adaptive Issuance）による報酬システムの最適化が行われ、スケーラビリティと経済モデルの持続可能性が強化された [7]。2026年1月には、20回目のプロトコルアップデート「タルリン」が成功裏に実施され、ブロック生成時間を8秒から6秒に短縮し、アプリケーションのストレージコストを最大100倍削減するなど、さらなる性能向上が図られた [15]。
ガバナンスの実践とコミュニティの成熟
Tezosの歴史は、単なる技術的進化の記録ではなく、オンチェーンガバナンスという新しい民主主義の実験の歴史でもある。初期のアップデート「アテネ」では、コミュニティが初めてブロックチェーン上で直接投票を行い、歴史的な一歩を踏み出した [16]。このプロセスは、5つのフェーズ（提案、探索、冷却、促進、採用）から成り、各フェーズは約14日間続く。この構造化されたアプローチにより、提案は十分に議論され、テストされ、広範な合意が得られた場合にのみ採用される。この仕組みは、カルダノが「チャンク」ハードフォークを経てガバナンスを導入したのとは対照的に、Tezosがプロトコルの誕生時からこの機能を内包している点で革新的である [17]。この成熟したガバナンスモデルは、ネットワークの安定性とコミュニティの結束を保ちながら、継続的な進化を可能にする基盤となっている。
スケーラビリティへの取り組みと未来
Tezosは、レイヤー1の改善に加えて、レイヤー2ソリューションの開発にも注力している。その中核となるのが「スマートロールアップ（Smart Rollups）」の技術である。このアプローチにより、多数のトランザクションがオフチェーンで処理され、その結果がセキュリティの高いTezosレイヤー1に最終的に記録される。この戦略の一環として、2025年2月にイーサリアム仮想マシン（EVM）と互換性を持つレイヤー2ソリューション「イーサーリンク」がローンチされた [18]。Etherlinkは、ガス代が約1セントと非常に低価格で、0.7秒という高速なブロック生成時間を実現しており、開発者とユーザーにとって魅力的な環境を提供している。さらに、将来のアーキテクチャとして「Tezos X」が提唱されており、モジュール化された設計により、クラウドバックエンド並みの性能を目指すビジョンが示されている [19]。これらの取り組みは、Tezosが単なる代替ブロックチェーンではなく、スケーラビリティ、セキュリティ、持続可能なガバナンスを統合した次世代の分散型インフラとしての地位を確立しようとしていることを示している。
コンセンサスメカニズムとセキュリティ
Tezosは、リキッドプルーフオブステーク（リキッドプルーフオブステーク）と呼ばれる独自のコンセンサスメカニズムを採用しており、これはエネルギー効率の高さと広範な参加を促進する設計が特徴である [3]。このメカニズムは、従来のプルーフオブワーク（Proof of Work）とは異なり、膨大な計算リソースを消費する代わりに、ネットワークのセキュリティを保証するためにトークン保有者（XTZ）がステーキング（賭け）を行うことで実現している。これにより、環境負荷を大幅に削減しつつ、高いセキュリティを維持することが可能となっている。
リキッドプルーフオブステークの仕組み
リキッドプルーフオブステーク（LPoS）では、ブロックの生成と検証を行う参加者を「ベーカー」（baker）と呼ぶ。ベーカーは、少なくとも6,000 XTZを保有し、アクティブなノードを運営することで直接ブロックを生成する権限を得る [21]。ベーカーは、ブロックの作成や署名、他のブロックの検証（エンドースメント）に対して報酬を受け取る。この報酬は、新規に発行されるXTZとトランザクション手数料の両方から構成されており、年間のリターンは約3～4%とされている [22]。
一方、6,000 XTZを保有しないユーザーでも、自分のXTZを信頼できるベーカーに委任（delegation）することで、ステーキングに参加できる。委任はトークンの所有権を移転せずに、ベーカーに投票権と報酬の分配権を一時的に委ねる仕組みであり、委任されたXTZは引き続きユーザーのウォレットに残り、いつでも移動や売却が可能である。この「流動性（リキッド）」を保つ委任モデルは、参加の敷居を下げ、ネットワークの分散性を高める重要な要素となっている [23]。
テンダーベイクによる決定的ファイナリティ
Tezosのセキュリティを支えるもう一つの重要な要素が、2022年に導入されたテンダーベイク（Tenderbake）という新しい合意アルゴリズムである [12]。テンダーベイクは、ビザンチンフォールトトレランス（Byzantine Fault Tolerance）に基づくプロトコルであり、決定的ファイナリティ（deterministic finality）を提供する。これは、一度承認されたブロックが、ネットワークの再編成（reorg）によって取り消されることがないことを意味する。
具体的には、3つの連続したブロックが生成されると、それらのブロックは「ファイナライズド」（確定）され、もはや変更できない状態になる [25]。この仕組みにより、ダブルスペンディング（double-spending）攻撃のリスクが極めて低くなり、トランザクションの最終性が迅速かつ確実に保証される。これにより、DeFi（分散型金融）やdApp（dApp）などの高信頼性が求められるアプリケーションにとって、非常に安全な基盤が提供されている。
攻撃に対する防御とセキュリティ対策
Tezosは、プルーフオブステーク（Proof of Stake）に特有の「ノーシングアットステーク」（nothing-at-stake）問題や「ロングレンジアタック」（long-range attack）に対しても、効果的な防御策を講じている。ノーシングアットステーク問題とは、悪意のある検証者が複数のフォークに同時に署名してもコストがかからないため、ネットワークの整合性を脅かす可能性があるという問題である。しかし、テンダーベイクのBFTメカニズムでは、検証者が矛盾するメッセージ（equivocation）を送信した場合、その行為が検出され、社会的制裁や報酬の没収という経済的ペナルティが発生する。これにより、悪意ある行動が経済的に不利になるように設計されている [26]。
ロングレンジアタックは、過去の秘密鍵を使って古いブロックから新しいチェーンを生成しようとする攻撃であるが、テンダーベイクの決定的ファイナリティにより、一度確定したブロックは変更できないため、この攻撃は実質的に不可能となっている。さらに、Tezosはタイムロック（timelock）や、ハードウェアウォレットとの統合（Ledgerなど）といった高度なセキュリティ機能も提供しており、ベーカーの秘密鍵を保護するための専用ハードウェアの開発も進められている [27]。
フォーマルバーリフィケーションによるスマートコントラクトの安全性
Tezosのセキュリティは、コンセンサス層にとどまらず、アプリケーション層にも及んでいる。Tezosは、スマートコントラクトのコードが数学的に正しいことを証明する形式的検証（Formal Verification）を強力にサポートしている [1]。この仕組みは、従来のテストや監査では見つけられない潜在的なバグや脆弱性を、数学的な証明によって排除することを可能にする。
その中心となるのが、Tezosのネイティブ言語であるMichelsonである。Michelsonは、スタックベースの低レベル言語であり、明確な型システムと決定的な実行を特徴としている。これにより、Coqのような証明支援系（proof assistant）を用いて、スマートコントラクトの挙動を形式的にモデル化し、安全性（例：資金が不正に引き出されないこと）を証明できる。有名なツールとして、Mi-Cho-CoqやHelmholtzがあり、これらは実際のプロトコル（例：DEXのDexter）の検証に成功している [29]。このように、Tezosは開発の初期段階から安全性を確保できる環境を提供しており、金融や公共サービスといった高リスク領域での利用に適している。
オンチェーンガバナンスの仕組み
Tezosの最も革新的な特徴の一つは、そのオンチェーンガバナンスの仕組みであり、これはハードフォーク（ハードフォーク）なしでプロトコルを進化させる「自己修正（self-amendment）」可能な設計を可能にしている。この仕組みにより、XTZを保有するユーザーが直接プロトコルのアップデートを提案、議論、投票できるため、ネットワークの進化がコミュニティの合意に基づいて民主的かつ秩序立てて行われる [2]。
ガバナンスの5段階プロセス
Tezosのガバナンスは、合計約70日間（各段階約14日）の5つの明確な段階からなるサイクルで構成されており、提案から実装までを体系的に管理している。
1. 提案期間（Proposal Period）
この段階では、baker（検証者）がプロトコルの変更を提案できる。提案には、更新されたコードのハッシュと説明が含まれる。最大20件の提案が受け付けられ、その後、支持票（XTZの量に比例）が最も多い提案が次の段階に進む [31]。
2. 探索期間（Exploration Period）
最も支持された提案が選ばれ、bakerがその採否について投票する。投票はブロックチェーン上で行われ、透明性と検証可能性が保証される。提案が進むには、最低参加率（クォーラム）と80%以上の賛成票（特別多数決）を満たす必要がある [32]。
3. クールダウン期間（Cooldown Period）
この期間は、コミュニティが投票結果を検討し、提案の影響を評価するための「冷却期間」である。実際の投票は行われないが、提案の技術的検証や議論が活発に行われる。この段階は、軽率な決定を防ぎ、プロセスの安全性を高める [2]。
4. 促進期間（Promotion Period）
クールダウン期間の後、再び投票が行われ、提案の最終的な承認が確認される。ここでも、クォーラムと特別多数決が求められる。この二段階の投票（探索と促進）は、一時的な支持ではなく、持続的な合意があることを保証するための重要なチェックポイントである [34]。
5. 採用期間（Adoption Period）
承認された提案は、この段階で自動的にメインネットに適用される。ノードは手動での介入なしに、プロトコル自体によって自動的に更新される。この自動化されたアップグレードにより、ネットワークの分裂（ハードフォーク）を回避し、継続性と安定性を維持できる [35]。
ガバナンスの利点：ハードフォークの回避とネットワークの安定性
Tezosのガバナンスの最大の利点は、ハードフォークを回避できる点にある。BitcoinやEthereumのような他の主要なブロックチェーンでは、プロトコルの重要な変更がコミュニティの合意に達しない場合、ネットワークが分裂するリスクがある（例：Bitcoin Cash、Ethereum Classic）。これに対し、Tezosはガバナンスプロセスを通じて変更を事前に検証し、合意を得るため、分裂のリスクを大幅に低減できる [36]。
このアプローチは、ネットワークの安定性とコミュニティの結束を強化する。例えば、2022年に導入されたTenderbake（決定論的ファイナリティを提供するコンセンサスアルゴリズム）や、2026年に実施された20回目のプロトコルアップグレード「Tallinn」（ブロック生成時間を8秒から6秒に短縮）は、すべてこのオンチェーンガバナンスプロセスを経て、問題なく実装された [37]。
ステークホルダーの参加とインセンティブ
ガバナンスへの参加は、XTZのステーキング（またはbakerへの委任）と密接に結びついている。これにより、経済的利益と意思決定権が連動し、ネットワークの長期的な健全性に貢献するインセンティブが生まれる。
委任（Delegation）と投票権
XTZの保有者は、直接bakerとしてノードを運営する代わりに、自分のステークを信頼できるbakerに「委任」できる。委任により、保有者は自分のXTZをロックすることなく、そのbakerの投票権に自分の分を加えることができる。この「流動性のある委任」は、小さな保有者でもガバナンスに参加できるようにし、分散性を高める [38]。
経済的インセンティブ
bakerは、ブロックの作成や検証に対してXTZで報酬を得る。委任者は、委任先のbakerから報酬の一部を分配される。この報酬は、新規発行（インフレーション）とトランザクション手数料から構成され、年間利回りは約3-4%とされている [22]。また、2024年の「Parisアップグレード」では、適応的発行（Adaptive Issuance） が導入され、ネットワークのステーキング率に応じて報酬が動的に調整されるようになった。これにより、ステーキング率が低いときは報酬が増えて参加を促進し、高いときは報酬が減って過剰なインフレを防ぐ、持続可能な経済モデルが実現している [40]。
他のブロックチェーンとの比較
Tezosのガバナンスは、他の主要なブロックチェーンと明確に区別される。
- Bitcoin：ガバナンスは完全にオフチェーングバナンスであり、変更はBitcoin Improvement Proposals（BIP）を通じて議論される。決定は非公式な合意（consensus social）に依存し、技術者や採掘業者に影響力が集中する傾向がある。ハードフォークは避けられない場合がある [41]。
- Ethereum：Ethereumもオフチェーンモデルを採用しており、Ethereum Improvement Proposals（EIP）が中心となる。2024年以降、より正式なオンチェーン投票の導入が議論されているが、基本的には社会的合意に依存している [42]。
- Cardano：Cardanoは2024年の「Changハードフォーク」でオンチェーンガバナンスを導入したが、Tezosのように初期から組み込まれた成熟したシステムではない。その進化はまだ進行中である [43]。
このように、Tezosはガバナンスの自動化、予測可能性、透明性の点で、特に成熟したモデルを提供している。
実例：Tallinnアップグレード
2026年1月に実施された「Tallinn」アップグレードは、オンチェーンガバナンスの成功を示す象徴的な事例である。このアップグレードは、ブロック生成時間を6秒に短縮し、ストレージコストを最大100倍削減するなど、技術的に重要な変更を含んでいた [15]。このプロセスでは、開発チーム（Nomadic Labs）が提案し、bakerが投票し、コミュニティが議論を重ねた。一部のbakerからは、BLS署名の導入によるハードウェア要件の増加への懸念も出たが、テストネットでの検証と透明なコミュニケーションを通じて合意が形成された。最終的に、このアップグレードは無事に採用され、ネットワークの分裂は一切発生しなかった。この事例は、Tezosのガバナンスが、技術的革新、社会的ダイナミクス、政治的調整を統合して、秩序だった進化を実現できることを証明している [37]。
XTZトークンの役割とエコノミクス
TezosネットワークにおけるXTZトークン（別名「tez」）は、単なる交換手段にとどまらず、経済的価値、ネットワークの安全性、および分散型ガバナンスの核となる存在である。このトークンは、取引手数料の支払いからネットワークの進化に至るまで、エコシステムのあらゆる側面に深く関与しており、リキッドプルーフオブステーク（Liquid Proof of Stake）メカニズムと密接に連携して機能する。XTZは、スマートコントラクトの実行や、dAppの運用を支える基盤として、Tezosの持続可能性と適応力を可能にする。
XTZの主要な機能
1. トランザクション手数料の支払い
XTZは、Tezosブロックチェーン上で行われるすべての操作に必要な手数料（ガス）を支払うために使用される。これには、資金の送金、スマートコントラクトのデプロイ、dAppとのインタラクションなど、あらゆるオンチェーン活動が含まれる [46]。この仕組みにより、ネットワークリソースの乱用を防ぎ、取引の優先順位付けを可能にする。手数料は、コンセンサスメカニズムの維持に貢献するベーカー（baker）に報酬として分配され、経済インセンティブのサイクルを形成する。
2. オンチェーンガバナンスへの参加
XTZが果たす最も重要な役割の一つが、オンチェーンガバナンスへの参加である。Tezosの「自己修正」可能な設計の根幹を成すこの機能により、XTZ保有者はネットワークの進化に直接関与できる。保有量に比例した投票権を持つユーザー（または彼らの委任を受けたベーカー）は、プロトコルのアップデートを提案、議論、投票によって承認するプロセスに参加する [35]。
このガバナンスプロセスは、約14日間続く5つのフェーズ（提案、探索、冷却、促進、採用）で構成され、約70日で一連のサイクルが完結する [2]。この構造により、変更がコミュニティの合意に基づいて慎重に進められ、ハードフォークによるネットワークの分断リスクを回避する。例えば、2026年に実施された「Tallinn」アップグレードでは、ブロック生成時間を8秒から6秒に短縮し、ストレージコストを最大100倍削減するといった重要な改善が、このプロセスを通じて実現された [37]。
3. ネットワークの安全性確保（ベーキングとステーキング）
Tezosのセキュリティは、XTZを用いたプルーフオブステーク（PoS）メカニズムに依存している。ユーザーは、自分のXTZを「ステーキング」することで、ネットワークの安全性に貢献し、報酬を得ることができる。直接ベーカーとして参加するには、最低6,000 XTZをステーキングし、ノードを運営する必要がある [21]。しかし、ほとんどのユーザーは「委任（delegation）」という方法で参加する。委任では、XTZの所有権を移転することなく、信頼できるベーカーに自分の投票権とステーキングの権利を委ねることができる。委任されたXTZは「流動的（liquid）」であり、いつでも自由に移動できるため、高い柔軟性を提供する [51]。
2024年6月の「パリアップグレード」（Paris Upgrade）により、直接ステーキングが可能になり、報酬が従来の委任よりも高くなるようになった [52]。年間報酬率は約3-4%程度とされ、これはネットワークのステーキング率に応じて動的に調整される [22]。
XTZトークンエコノミクス：インフレーションと報酬
Tezosのトークンエコノミクスは、ネットワークの長期的な安定性と参加者のインセンティブを両立させるために設計されている。新規に発行されるXTZは、ベーカーや委任者への報酬として分配され、初期のインフレ率は約5.5%であったが、ネットワークの成熟とともに低下する見込みである [54]。重要なのは、2024年の「パリアップグレード」で導入された「適応的発行（Adaptive Issuance）」というメカニズムである。これは、ネットワーク全体のステーキング率に応じてインフレ率を動的に調整する仕組みである [40]。ステーキング率が低い場合には報酬を増やして参加を促進し、逆に高い場合にはインフレを抑制してトークンの希少性を守る。このフィードバックループにより、経済的インセンティブとネットワークのセキュリティが最適化される。
報酬は、新規発行のXTZとトランザクション手数料の両方から構成される。ベーカーはブロックを生成し、他のベーカー（アテスタ）がその正当性を証明することで報酬を得る。報酬はサイクルごとに（約3日ごと）分配され、委任者にもベーカーの手数料を差し引いた分が分配される [56]。
XTZを基盤とする資産の創出
XTZは、Tezosエコシステム内での新しいデジタル資産の創出の基盤ともなっている。スマートコントラクトを用いて、NFTやステーブルコイン、その他の代替可能トークン（fungible token）をXTZ上に発行できる。これには、Tezosの標準であるFA2（複数資産標準）や、ブロックチェーン上で直接追跡可能な「チケット（tickets）」といった機能が利用される [46]。この仕組みにより、RWA（Real-World Assets）のトークン化が進んでおり、不動産やウランといった資産がTezos上に記録され、分割所有や取引が可能になっている [58]。
ガバナンスとトークノミクスの統合
Tezosの強みは、ガバナンスとトークノミクスが密接に統合されている点にある。ガバナンスプロセスそのものが、経済的インセンティブと直結している。ステーキング（ベーキング）に参加することで、ユーザーは自動的にガバナンスへの参加資格を得る。この「ステーキング＝投票権」の構造は、ネットワークのセキュリティに貢献する者ほど、その未来を決定する力を持つという、健全なインセンティブ構造を生み出す。委任の柔軟性により、技術的な知識がないユーザーでも、信頼できるベーカーに委ねることで、経済的利益とガバナンス参加の両方を享受できる。
この統合されたモデルにより、Tezosは、EthereumやCardanoのような競合他社とは一線を画す。Ethereumはoff-chainの社会的合意に依存し、Cardanoは後からオンチェーンガバナンスを導入したが、Tezosは初期からこの仕組みをプロトコルに組み込んでいる。その結果、2026年時点で20回目のプロトコルアップデートを「Tallinn」として無事に実施し、ハードフォークなしに進化を続けている [15]。これは、XTZトークンが果たす中心的な役割と、そのエコノミクスの持つ持続可能性を示す明確な証左である。
スマートコントラクトと開発環境
Tezosは、安全性と検証性に特化したスマートコントラクトの実行を可能にするブロックチェーンプラットフォームであり、その開発環境はセキュリティ、形式的検証（形式的検証）、および開発者フレンドリーな設計を重視している [1]。Tezos上のスマートコントラクトは、金融や公共サービスなど信頼性が極めて高い分野での利用を念頭に設計されており、特に低レベル言語Michelsonの採用により、数学的な正しさを保証する形式的検証が可能となっている [61]。
Michelson：安全性と検証性を最優先した言語
Tezosのネイティブスマートコントラクト言語であるMichelsonは、スタックベースの低レベル言語であり、その設計はセキュリティと形式的検証を最優先している [62]。Michelsonは、明確に定義された操作的意味論、静的かつ厳格な型システム、および決定論的な実行を特徴としており、これらは形式的検証を可能にする基盤となっている [63]。特に、プログラミング言語としての関数型プログラミングの原則に従い、データの不変性、純粋な関数、グローバル状態の不在を採用しているため、副作用や競合状態といった脆弱性のリスクを大幅に低減している [64]。
Michelsonのスタックベースのアーキテクチャは、すべての操作がスタックを介して行われるため、実行フローが明確で予測可能であり、静的解析や形式的検証が容易になる [65]。この設計により、開発者は合意形成プロトコルやブロックチェーンアーキテクチャにおけるセキュリティを高めることができる。例えば、Mi-Cho-Coqと呼ばれるCoqベースのフレームワークを使用することで、スマートコントラクトのコードが特定の仕様（例：資金の不正引き出し防止、オーバーフローの回避）を満たすことを数学的に証明できる [66]。このフレームワークは、Nomadic Labsが開発し、DexterやLiquidity Bakingなどの実際のプロダクションコントラクトの検証に成功している [29]。
高レベル言語と開発者ツールチェーン
Michelsonは安全性に優れる一方で、開発の敷居が高いため、Tezosは複数の高レベル言語をサポートしている。これにより、より広範な開発者が参加しやすくなっている。代表的な言語には、OCamlやJavaScriptに似た構文を持つLIGO、Python風の構文を採用するSmartPy、そしてセキュリティに特化したDSLであるArchetypeが含まれる [68]。これらの言語はすべて、安全にコンパイルされてMichelsonコードに変換されるため、高レベルでの開発の利便性と、低レベルでの検証性を両立している [6]。
開発者ツールチェーンも充実しており、ローカル環境でのテストを可能にするoctez-clientのモックアップモードや、静的解析ツールSlitherのTezos版、そしてwhylsonやHelmholtzといった自動検証ツールが存在する [70]。Helmholtzは、SMTソルバー（例：Z3）を用いて、コードに付加された論理的条件（リファインメント型）を自動的に検証する [71]。また、SCVやMicSEといったシンボリック実行ツールは、すべての実行パスを探索して潜在的なバグや脆弱性を発見するのに役立つ [72]。
形式的検証とセキュリティの統合
Tezosのスマートコントラクト開発における最大の特徴は、形式的検証がエコシステムの中心に位置していることである。Michelsonの設計は、証明支援系であるCoqとの統合を前提としており、Mi-Cho-Coqフレームワークを通じて、スマートコントラクトの安全性プロパティ（例：資産の移転の正当性、権限の制限）を数学的に証明できる [73]。このアプローチは、従来のテストや監査に頼る方法とは異なり、すべての可能な入力と実行パスを網羅的に検証できるため、重大なバグや脆弱性を本番環境へのデプロイ前に確実に排除することが可能となる [74]。
この高度なセキュリティモデルは、DeFiプロトコル、セキュリティトークン（STO）、政府系アプリケーションなど、高い信頼性が求められるユースケースに最適である [75]。Tezosのアプローチは、Solidityのような言語と比べて、開発者による注意（vigilance）に依存するのではなく、言語とツールチェーン自体が安全なコードの作成を「強制」するという点で根本的に異なる [76]。このため、Tezosは、バグやハッキングのリスクを極限まで低減したいプロジェクトにとって、非常に魅力的な開発プラットフォームとなっている。
ユースケースと実世界の応用
Tezosは、そのエネルギー効iciency、高速なトランザクション処理、および高いセキュリティを活かして、幅広い実世界のユースケースに応用されています。特に、スマートコントラクト（スマートコントラクト）とオンチェーンガバナンス（オンチェーンガバナンス）の組み合わせにより、金融、芸術、不動産、公共サービスなど多様な分野で革新を推進しています。以下に、Tezosが実際に採用されている主要な応用例を紹介します。
NFTとデジタルアート
Tezosは、エネルギー消費が極めて低いProof of Stake（PoS）コンセンサスメカニズムを採用しているため、環境に配慮したNFT（NFT）プラットフォームとして世界的に注目されています。アーティストやコレクターは、低コストかつ持続可能な方法でデジタルアートをミント（発行）および取引できます。代表的なプラットフォームとして、Objekt.comが挙げられ、ここではアーティストが直感的にNFTを制作できる環境が提供されています [77]。また、F1チームのマクラーレンは、ファン向けの限定デジタルコンテンツを配信するNFTプラットフォームをTezos上に構築すると発表しており、スポーツとデジタル体験の融合を進めています [78]。
分散型金融（DeFi）
Tezosは、安全で信頼性の高い金融サービスを提供するための基盤として、分散型金融（分散型金融）（DeFi）エコシステムを育成しています。プロジェクト「Youves」は、合成ステーブルコインの発行や、担保付きローンの提供を行うプロトコルを運営しており、スマートコントラクトによって透明性とセキュリティを確保しています [79]。また、流動性プロバイダー（LP）は、資産をプールに提供することでリターンを得られる仕組みもあり、金融活動の民主化を促進しています。
実世界資産（RWA）のトークン化
Tezosは、不動産や貴金属といった実世界の資産（RWA）をブロックチェーン上でトークン化する分野でも先駆的な役割を果たしています。企業「Vertalo」と「tZERO」の協業により、3億ドル相当の不動産がTezosブロックチェーンにトークン化され、投資家は少額からでも不動産に投資できるようになりました [80]。中米やサウジアラビアの不動産も同様にトークン化されており、資産の流動性とアクセス性を劇的に向上させています [81]。さらに2024年には、ウランのトークン化プロジェクト「xU3O8」がArchaxやCamecoなどの企業の支援を得て開始され、天然資源分野における新たな可能性を開いています [58]。
ゲームとメタバース
Tezosは、ブロックチェーンゲーム（ブロックチェーンゲーム）やメタバースの基盤としても利用されています。ゲーム内アイテムやキャラクターをNFTとして発行することで、プレイヤーはその所有権を真正に保有できます。プラットフォーム「Stables」は、NFTとゲームプレイを組み合わせた体験を提供しており、ユーザーが所有するデジタル資産を実際に使い回せる点が特徴です [83]。公式ドキュメントには、モバイルゲームにブロックチェーンを統合するためのチュートリアルも用意されており、開発者の参入を後押ししています。
エンタープライズソリューションと公共サービス
Tezosの高いセキュリティと法的適合性は、企業や公共機関のソリューションにも適しています。Coexya社が開発した「Tezos DigiSign」は、文書の電子署名をブロックチェーンに記録するオープンソースのソリューションで、文書の真正性、追跡性、および欧州のeIDAS規格への適合性を保証します [84]。同様に、「Tediji」は、信頼性の高いタイムスタンプ付きの電子署名サービスを提供しており、契約や公文書の管理に革新をもたらしています [85]。
社会的インパクトと医療
Tezosは、社会的課題の解決にも貢献しています。Tezos Foundationが支援する「Project Vigicard」は、医薬品アレルギー情報をブロックチェーンに記録することで、患者の安全を高める取り組みです。データは改ざん不可能で、必要な医療機関が安全にアクセスできるため、医療ミスの防止に繋がります [86]。また、「Keru」プロジェクトは、観光客向けのデジタルお土産（NFT）を提供し、ブロックチェーン上での「訪問証明」（proof of visit）と連携させることで、新たな観光体験を創造しています [87]。
分散型ガバナンスと投票
Tezosは、分散型ガバナンスの実験場としても機能しています。「Trustless Business」や、XTZを基盤とした投票システムは、企業内意思決定やコミュニティ運営において、透明性とセキュリティを確保した集団意思決定を可能にします [88]。これらのプロジェクトは、中央集権的な権威に依存しない新しい意思決定モデルの構築を目指しています。
スケーラビリティとレイヤー2ソリューション
Tezosは、ブロックチェーンのスケーラビリティ（拡張性）という根本的な課題に、レイヤー1（L1）の最適化とレイヤー2（L2）ソリューションの統合という二本柱の戦略で取り組んでいる。このアプローチにより、高いトランザクション処理能力（TPS）と低コストを実現しつつ、ブロックチェーンの三元性（スケーラビリティ、セキュリティ、分散性）を維持している [89]。
レイヤー1のパフォーマンス向上：NairobiとParisアップグレード
Tezosのスケーラビリティの基盤は、継続的なプロトコルの進化にある。特に2023年から2024年にかけて実施された二つの主要アップグレードが、L1のパフォーマンスを劇的に改善した。
- Nairobiアップグレード（2023年）は、ネットワークのスループットを約8倍に高速化した [13]。この改善により、ブロック生成時間とトランザクション確認速度が大幅に短縮され、ユーザー体験が向上した。
- Parisアップグレード（2024年6月4日）は、さらなる進化をもたらした。このアップグレードでは、Data Availability Layer（データ可用性レイヤー）が導入された [91][7]。これは、L2ソリューションが生成したトランザクションデータをL1に効率的に格納・保証するための基盤技術であり、L2のスケーラビリティを支える土台となる。また、Parisアップグレードは、ファイナリティ（最終確定性）の向上と、より強固なステーキングシステムの導入も実現した [7]。
これらのアップグレードは、オンチェーンガバナンスのプロセスを通じて、ハードフォークなしに実装された。これは、Tezosの自己修正（self-amendment）能力が、スケーラビリティの課題に対しても効果的に機能していることを示している。
レイヤー2の核：スマートロールアップとEtherlink
Tezosのスケーラビリティ戦略の真髄は、スマートロールアップ（Smart Rollups）と呼ばれるL2ソリューションにある。これは、カスタムのアプリケーションロジックをL2で実行し、その結果の証明（証拠）をL1に定期的に提出することで、L1のセキュリティを継承しつつ、数千トランザクション/秒の処理を可能にする技術である [94]。
Etherlinkは、このスマートロールアップ技術を用いて構築された、Tezosの旗艦的なL2ソリューションである。2025年2月にローンチされたEtherlinkは、以下のような特徴を持つ：
- EVM互換性：イーサリアム仮想マシン（Ethereum Virtual Machine）と互換性があるため、既存のイーサリアム（Ethereum）上のDeFiやNFTプロジェクトが、最小限の変更で移行できる [95]。
- 高性能と低コスト：2026年3月時点で、7000万件以上のトランザクションを処理し、150万以上のアドレスが利用している [18]。ガス手数料は約1セントと非常に低く、ブロック時間は約0.7秒と高速である。
- 統合されたエコシステム：TezosのL2として設計されており、L1のセキュリティと、イーサリアムエコシステムの利便性を両立している。
Tezos X：未来のモジュラーアーキテクチャ
Tezosのスケーラビリティの長期的なビジョンは、Tezos Xプロジェクトに集約されている [19]。これは、Tezosを「クラウドのバックエンドのように」高速かつスケーラブルなプラットフォームに進化させるための次世代アーキテクチャの開発を指す。Tezos Xは、計算、ストレージ、データ可用性の各コンポーネントをモジュール化し、最適化することで、さらに高いパフォーマンスと効率性を実現することを目指している。
他プラットフォームとの比較
Tezosのスケーラビリティは、他の第2世代ブロックチェーンと比較しても優位にある。データによると、Cardanoの実効TPSは0.29であるのに対し、Tezosは3.43に達しており、トランザクションボリュームもはるかに高い [98]。また、イーサリアムはL2ソリューションに依存するが、TezosはL1とL2の統合アプローチにより、よりシームレスで予測可能なユーザー体験を提供できる。
結論
Tezosは、単なる一時的なパッチではなく、アーキテクチャ全体の再設計を通じてスケーラビリティを追求している。L1の継続的な最適化、L2のスマートロールアップ技術の採用、そして未来のTezos Xビジョンにより、高スループット、低コスト、高セキュリティを兼ね備えた持続可能なブロックチェーンエコシステムの構築を目指している。特に、EVM互換のL2であるEtherlinkの成功は、Tezosがマルチチェーン時代において、開発者とユーザーの両方を惹きつける強力な競争優位性を獲得していることを示している [18]。
チームと財団の役割
Tezosの開発と運営には、コア開発チームと独立した財団がそれぞれ明確な役割を担っており、技術革新とエコシステムの発展を支えている。2014年にアーサー・ブライツマンとカスリーン・ブライツマンによって構想されたこのプロジェクトは、技術的設計だけでなく、分散型ガバナンスの実現という社会的ビジョンを掲げて始まった [1]。彼らは当初、Dynamic Ledger Solutions（DLS）という企業を通じてプロトコルの初期開発を主導した。しかし、Tezosの特徴である「自己修正」可能な仕組みは、特定の個人や団体に依存しない分散型の進化を目的としており、開発の中心は次第にコミュニティ主導へと移行していった。
Tezos財団の役割と影響
2017年の大規模なICO（Initial Coin Offering）で調達された資金は、主にスイスに設立された非営利法人であるTezos Foundationが管理することになった [101]。この財団は、プロトコルの技術的独立性を守り、開発の透明性を確保するための中立的な存在としての役割を果たしている。具体的には、エコシステムの成長を促進するための資金提供、開発者支援、コミュニティイベントの開催、教育活動の推進、そして法的・規制上の課題への対応が主な業務となる。財団は、オンチェーンガバナンスの枠組みを通じてコミュニティが意思決定を行う一方で、初期の開発資金の配分や重要なインフラプロジェクトの支援といった、コミュニティの発展を下支えする戦略的役割を担っている。例えば、形式的検証の研究や、医療データのブロックチェーン管理を目的としたProject Vigicardのような社会的インパクトのあるプロジェクトに対しても支援を行ってきた [86]。
コア開発チームの技術的貢献
Tezosの技術的基盤の構築と継続的な進化は、複数の独立した開発チームによって支えられている。その中でも、Nomadic Labsは最も重要なコア開発チームの一つである。このチームは、プロトコルの主要なアップデートであるTenderbakeやTallinnの設計・実装を主導し、リキッドプルーフオブステークの効率性や、ブロックのファイナリティの決定性を実現する上で中心的な役割を果たした [103]。また、スマートコントラクトの安全性を保証するためのMi-Cho-CoqというCoqベースの形式的検証フレームワークの開発も、Nomadic Labsによる重要な貢献である [66]。これらの技術的革新は、すべてオンチェーンガバナンスのプロセスを経て、コミュニティの承認のもとでネットワークに導入されている。このように、コア開発チームは提案者としての役割を果たす一方で、最終的な決定権はXTZを保有するコミュニティに委ねられている。
分権化された開発とガバナンスの相互作用
Tezosの特徴は、財団や開発チームの存在が、むしろプロトコルの分権化を強化している点にある。初期の資金配分や技術開発という集中化されたフェーズを経た後、プロジェクトは設計通りに完全なオンチェーンガバナンスの時代へと移行した。現在、プロトコルのアップデートや予算の配分は、すべてXTZを保有するユーザーが提案・議論・投票するプロセスで決定される。財団はこのプロセスに直接的な影響を与えることはできないが、コミュニティの議論を促進するための資料の提供や、開発チームが提案するアップデートの説明を支援するなど、中立的なファシリテーターとしての役割を果たしている。この構造により、Tezosは初期の集中リスクを克服し、長期的な持続可能性と技術的進化を両立する、成熟した分散型ネットワークとしての地位を確立している。